package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8

md5=533153cd4a9fe8093d3b98afc1073bc8

module type Basis = sig ... end

Define a module of type Basis to make a monad with two type parameters, a phantom type and a return type.

module type Affix = sig ... end

A module type that defines the affix monad operators.

module type Profile = sig ... end

A module type that defines the core monad functions.

module Create (B : Basis) : Profile with type ('m, 'r) t := ('m, 'r) B.t

Use Create(B) to make the core monad functions for the basis module B.

module type Infix = Affix

Deprecated module type alias.

On This Page