category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

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

Description

Documentation

class IxFunctor w => IxComonad w where Source

Methods iextract :: w i i a -> a Source iextend :: (w j k a -> b) -> w i k a -> w i j b Source Instances Comonad w => IxComonad (LiftIx w)

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

Produced by Haddock version 2.1.0