Package profunctors - Namespaces

• Data.Tensor

  This module defines tensor products, which are later used to define the concept of profunctor strength. The two primary tensor products in `Idr` are the product (`Pair`) and the coproduct (`Either`).
• Data.Profunctor
• Data.Profunctor.Types

  This module contains the Profunctor interface itself, along with a few examples of profunctors.
• Data.Profunctor.Functor

  This module defines endofunctors in the category of profunctors `[Idrᵒᵖ * Idr, Idr]`, along with adjunctions of those functors. Examples of these functors include `Yoneda`, `Pastro`, `Closure`, etc.
• Data.Profunctor.Strong

  This module defines profunctor strength with respect to a particular monoidal structure.
• Data.Profunctor.Costrong

  This module defines profunctor costrength with respect to a particular monoidal structure.
• Data.Profunctor.Closed
• Data.Profunctor.Traversing
• Data.Profunctor.Mapping
• Data.Profunctor.Sieve
• Data.Profunctor.Representable
• Data.Profunctor.Cayley
• Data.Profunctor.Yoneda