Module Composition.Make

Parameters

module Interior : Monad.S
module Exterior : Monad.S
module _ : Axiom with type 'a interior = 'a Interior.t and type 'a exterior = 'a Exterior.t

Signature

type 'a t = 'a Interior.t Exterior.t
val return : 'a -> 'a t
val flatten : 'a t t -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val bind : ('a -> 'b t) -> 'a t -> 'b t
module Bool : sig ... end

monadic convenience functions around booleans

module Option : sig ... end

applying monadic functions to the option type

module List : sig ... end

applying monadic functions to lists

module Operators : sig ... end