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

Portability	portable
Stability	experimental
Maintainer	Edward Kmett <[email protected]>

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
IxFunctor (IxContT m)
Monad m => IxFunctor (IxStateT m)

class IxFunctor w => IxCopointed w whereSource

Methods

iextract :: w i i a -> aSource

class IxFunctor m => IxPointed m whereSource

Methods

ireturn :: a -> m i i aSource

Instances

IxPointed IxCont
IxPointed IxState
IxPointed (IxContT m)
Monad m => IxPointed (IxStateT m)

class IxPointed m => IxApplicative m whereSource

Methods

iap :: m i j (a -> b) -> m j k a -> m i k bSource

Instances

IxApplicative IxCont
IxApplicative IxState
Monad m => IxApplicative (IxContT m)
Monad m => IxApplicative (IxStateT m)