indexed-0.1.3: Haskell98 indexed functors, monads, comonads

Copyright(C) 2008 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerReiner Pope <reiner.pope@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Control.Comonad.Indexed

Description

 

Documentation

class IxFunctor f where Source #

Minimal complete definition

imap

Methods

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

class IxFunctor w => IxCopointed w where Source #

Minimal complete definition

iextract

Methods

iextract :: w i i a -> a Source #

class IxCopointed w => IxComonad w where Source #

Minimal complete definition

iextend

Methods

iextend :: (w j k a -> b) -> w i k a -> w i j b Source #

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