package olmi

  1. Overview
  2. Docs
module Requirement : sig ... end
include sig ... end
type 'a t = 'a Requirement.t
val return : 'a -> 'a t
val join : 'a t t -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
val fmap : ('a -> 'b) -> 'a t -> 'b t
val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
val (<$>) : ('a -> 'b) -> 'a t -> 'b t
val (<$) : 'a -> 'b t -> 'a t
val (*>) : 'a t -> 'b t -> 'b t
val (<*) : 'a t -> 'b t -> 'a t
val (<**>) : 'a t -> ('a -> 'b) t -> 'b t
val (>>=) : 'a t -> ('a -> 'b t) -> 'b t
val (>|=) : 'a t -> ('a -> 'b) -> 'b t
val (<=<) : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t
val (>=>) : ('a -> 'b t) -> ('b -> 'c t) -> 'a -> 'c t
val (=<<) : ('a -> 'b t) -> 'a t -> 'b t
val (>>) : 'a t -> 'b t -> 'b t
val liftM : ('a -> 'b) -> 'a t -> 'b t
val liftM2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val liftM3 : ('a -> 'b -> 'c -> 'd) -> 'a t -> 'b t -> 'c t -> 'd t
val liftM4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t
val liftM5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t
val void : 'a t -> unit t
OCaml

Innovation. Community. Security.