category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Functor.Cone Portability non-portable (rank-2 polymorphism/existentials) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

type Cone n f = n -> forall a. f a

newtype Cocone f n

Constructors Cocone runCocone :: forall a. f a -> n Instances Monad (Cocone f) Functor (Cocone f) MonadReader (Colimit f) (Cocone f)

Produced by Haddock version 2.1.0