category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Comonad.Indexed
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class IxFunctor f whereSource
Methods
imap :: (a -> b) -> f j k a -> f j k bSource
show/hide Instances
class IxFunctor w => IxCopointed w whereSource
Methods
iextract :: w i i a -> aSource
class IxCopointed w => IxComonad w whereSource
Methods
iextend :: (w j k a -> b) -> w i k a -> w i j bSource
iduplicate :: IxComonad w => w i k a -> w i j (w j k a)Source
Produced by Haddock version 2.4.2