package travesty

You can search for identifiers within the package.

in-package search v0.2.0

Traversable containers, monad extensions, and more

Install

sha256=49d43ea0e9cef32d493fcc1561fc7480c55d9a2490700e487f4d5c3aff562d61

sha512=1cd77071adfb4583d0fcd27469b97bc64b7278761949aaaf415768aec14f6a1243e14575155c75033a5141a0320b4f56687381dc2bc56432a5ea63ea8613d968

Generic monad extensions.

Monad_exts contains a signature and functor for adding various extensions to Base-style monads.

For input and output module signatures for this module's functors, see Filter_mappable_types.

Sourcemodule Let (M : Base.Monad.S) : Monad_exts_types.S_let with type 'a t := 'a M.t

Let implements OCaml 4.08 let bindings for Base monads.

Sourcemodule Extend (M : Base.Monad.S) : Monad_exts_types.S with type 'a t := 'a M.t

Extend creates extensions for a Monad.S.

Sourcemodule App (M : Base.Monad.S) : Base.Applicative.S with type 'a t = 'a M.t

Like Base.Applicative.Of_monad, but retains the type.

module S2_to_S
  (M : Base.Monad.S2)
  (B : Base.T) : 
  Base.Monad.S with type 'a t := ('a, B.t) M.t

Demotes an arity-2 monad M to an arity-1 one, fixing its second type to be B.t.

module To_mappable
  (M : Base.Monad.S) : 
  Mappable_types.S1 with type 'a t := 'a M.t

Converts a monad to a mappable over M.map.

On This Page