Control.Functor.Limit

Documentation

type Limit f = forall a. f a

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

class HasLimit f where

Methods

limit :: f a

Instances

HasLimit []

HasLimit Maybe

Monoid a => HasLimit (Either a)

data Colimit f

type Colimit = Lan (Const Void)

Constructors

forall b . Colimit (f b)

Instances

MonadReader (Colimit f) (Cocone f)

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

liftColimit :: (f :~> g) -> Colimit f -> Colimit g