package mixture

  1. Overview
  2. Docs

Parameters

module B : Basis

Signature

val apply : ('a -> 'b) B.t -> 'a B.t -> 'b B.t
val join : 'a B.t B.t -> 'a B.t
val map : ('a -> 'b) -> 'a B.t -> 'b B.t
val bind2 : 'a B.t -> 'b B.t -> ('a -> 'b -> 'c B.t) -> 'c B.t
val bind3 : 'a B.t -> 'b B.t -> 'c B.t -> ('a -> 'b -> 'c -> 'd B.t) -> 'd B.t
val bind4 : 'a B.t -> 'b B.t -> 'c B.t -> 'd B.t -> ('a -> 'b -> 'c -> 'd -> 'e B.t) -> 'e B.t
val map2 : ('a -> 'b -> 'c) -> 'a B.t -> 'b B.t -> 'c B.t
val map3 : ('a -> 'b -> 'c -> 'd) -> 'a B.t -> 'b B.t -> 'c B.t -> 'd B.t
val map4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a B.t -> 'b B.t -> 'c B.t -> 'd B.t -> 'e B.t
val dist : 'a B.t list -> 'a list B.t
val ignore : 'a B.t -> unit B.t
val filter : ('a -> bool B.t) -> 'a B.t list -> 'a list B.t
val only_if : bool -> unit B.t -> unit B.t
val unless : bool -> unit B.t -> unit B.t
val catch : (unit -> 'a B.t) -> (exn -> 'a B.t) -> 'a B.t
module Infix : sig ... end