category-extras-0.52.0: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Limit
Portabilitynon-portable (rank-2 polymorphism/existentials in Ran/Lan)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Synopsis
type Limit f = forall a. f a
class HasLimit f where
limit :: f a
data Colimit f = forall b . Colimit {
runColimit :: f b
}
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
show/hide Instances
data Colimit f Source
type Colimit = Lan (Const Void)
Constructors
forall b . Colimit
runColimit :: f b
Produced by Haddock version 2.3.0