category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.KanExtension

Description

 

Documentation

newtype Ran g h a Source

Constructors

Ran 

Fields

runRan :: forall b. (a -> g b) -> h b
 

toRan :: (Composition c, Functor k) => Natural (c k g) h -> Natural k (Ran g h)Source

fromRan :: Composition c => Natural k (Ran g h) -> Natural (c k g) hSource

data Lan g h a Source

Constructors

forall b . Lan (g b -> a) (h b) 

toLan :: (Composition c, Functor f) => Natural h (c f g) -> Natural (Lan g h) fSource

fromLan :: Composition c => Natural (Lan g h) f -> Natural h (c f g)Source