category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Indexed

Description

 

Documentation

class IxFunctor f whereSource

Methods

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

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