category-extras-0.53.5: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Exponential Portability non-portable (class-associated types) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Exponential functors, see http://comonad.com/reader/2008/rotten-bananas/

Documentation

class ExpFunctor f where Source

Methods xmap :: (a -> b) -> (b -> a) -> f a -> f b Source Instances ExpFunctor (Const a) (ExpFunctor f, ExpFunctor g) => ExpFunctor (CompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g) (ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw) (ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f) (ExpFunctor f, ExpFunctor g) => ExpFunctor (PointedCompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) ExpFunctor (Const2 t a) (Bifunctor p Hask Hask Hask, ExpFunctor f, ExpFunctor g) => ExpFunctor (Lift p f g)

Produced by Haddock version 2.3.0