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

Portability	non-portable (rank-2 polymorphism/existentials in Ran/Lan)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Functor.Limit

Description

Documentation

type Lim = Ran (Const Void)Source

type Colim = Lan (Const Void)Source

module Control.Functor.KanExtension

data Void Source

Instances

Monoidal Hask (,) Void
HasIdentity Hask (,) Void

data Const a b

Instances

Functor (Const m)
Monoid m => Applicative (Const m)
ContraFunctor (Const a)
ExpFunctor (Const a)