Copyright	(C) 2008 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Reiner Pope <reiner.pope@gmail.com>
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Functor.Indexed

Description

Synopsis

class IxFunctor f where
- imap :: (a -> b) -> f j k a -> f j k b
class IxFunctor w => IxCopointed w where
- iextract :: w i i a -> a
class IxFunctor m => IxPointed m where
- ireturn :: a -> m i i a
class IxPointed m => IxApplicative m where
- 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
(<<*>>) :: IxApplicative f => f i j (a -> b) -> f j k a -> f i k b
(<<*) :: IxApplicative f => f i j a -> f j k b -> f i k a
(*>>) :: IxApplicative f => f i j a -> f j k b -> f i k b

Documentation

class IxFunctor f where Source #

Methods

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

class IxFunctor w => IxCopointed w where Source #

Methods

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

class IxFunctor m => IxPointed m where Source #

Methods

ireturn :: a -> m i i a Source #

class IxPointed m => IxApplicative m where Source #

Methods

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

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

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 Source #

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

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

(<*) for IxApplicative.

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

(*>) for IxApplicative.