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

Portabilitynon-portable (rank-2 polymorphism/existentials in Ran/Lan)
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 

Fields

runColimit :: f b