preface.make
Over_applicative.Req
preface
preface.core
preface.laws
preface.qcheck
preface.specs
preface.stdlib
type ('a, 'index) t = ('a, 'index) Applicative.t
The type held by the Indexed Alternative.
Indexed Alternative
val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t
Combine two values of t into one.
t
val neutral : ('a, 'index) t
The neutral element of the t.