package profunctor

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Profunctor.Of_conv_based`Source

module F : Conv_based

Sourcetype ('b, 'a) t

include S with type ('b, 'a) t := ('b, 'a) t

Sourceval map : ('a, 'u) t -> f:('a -> 'b) -> ('b, 'u) t

Sourceval contra_map : ('u, 'b) t -> f:('a -> 'b) -> ('u, 'a) t

Sourceval both : ('a, 'i) t -> ('b, 'i) t -> ('a * 'b, 'i) t

Sourceval inj : 'a F.t -> ('a, 'a) t

Sourceval prj : ('a, 'a) t -> 'a F.t

module Of_record : 
  Record_builder
    with type 'a profunctor_term = 'a F.t
     and type ('b, 'a) profunctor = ('b, 'a) t