14.2.40  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 ;
    max_len : Int;
    make_rw_vector : (Int , Element) -> Rw_Vector;
    from_list : List(Element ) -> Rw_Vector;
    tabulate : (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 : {di:Int,  from:Rw_Vector,  to:Rw_Vector} -> Void;
    copy_vec : {di:Int,  from:Vector,  to:Rw_Vector} -> Void;
    keyed_apply : ((Int , Element) -> Void) -> Rw_Vector -> Void;
    apply : (Element -> Void) -> Rw_Vector -> Void;
    modifyi : ((Int , Element) -> Element) -> Rw_Vector -> Void;
    modify : (Element -> Element) -> Rw_Vector -> Void;
    keyed_fold_left : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
    keyed_fold_right : ((Int , Element , X) -> X) -> X -> Rw_Vector -> X;
    fold_left : ((Element , X) -> X) -> X -> Rw_Vector -> X;
    fold_right : ((Element , X) -> X) -> X -> Rw_Vector -> X;
    findi : ((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;
    collate : ((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;
};