package jhupllib

  1. Overview
  2. Docs
type 'a m
include Monads.MonadPlus with type 'a m := 'a m
include Monads.Monad with type 'a m := 'a m
val pure : 'a -> 'a m
val bind : 'a m -> ('a -> 'b m) -> 'b m
val zero : unit -> 'a m
val plus : 'a m -> 'a m -> 'a m
include Monads.Utils with type 'a m := 'a m
val return : 'a -> 'a m
val (>>=) : 'a m -> ('a -> 'b m) -> 'b m
val sequence : 'a m Batteries.Enum.t -> 'a Batteries.Enum.t m
val mapM : ('a -> 'b m) -> 'a Batteries.Enum.t -> 'b Batteries.Enum.t m
val lift1 : ('a -> 'b) -> 'a m -> 'b m
val pick_enum : 'a Batteries.Enum.t -> 'a m
val enum : 'a m -> 'a Batteries.Enum.t
val stop_unless : bool -> unit m
val empty : unit -> 'a m
val alternative : 'a m -> 'a m -> 'a m
OCaml

Innovation. Community. Security.