package prbnmcn-linalg

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

prbnmcn-linalg
- Linalg
  - Intf
    
    Mat
    
    Infix
    
    Tensor
    
    Morphism
    
    Path
    
    Storage
    
    Vec
    
    Infix
  - Mat
    
    Array_backed_column_major
    
    A
    
    B
    
    E
    
    M
    
    Monad
    
    Infix
    
    P
    
    R
    
    R_ord
    
    Repr
    
    S
    
    Morphism
    
    Path
    
    Storage
    
    Float
    
    Infix
    
    Make
    
    B
    
    E
    
    I_ring
    
    Infix
    
    M
    
    Monad
    
    Infix
    
    P
    
    R
    
    R_storage
    
    Repr
    
    S
    
    Morphism
    
    Path
    
    Storage
    
    Make_native
    
    Infix
    
    R
    
    R_storage
    
    Rational
    
    Infix
  - Tensor
    
    Int
    
    Morphism
    
    Path
    
    Storage
    
    Make
    
    B
    
    E
    
    Loop
    
    M
    
    Monad
    
    Infix
    
    Morphism
    
    P
    
    Path
    
    R
    
    R_ord
    
    Repr
    
    Storage
  - Vec
    
    Array_backed
    
    A
    
    Monad
    
    Infix
    
    Repr
    
    S
    
    Morphism
    
    Path
    
    Storage
    
    Float
    
    Infix
    
    Make
    
    B
    
    E
    
    Infix
    
    M
    
    Monad
    
    Infix
    
    R
    
    R_storage
    
    Repr
    
    S
    
    Morphism
    
    Storage
    
    Make_native
    
    Infix
    
    R
    
    R_storage
    
    Rational
    
    Infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

Array_backed_column_major yields a module that allows to create matrices backed by arrays. This module enforces a column-major layout for the matrix data (Fortran-style).

Parameters

module Repr : Basic_structures.Basic_intf.Lang.Empty

module Monad : Basic_structures.Basic_intf.Codegen_monad with type 'a m = 'a Repr.m

module S : Intf.Tensor with type 'a m = 'a Repr.m

module B : Basic_structures.Basic_intf.Lang.Bool with type 'a m = 'a Repr.m

module R : 
  Basic_structures.Basic_intf.Lang.Ring
    with type 'a m = 'a Repr.m
     and type t = S.pos

module R_ord : 
  Basic_structures.Basic_intf.Lang.Infix_order
    with type 'a m = 'a Repr.m
     and type t = R.t

module A : 
  Basic_structures.Basic_intf.Lang.Array
    with type index = R.t
     and type 'a m = 'a Repr.m

module E : Basic_structures.Basic_intf.Lang.Exn with type 'a m = 'a Repr.m

module P : Basic_structures.Basic_intf.Lang.Product with type 'a m = 'a Repr.m

module M : Basic_structures.Basic_intf.Lang.Sequencing with type 'a m = 'a Repr.m

Signature

type index = S.pos * S.pos

val of_array : 
  ('a * S.pos) S.t ->
  A.t Repr.m ->
  ((('a * S.pos) S.t, (S.pos * S.pos) Repr.m, A.elt Repr.m) Intf.vec
   * (('a * S.pos) S.t, (S.pos * S.pos) Repr.m, A.elt Repr.m, unit Repr.m)
       Intf.ovec)
    Monad.t

val in_of_array : 
  ('a * S.pos) S.t ->
  A.t Repr.m ->
  (('a * S.pos) S.t, (S.pos * S.pos) Repr.m, A.elt Repr.m) Intf.vec Monad.t

val out_of_array : 
  ('a * S.pos) S.t ->
  A.t Repr.m ->
  (('a * S.pos) S.t, (S.pos * S.pos) Repr.m, A.elt Repr.m, unit Repr.m)
    Intf.ovec
    Monad.t