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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Exponent

Description

 

Documentation

data Exp m a Source

Constructors

Exp 

Fields

runExp :: m -> a
 

Instances

Functor (Exp m) 
Monoid m => Copointed (Exp m) 
Monoid m => Comonad (Exp m)