Portability | non-portable (rank-2 polymorphism/existentials) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Limit
Description
Documentation
type Colimit = Lan (Const Void)
Constructors
forall b . Colimit (f b) |
Instances
MonadReader (Colimit f) (Cocone f) |
liftColimit :: (f :~> g) -> Colimit f -> Colimit gSource