package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

prbnmcn-basic-structures
- Basic_structures
  - Basic_impl
    
    Bool_map
    
    Float_map
    
    Free_module
    
    Float_valued
    
    Bool
    
    Basis
    
    R
    
    Float
    
    Basis
    
    R
    
    Int
    
    Basis
    
    R
    
    Make_with_map
    
    Basis
    
    R
    
    X
    
    String
    
    Basis
    
    R
    
    Free_module_with_map
    
    Basis
    
    R
    
    Make
    
    Basis
    
    R
    
    Make_with_map
    
    Basis
    
    R
    
    X
    
    Rational_valued
    
    Bool
    
    Basis
    
    R
    
    Float
    
    Basis
    
    R
    
    Int
    
    Basis
    
    R
    
    Make_with_map
    
    Basis
    
    R
    
    X
    
    String
    
    Basis
    
    R
    
    Int_map
    
    Int_set
    
    Integer
    
    Integer_mod2
    
    Lang
    
    Bool
    
    Codegen
    
    Infix
    
    Complex
    
    Empty
    
    Exn
    
    Float
    
    Float_storage
    
    Int
    
    Lambda
    
    Loop
    
    Make_array
    
    X
    
    Make_const
    
    X
    
    Make_enum
    
    X
    
    Make_storage
    
    X
    
    Product
    
    Rational
    
    Sequencing
    
    String
    
    Monad
    
    Codegen_cps
    
    Infix
    
    M
    
    Repr
    
    Codegen_identity
    
    Infix
    
    M
    
    Repr
    
    Cps
    
    Infix
    
    Identity
    
    Infix
    
    Reals
    
    Float
    
    Rational
    
    String_map
  - Basic_intf
    
    Abelian_group
    
    Abelian_group_std
    
    Algebra
    
    R
    
    Codegen_monad
    
    Infix
    
    Field
    
    Field_std
    
    Finitely_generated_free_module
    
    R
    
    Free_module
    
    R
    
    Free_module_std
    
    Basis
    
    R
    
    Infix_order
    
    Lang
    
    Array
    
    Bool
    
    Const
    
    Empty
    
    Enum
    
    Exn
    
    Field
    
    Field_std
    
    Infix_order
    
    Lambda
    
    Loop
    
    Product
    
    Ring
    
    Ring_std
    
    Sequencing
    
    Shape
    
    Morphism
    
    Storage
    
    Std
    
    Storage
    
    Metric
    
    Module
    
    R
    
    Module_std
    
    R
    
    Monad
    
    Infix
    
    Monoid
    
    Monoid_std
    
    Ordered
    
    Partial_order
    
    Pp
    
    Reals
    
    Ring
    
    Ring_std
    
    Std
  - Std
    
    Bool
    
    Complex
    
    Float
    
    Int
    
    Q
    
    String
    
    Z

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type Ordered = sig ... end

Totally ordered data

type 'a printer = Stdlib.Format.formatter -> 'a -> unit

module type Pp = sig ... end

Pretty-printable data

module type Std = sig ... end

Comparable, printable and hashable data

module type Abelian_group = sig ... end

Abelian group

module type Abelian_group_std = sig ... end

module type Monoid = sig ... end

Monoid

module type Monoid_std = sig ... end

module type Ring = sig ... end

Ring

module type Ring_std = sig ... end

module type Field = sig ... end

Field, assuming the ring is commutative.

module type Field_std = sig ... end

Field, assuming the ring is commutative.

module type Module = sig ... end

Modules over a ring R.

module type Module_std = sig ... end

Module over a ring R.

module type Algebra = sig ... end

Algebra over a ring

module type Free_module = sig ... end

Free module

module type Free_module_std = sig ... end

module type Finitely_generated_free_module = sig ... end

module type Partial_order = sig ... end

Partial order.

module type Monad = sig ... end

Module type of a plain monad

module type Codegen_monad = sig ... end

Monad dedicated to handling computations spanning several stages

module type Infix_order = sig ... end

module Lang : sig ... end

Module types useful for metaprogramming.

module type Metric = sig ... end

Metric space

module type Reals = sig ... end

Module type of anything that looks like the (measured) reals.