category-extras-0.52.3: Various modules and constructs inspired by category theory

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

Control.Functor.Limit

Description

 

Synopsis

Documentation

type Limit f = forall a. f aSource

type Limit = Ran (Const Void) Limit { runLimit :: forall a. f a }

class HasLimit f whereSource

Methods

limit :: f aSource

Instances

data Colimit f Source

type Colimit = Lan (Const Void)

Constructors

forall b . Colimit (f b) 

Instances

liftLimit :: (f :~> g) -> Limit f -> Limit gSource