Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A profunctor constructed from an applicative.
In this case contra_map
has no effect, and map
and both
behave exactly as they would with the underlying applicative.
type ('b, 'a) t = 'b applicative
module Of_record :
Record_builder
with type 'a profunctor_term = 'a applicative
and type ('b, 'a) profunctor = ('b, 'a) t