package prbnmcn-linalg

You can search for identifiers within the package.

in-package search v0.2.0

package prbnmcn-linalg

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

type ('a, 'b) t =
  ('a, 'b)
    Make(BL.Empty)(BL.Codegen)(BL.Bool)(BL.Int)(BL.Int)(BL.Loop)(BL.Product)(BL.Exn)(BL.Sequencing).Morphism.t

val underlying : ('a, 'b) t -> 'a m -> 'b m

val domain : ('a, 'b) t -> 'a t

val range : ('a, 'b) t -> 'b t

val identity : 'a t -> ('a, 'a) t

val compose : ('a, 'b) t -> ('b, 'c) t -> ('a, 'c) t

val tensor : ('a, 'b) t -> ('c, 'd) t -> ('a * 'c, 'b * 'd) t

val pullback_at_path : (pos, pos) t -> 'a Path.t -> 'a t -> ('a, 'a) t k

val pullback_pointwise : (pos, pos) t -> 'a t -> ('a, 'a) t k

val sub : ofs:pos m -> pos t -> pos t -> (pos, pos) t k