package clarity

  1. Overview
  2. Docs
include Functor.Basic3
type (_, _, _) t
val map : ('a -> 'b) -> ('p, 'q, 'a) t -> ('p, 'q, 'b) t
val pure : 'a -> ('p, 'q, 'a) t
val ap : ('p, 'q, 'a -> 'b) t -> (unit -> ('p, 'q, 'a) t) -> ('p, 'q, 'b) t