category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portability	portable
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Functor.Indexed

Description

Documentation

class IxFunctor f whereSource

Methods

imap :: (a -> b) -> f j k a -> f j k bSource

Instances

IxFunctor IxCont
IxFunctor IxState
Functor f => IxFunctor (LiftIx f)
IxFunctor (IxContT m)

newtype LiftIx m i j a Source

Constructors

LiftIx
Fields lowerIx :: m a

Instances

Functor f => IxFunctor (LiftIx f)
Comonad w => IxComonad (LiftIx w)
(Functor m, Monad m) => IxMonad (LiftIx m)

newtype LowerIx m i a Source

Constructors

LowerIx
Fields liftIx :: m i i a

Instances

IxMonad m => Monad (LowerIx m i)
IxFunctor f => Functor (LowerIx f i)