indexed-0.1: Haskell98 indexed functors, monads, comonads

Portabilityportable
Stabilityexperimental
MaintainerReiner Pope <reiner.pope@gmail.com>
Safe HaskellSafe-Infered

Data.Functor.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 IxFunctor m => IxPointed m whereSource

Methods

ireturn :: a -> m i i aSource

class IxPointed m => IxApplicative m whereSource

Methods

iap :: m i j (a -> b) -> m j k a -> m i k bSource