Module type Arrow.WITH_ARROW

Exposes the arrow function, mandatory for each requirement.

type ('a, 'b) t

The type held by the Arrow.

val arrow : ('a -> 'b) -> ('a, 'b) t

Lift a function to an Arrow.