Applicative.Core_via_pure_and_lift2
type 'a t = 'a Req.t
The type held by the Applicative
.
inline
include Preface_specs.Indexed_applicative.CORE with type ('a, _) t := 'a t
include Preface_specs.Indexed_applicative.WITH_PURE
with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_applicative.WITH_PURE
with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_apply.WITH_MAP_AND_PRODUCT
with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_functor.WITH_MAP with type ('a, 'index) t := 'a t
include Preface_specs.Indexed_applicative.WITH_PURE
with type ('a, 'index) t := 'a t
val pure : 'a -> 'a t
Lift a value from 'a
into a new t
.