package mnd

  1. Overview
  2. Docs
include MONAD2_DEF
type ('a, 'b) t
val return : 'a -> ('a, 'b) t
val map : ('a1 -> 'a2) -> ('a1, 'b) t -> ('a2, 'b) t
val bind : ('a1, 'b) t -> ('a1 -> ('a2, 'b) t) -> ('a2, 'b) t
val product : ('a1, 'b) t -> ('a2, 'b) t -> ('a1 * 'a2, 'b) t
OCaml

Innovation. Community. Security.