package orsetto

  1. Overview
  2. Docs
On This Page
  1. Unary Monad
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type
Unary Monad

A unary monad is a type with a single return parameter, which encapsulates a value of monomorphic type.

module type Basis = Core.Unary.Basis

Use module B: Basis = struct ... end to define a module B that implements the core type and functions of a monad.

module type Profile = sig ... end

The signature of modules produced by the Create(B: Basis) functor.

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

Use module M = Create(B) to create a module that implements all the conventional interfaces of a monad.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct