The standard library Typelocked_Matrix api defines access to two-dimensional arrays specialized to hold a specific value type.
The Typelocked_Matrix api appears to be unimplemented at present.
The Typelocked_Matrix api source code is in src/lib/std/src/typelocked-matrix.api.
The above information is manually maintained and may contain errors.
api { eqtype Matrix; Vector; Element; Region = {base:Matrix, col:Int, ncols:Null_Or(Int ), nrows:Null_Or(Int ), row:Int}; from_rw_vector : (Int , Int , Element) -> Matrix; from_list : List(List(Element ) ) -> Matrix; from_fn : (Int , Int , ((Int , Int) -> Element)) -> Matrix; get : (Matrix , Int , Int) -> Element; set : (Matrix , Int , Int , Element) -> Void; dimensions : Matrix -> (Int , Int); columns : Matrix -> Int; rows : Matrix -> Int; row : (Matrix , Int) -> Vector; column : (Matrix , Int) -> Vector; copy : {dst:Matrix, dst_col:Int, dst_row:Int, src:Region} -> Void; keyed_apply : ((Int , Int , Element) -> Void) -> Region -> Void; apply : (Element -> Void) -> Matrix -> Void; keyed_map_in_place : ((Int , Int , Element) -> Element) -> Region -> Void; map_in_place : (Element -> Element) -> Matrix -> Void; foldi : ((Int , Int , Element , X) -> X) -> X -> Region -> X; fold : ((Element , X) -> X) -> X -> Matrix -> X;};