package prbnmcn-basic-structures

  1. Overview
  2. Docs
Base package for prbnmcn-* packages

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. I
    Ilias Garnier

Maintainers

  1. I
    igarnier@protonmail.com

Sources

0.0.1.tar.gz
md5=f169865416fdd1804beace6daeba2cb9
sha512=8a78c0572866e6471f8123d702aee42e6abdef6b0b633ab0ea678382a26194a1d79dea9d44ea0cb7b45d77dac25a6706153c3074f7b0aad05ce744fb480d8518

doc/prbnmcn-basic-structures/Basic_structures/Basic_intf/index.html

Module Basic_structures.Basic_intfSource

Basic module types.

Sourcemodule type Ordered = sig ... end

Totally ordered data

Sourcetype 'a printer = Format.formatter -> 'a -> unit
Sourcemodule type Pp = sig ... end

Pretty-printable data

Sourcemodule type Std = sig ... end

Comparable, printable and hashable data

Sourcemodule type Abelian_group = sig ... end

Abelian group

Sourcemodule type Abelian_group_std = sig ... end
Sourcemodule type Monoid = sig ... end

Monoid

Sourcemodule type Monoid_std = sig ... end
Sourcemodule type Ring = sig ... end

Ring

Sourcemodule type Ring_std = sig ... end
Sourcemodule type Field = sig ... end

Field, assuming the ring is commutative.

Sourcemodule type Field_std = sig ... end

Field, assuming the ring is commutative.

Sourcemodule type Module = sig ... end

Modules over a ring R.

Sourcemodule type Module_std = sig ... end

Module over a ring R.

Sourcemodule type Algebra = sig ... end

Algebra over a ring

Sourcemodule type Free_module = sig ... end

Free module

Sourcemodule type Free_module_std = sig ... end
Sourcemodule type Finitely_generated_free_module = sig ... end
Sourcemodule type Partial_order = sig ... end

Partial order.

Sourcemodule type Monad = sig ... end

Module type of a plain monad

Sourcemodule type Codegen_monad = sig ... end

Monad dedicated to handling computations spanning several stages

Sourcemodule type Infix_order = sig ... end
Sourcemodule Lang : sig ... end

Module types useful for metaprogramming.

Sourcemodule type Metric = sig ... end

Metric space

Sourcemodule type Reals = sig ... end

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