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 m = 'a Repr.m

type pos

The type of (one-dimensional) positions in a shape.

type 'a t

The type of shapes, parametric in the type of positions.

val mem : 'a t -> 'a m -> bool m

mem p s is true iff p is a position in the shape s.

val pos_equal : 'a t -> 'a m -> 'a m -> bool m

pos_equal s p p' is true iff p and p' are equal positions in the shape s.

val equal : 'a t -> 'a t -> bool m

equal s s' is true iff s and s' describe equal shapes.

module type Storage = sig ... end

First-class mutable storage.

type 'elt storage = (module Storage with type elt = 'elt)

val iter : ('a m -> unit m) -> 'a t -> unit m

Iterate on a shape.

val fold : 
  'acc storage ->
  ('a m -> 'acc m -> 'acc m) ->
  'a t ->
  'acc m ->
  'acc m

Fold on a shape.

module Morphism : sig ... end

Shape morphisms, described as a category.