package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Parameters

module B : Basis

Signature

val return : 'r -> 'r B.t

Use return a to apply the binding to a.

val bind : 'a B.t -> ('a -> 'b B.t) -> 'b B.t

Use bind m f to bind f to the value returned by m.

val map : 'a B.t -> f:('a -> 'b) -> 'b B.t

Use map m ~f to return the result of applying f to the value returned by m.

val product : 'a B.t -> 'b B.t -> ('a * 'b) B.t

Use product a b to return the monoidal product of a and b.

module Affix : Affix with type 'r t := 'r B.t

Open Affix to include the affix monad operators.

val disregard : 'r B.t -> unit B.t

Use disregard m to ignore the value returned by m and apply the unit value to the bound function.

module Infix = Affix

Deprecated module alias.

OCaml

Innovation. Community. Security.