Control.Comonad.Indexed

Documentation

class IxFunctor f where

Methods

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

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)