Alt.Core_over_functor
module Functor : Preface_specs.FUNCTOR
module Req : Preface_specs.Alt.WITH_COMBINE with type 'a t = 'a Functor.t
type 'a t = 'a Req.t
A type 'a t held by the Alt.
'a t
Alt
val combine : 'a t -> 'a t -> 'a t
Combine two values of t into one.
t
val map : ('a -> 'b) -> 'a t -> 'b t
Mapping over t from 'a to 'b.
'a
'b