package preface

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Over_applicative.Req`

type ('a, 'index) t = ('a, 'index) Applicative.t

The type held by the Indexed Alternative.

val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t

Combine two values of t into one.

val neutral : ('a, 'index) t

The neutral element of the t.