14.2.40  Rw_Matrix

The Rw_Matrix api defines the external interface to the rw_junk package.

The Rw_Matrix api is implemented by the rw_matrix package.

The Rw_Matrix api source code is src/lib/std/src/rw-matrix.api.

The above information is manually maintained and may contain errors.

api {
    Rw_Matrix X = {cols:Int, rows:Int, rw_vector:Rw_Vector(X )};
    Region X = {col:Int, cols:Null_Or(Int ), row:Int, rows:Null_Or(Int ), rw_matrix:Rw_Matrix(X )};
    make_rw_matrix : (((Int , Int)) , X) -> Rw_Matrix(X );
    from_list : (Int , Int) -> List(X ) -> Rw_Matrix(X );
    from_lists : List(List(X ) ) -> Rw_Matrix(X );
    from_fn : (((Int , Int)) , ((Int , Int) -> X)) -> Rw_Matrix(X );
    get : (Rw_Matrix(X ) , ((Int , Int))) -> X;
    _[] : (Rw_Matrix(X ) , ((Int , Int))) -> X;
    set : (Rw_Matrix(X ) , ((Int , Int)) , X) -> Void;
    _[]:= : (Rw_Matrix(X ) , ((Int , Int)) , X) -> Void;
    rowscols : Rw_Matrix(X ) -> (Int , Int);
    cols : Rw_Matrix(X ) -> Int;
    rows : Rw_Matrix(X ) -> Int;
    row : (Rw_Matrix(X ) , Int) -> vector::Vector(X );
    col : (Rw_Matrix(X ) , Int) -> vector::Vector(X );
    copy_region : {region:Region(X ), to:Rw_Matrix(X ), to_col:Int, to_row:Int} -> Void;
    apply : (X -> Void) -> Rw_Matrix(X ) -> Void;
    region_apply : ((Int , Int , X) -> Void) -> Region(X ) -> Void;
    map_in_place : (X -> X) -> Rw_Matrix(X ) -> Void;
    region_map_in_place : ((Int , Int , X) -> X) -> Region(X ) -> Void;
    fold_forward : ((X , Y) -> Y) -> Y -> Rw_Matrix(X ) -> Y;
    region_fold_forward : ((Int , Int , X , Y) -> Y) -> Y -> Region(X ) -> Y;};