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 types useful for metaprogramming.

module type Std = sig ... end

Abstraction for standard boilerplate

module type Empty = sig ... end

Empty abstraction.

module type Sequencing = sig ... end

Abstraction for sequencing. Expected to be associative.

module type Loop = sig ... end

Abstraction for loops.

module type Const = sig ... end

Abstraction for constants.

module type Lambda = sig ... end

Abstraction for abstraction :)

module type Product = sig ... end

Abstraction for products.

module type Storage = sig ... end

Abstraction for monomorphic storage.

module type Bool = sig ... end

Abstraction for booleans.

module type Enum = sig ... end

Abstraction for enums.

module type Array = sig ... end

Abstraction for arrays.

module type Ring = sig ... end

Abstraction for rings.

module type Ring_std = sig ... end

Ring equipped with standard boilerplate.

module type Field = sig ... end

Abstraction for Fields.

module type Field_std = sig ... end

Field equipped with standard boilerplate.

module type Exn = sig ... end

Abstraction for raising exceptions.

module type Infix_order = sig ... end

Infix ordering operators.

module type Shape = sig ... end

Shapes: folding and iterating over abstract indexed structures.