package monadlib

  1. Overview
  2. Docs

Module Monad.Statet

State monad transformer

Parameters

module T : sig ... end
module M : BatInterfaces.Monad

Signature

include BatInterfaces.Monad
type 'a m
val bind : 'a m -> ('a -> 'b m) -> 'b m
val return : 'a -> 'a m
val read : T.s m
val write : T.s -> unit m