package profunctor

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Profunctor.Of_conv_based`

module F : Conv_based

type ('b, 'a) t

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

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

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

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

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

val 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