package clarity

  1. Overview
  2. Docs

Parameters

module F : Basic3

Signature

include Basic3 with type ('p, 'q, 'a) t := ('p, 'q, 'a) F.t
val map : ('a -> 'b) -> ('p, 'q, 'a) F.t -> ('p, 'q, 'b) F.t
val (>|=) : ('p, 'q, 'a) F.t -> ('a -> 'b) -> ('p, 'q, 'b) F.t
val replace : 'a -> ('p, 'q, 'b) F.t -> ('p, 'q, 'a) F.t
val void : ('p, 'q, 'a) F.t -> ('p, 'q, unit) F.t