package sugar

  1. Overview
  2. Docs
type 'a t = 'a option

A parametric type representing any OCaml value.

val return : 'a -> 'a t

Creates a constant value in this monad.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

Waits for the conclusion of the monad in the left, and then, apply the unwrapped value to the function in the right.