category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Comonad.Indexed
Description
class IxFunctor w => IxComonad w whereSource
Methods
iextract :: w i i a -> aSource
iextend :: (w j k a -> b) -> w i k a -> w i j bSource
Instances
iduplicate :: IxComonad w => w i k a -> w i j (w j k a)Source