package clarity

  1. Overview
  2. Docs

Parameters

module F : Basic2

Signature

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