profunctors-5.1.2: Profunctors

Copyright(C) 2014 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
PortabilityRank2Types, TFs
Safe HaskellSafe
LanguageHaskell2010

Data.Profunctor.Codensity

Description

 

Synopsis

Documentation

newtype Codensity p a b Source

This represents the right Kan extension of a Profunctor p along itself. This provides a generalization of the "difference list" trick to profunctors.

Constructors

Codensity 

Fields

runCodensity :: forall x. p x a -> p x b