package profunctor

You can search for identifiers within the package.

in-package search v0.2.0

A library providing a signature for simple profunctors and traversal of a record

Install

sha256=9825f01c5b04ff71d7d5b2187bdb9f33d7ba7a302b8b268e08389d87cbc42f25

module F : Base.Applicative.S

Sourcetype ('b, 'a) t = 'b F.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

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

On This Page