Module Sugar.S.Params

Signatures for the dependencies used in Sugar's module builders.

module type Monad : sig ... end

A generic signature describing a monad.

module type Error : sig ... end

Conventional module type to define the errors inside a project. This is how Sugar understands the error handling layer of a project.

module type Strict_error : sig ... end

This signature describes an Error module that has some control over unexpected exceptions.

module type Strict_monad : sig ... end

A monad that provides some awareness about unexpected exceptions.