Up – Package index » Preface » Library preface.core » Preface_core

Module `Preface_core`Source

Sourcemodule Either : sig ... end

Some helpers over Either.t

Sourcemodule Fun : sig ... end

Sourcemodule Monoid : sig ... end

A generic monoid.

Sourcemodule Nonempty_list : sig ... end

A Non empty list. The module allows to deal with non-empty list. Lists where the minimum size is one.

Sourcemodule Void : sig ... end

Void describes unhabited type. A type that is not representable.