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

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

Description

Documentation

class IxFunctor f where Source

Methods imap :: (a -> b) -> f j k a -> f j k b Source Instances IxFunctor IxCont IxFunctor IxState IxFunctor (IxContT m) Monad m => IxFunctor (IxStateT m)

class IxFunctor w => IxCopointed w where Source

Methods iextract :: w i i a -> a Source

class IxFunctor m => IxPointed m where Source

Methods ireturn :: a -> m i i a Source Instances IxPointed IxCont IxPointed IxState IxPointed (IxContT m) Monad m => IxPointed (IxStateT m)

class IxPointed m => IxApplicative m where Source

Methods iap :: m i j (a -> b) -> m j k a -> m i k b Source Instances IxApplicative IxCont IxApplicative IxState Monad m => IxApplicative (IxContT m) Monad m => IxApplicative (IxStateT m)

Produced by Haddock version 2.3.0