package monadlib

  1. Overview
  2. Docs

Module Monad.Make

Monad library.

Parameters

module M : BatInterfaces.Monad

Signature

include BatInterfaces.Monad with type 'a m = 'a M.m
type 'a m = 'a M.m
val bind : 'a m -> ('a -> 'b m) -> 'b m
include Applicative.Applicative with type 'a m := 'a m
include Applicative.Base with type 'a m := 'a m
val return : 'a -> 'a m
val ap : ('a -> 'b) m -> 'a m -> 'b m
val lift1 : ('a -> 'b) -> 'a m -> 'b m
val lift2 : ('a -> 'b -> 'c) -> 'a m -> 'b m -> 'c m
val lift3 : ('a -> 'b -> 'c -> 'd) -> 'a m -> 'b m -> 'c m -> 'd m
val sequence : 'a m list -> 'a list m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val join : 'a m m -> 'a m
OCaml

Innovation. Community. Security.