package orsetto

  1. Overview
  2. Docs

Module Binary.Create

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

Parameters

module B : Basis

Signature

val return : 'r -> ('m, 'r) B.t

Use return a to apply the binding to a.

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

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

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

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

module Infix : Infix with type ('m, 'r) t := ('m, 'r) B.t

Open Infix to include the infix monad operators.

val disregard : ('m, 'r) B.t -> ('m, unit) B.t

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