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

Dune Dependency

github.com MIT License Edit opam file Versions (3)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

profunctor-v0.15.0.tar.gz

sha256=9825f01c5b04ff71d7d5b2187bdb9f33d7ba7a302b8b268e08389d87cbc42f25

doc/profunctor/Profunctor/index.html

Module `Profunctor`Source

Sourcemodule type S = sig ... end

A profunctor has an input end with contravariant map, an output end with covariant map and an operation to join two terms with the same input type giving both outputs.

Sourcemodule type Record_builder = sig ... end

A module used to traverse each field of a record performing some action using a specific profunctor.

Sourcemodule type Of_applicative = sig ... end

A profunctor constructed from an applicative.

Sourcemodule type Conv_based = sig ... end

A profunctor-ish where both parameters must be mapped together at the same time. This is less expressive but appears in several libraries.

Sourcemodule type Of_conv_based = sig ... end

Embed a Conv_based profunctor-ish into a full profunctor, allowing the use of Record_builder directly.

Source

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

Source

module Of_applicative
  (F : Base.Applicative.S) : 
  Of_applicative with type 'a applicative := 'a F.t

Source

module Of_conv_based
  (F : Conv_based) : 
  Of_conv_based with type 'a conv_based := 'a F.t

Sourcemodule Fn_with_id : sig ... end

A profunctor which represents a function where Fn.id may sometimes be distinguished from other functions.

package profunctor

Install

Dune Dependency

Authors

Maintainers

Sources

doc/profunctor/Profunctor/index.html

Module ProfunctorSource

Module `Profunctor`Source