category-extras-0.53.6: Various modules and constructs inspired by category theory 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

Methods xmap :: (a -> b) -> (b -> a) -> f a -> f b Instances (ExpFunctor f, ExpFunctor g) => ExpFunctor (CompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) (ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f) (ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw) (ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (PointedCompF 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.1.0