Control.Functor.Indexed

Documentation

class IxFunctor f where

Methods

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

Instances

IxFunctor IxCont

IxFunctor IxState

IxFunctor (IxContT m)

Monad m => IxFunctor (IxStateT m)

class IxFunctor w => IxCopointed w where

Methods

iextract :: w i i a -> a

class IxFunctor m => IxPointed m where

Methods

ireturn :: a -> m i i a

Instances

IxPointed IxCont

IxPointed IxState

IxPointed (IxContT m)

Monad m => IxPointed (IxStateT m)

class IxPointed m => IxApplicative m where

Methods

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

Instances

IxApplicative IxCont

IxApplicative IxState

Monad m => IxApplicative (IxContT m)

Monad m => IxApplicative (IxStateT m)