package clarity

  1. Overview
  2. Docs

Parameters

module A : Basic2

Signature

include Basic2 with type ('p, 'a) t := ('p, 'a) A.t
include Functor.Basic2 with type ('p, 'a) t := ('p, 'a) A.t
val pure : 'a -> ('p, 'a) A.t
val ap : ('p, 'a -> 'b) A.t -> (unit -> ('p, 'a) A.t) -> ('p, 'b) A.t
include Functor.S2 with type ('p, 'a) t := ('p, 'a) A.t
include Functor.Basic2 with type ('p, 'a) t := ('p, 'a) A.t
val map : ('a -> 'b) -> ('p, 'a) A.t -> ('p, 'b) A.t
val (>|=) : ('p, 'a) A.t -> ('a -> 'b) -> ('p, 'b) A.t
val replace : 'a -> ('p, 'b) A.t -> ('p, 'a) A.t
val void : ('p, 'a) A.t -> ('p, unit) A.t
val ap' : ('p, 'a -> 'b) A.t -> ('p, 'a) A.t -> ('p, 'b) A.t
val (<*>) : ('p, 'a -> 'b) A.t -> ('p, 'a) A.t -> ('p, 'b) A.t
val (<~>) : ('p, 'a -> 'b) A.t -> (unit -> ('p, 'a) A.t) -> ('p, 'b) A.t
val discard_left : ('p, 'a) A.t -> (unit -> ('p, 'b) A.t) -> ('p, 'b) A.t
val discard_right : ('p, 'a) A.t -> (unit -> ('p, 'b) A.t) -> ('p, 'a) A.t
val repeat : int -> ('p, 'a) A.t -> ('p, 'a list) A.t
val repeat_ : int -> ('p, 'a) A.t -> ('p, unit) A.t
val forever : ('p, 'a) A.t -> ('p, 'b) A.t