package prbnmcn-basic-structures

You can search for identifiers within the package.

in-package search v0.2.0

Module `Basic_intf.Lang`Source

Module types useful for metaprogramming.

Sourcemodule type Std = sig ... end

Abstraction for standard boilerplate

Sourcemodule type Empty = sig ... end

Empty abstraction.

Sourcemodule type Sequencing = sig ... end

Abstraction for sequencing. Expected to be associative.

Sourcemodule type Loop = sig ... end

Abstraction for loops.

Sourcemodule type Const = sig ... end

Abstraction for constants.

Sourcemodule type Lambda = sig ... end

Abstraction for abstraction :)

Sourcemodule type Product = sig ... end

Abstraction for products.

Sourcemodule type Storage = sig ... end

Abstraction for monomorphic storage.

Sourcemodule type Bool = sig ... end

Abstraction for booleans.

Sourcemodule type Enum = sig ... end

Abstraction for enums.

Sourcemodule type Array = sig ... end

Abstraction for arrays.

Sourcemodule type Ring = sig ... end

Abstraction for rings.

Sourcemodule type Ring_std = sig ... end

Ring equipped with standard boilerplate.

Sourcemodule type Field = sig ... end

Abstraction for Fields.

Sourcemodule type Field_std = sig ... end

Field equipped with standard boilerplate.

Sourcemodule type Exn = sig ... end

Abstraction for raising exceptions.

Sourcemodule type Infix_order = sig ... end

Infix ordering operators.

Sourcemodule type Shape = sig ... end

Shapes: folding and iterating over abstract indexed structures.