14.2.39  Rw_Bool_Vector

The standard library Rw_Bool_Vector api defines access to a mutable vector of booleans.

The Rw_Bool_Vector api is implemented by the rw_bool_vector package.

The Rw_Bool_Vector api source code is in src/lib/src/rw-bool-vector.api.

The above information is manually maintained and may contain errors.

api {
    eqtype Rw_Vector;
    Element  = Bool;
    Vector;
    maximum_vector_length : Int;
    make_rw_vector : (Int , Element) -> Rw_Vector;
    from_list : List(Element ) -> Rw_Vector;
    from_fn : (Int , (Int -> Element)) -> Rw_Vector;
    length : Rw_Vector -> Int;
    get : (Rw_Vector , Int) -> Element;
    _[] : (Rw_Vector , Int) -> Element;
    set : (Rw_Vector , Int , Element) -> Void;
    _[]:= : (Rw_Vector , Int , Element) -> Void;
    to_vector : Rw_Vector -> Vector;
    copy : {at:Int, from:Rw_Vector, into:Rw_Vector} -> Void;
    copy_vector : {at:Int, from:Vector, into:Rw_Vector} -> Void;
    keyed_apply : ((Int , Element) -> Void) -> Rw_Vector -> Void;
    apply : (Element -> Void) -> Rw_Vector -> Void;
    keyed_map_in_place : ((Int , Element) -> Element) -> Rw_Vector -> Void;
    map_in_place : (Element -> Element) -> Rw_Vector -> Void;
    keyed_fold_forward : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
    keyed_fold_backward : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
    fold_forward : ((Element , X) -> X) -> X -> Rw_Vector -> X;
    fold_backward : ((Element , X) -> X) -> X -> Rw_Vector -> X;
    keyed_find : ((Int , Element) -> Bool) -> Rw_Vector -> Null_Or(((Int , Element)) );
    find : (Element -> Bool) -> Rw_Vector -> Null_Or(Element );
    exists : (Element -> Bool) -> Rw_Vector -> Bool;
    all : (Element -> Bool) -> Rw_Vector -> Bool;
    compare_sequences : ((Element , Element) -> Order) -> (Rw_Vector , Rw_Vector) -> Order;
    from_string : String -> Rw_Vector;
    bits : (Int , List(Int )) -> Rw_Vector;
    get_bits : Rw_Vector -> List(Int );
    to_string : Rw_Vector -> String;
    is_zero : Rw_Vector -> Bool;
    extend0 : (Rw_Vector , Int) -> Rw_Vector;
    extend1 : (Rw_Vector , Int) -> Rw_Vector;
    eq_bits : (Rw_Vector , Rw_Vector) -> Bool;
    equal : (Rw_Vector , Rw_Vector) -> Bool;
    bitwise_and : (Rw_Vector , Rw_Vector , Int) -> Rw_Vector;
    bitwise_or : (Rw_Vector , Rw_Vector , Int) -> Rw_Vector;
    bitwise_xor : (Rw_Vector , Rw_Vector , Int) -> Rw_Vector;
    bitwise_not : Rw_Vector -> Rw_Vector;
    lshift : (Rw_Vector , Int) -> Rw_Vector;
    rshift : (Rw_Vector , Int) -> Rw_Vector;
    set_bit : (Rw_Vector , Int) -> Void;
    clr_bit : (Rw_Vector , Int) -> Void;
    union : Rw_Vector -> Rw_Vector -> Void;
    intersection : Rw_Vector -> Rw_Vector -> Void;
    complement : Rw_Vector -> Void;};