package mnd

  1. Overview
  2. Docs
module Option : MONAD with type 'a t = 'a option
module Result : sig ... end
module State : sig ... end
module Reader : sig ... end
module type MONOID = sig ... end
module Writer (M : MONOID) : sig ... end