Data.Functor.Indexed

Documentation

class IxFunctor f where

Minimal complete definition

imap

Methods

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

class IxFunctor w => IxCopointed w where

Minimal complete definition

iextract

Methods

iextract :: w i i a -> a

class IxFunctor m => IxPointed m where

Minimal complete definition

ireturn

Methods

ireturn :: a -> m i i a

class IxPointed m => IxApplicative m where

Minimal complete definition

iap

Methods

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

(<<$>>) :: IxFunctor f => (a -> b) -> f j k a -> f j k b infixl 4

Infix alias of imap. Or, (<$>) for IxFunctor. Should be interchangeable with (<$>), but requires IxFunctor constraints instead of (possibly many) Functor constraints.

(<<*>>) :: IxApplicative f => f i j (a -> b) -> f j k a -> f i k b infixl 4

Infix alias of iap. Or, (<*>) for IxApplicative.

(<<*) :: IxApplicative f => f i j a -> f j k b -> f i k a infixl 4

(<*) for IxApplicative.

(*>>) :: IxApplicative f => f i j a -> f j k b -> f i k b infixl 4

(*>) for IxApplicative.