profunctors-5.6.2: Profunctors
Copyright (C) 2013-2015 Edward Kmett and Dan Doel BSD-style (see the file LICENSE) Edward Kmett provisional Rank2Types, TFs Safe Haskell2010

Data.Profunctor.Ran

Description

Synopsis

# Documentation

newtype Ran p q a b Source #

This represents the right Kan extension of a Profunctor q along a Profunctor p in a limited version of the 2-category of Profunctors where the only object is the category Hask, 1-morphisms are profunctors composed and compose with Profunctor composition, and 2-morphisms are just natural transformations.

Ran has a polymorphic kind since 5.6.

Constructors

 Ran FieldsrunRan :: forall x. p x a -> q x b

#### Instances

Instances details