category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Description

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 IxCopointed w => IxComonad w where

Methods iextend :: (w j k a -> b) -> w i k a -> w i j b

iduplicate :: IxComonad w => w i k a -> w i j (w j k a)

Produced by Haddock version 2.1.0