category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Functor.KanExtension
Description
newtype Ran g h a Source
Constructors
Fields
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
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