|
Control.Monad.Indexed | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
|
| Methods | imap :: (a -> b) -> f j k a -> f j k b | Source |
|
| | Instances | |
|
|
|
| Methods | | | Instances | |
|
|
|
| Methods | iap :: m i j (a -> b) -> m j k a -> m i k b | Source |
|
| | Instances | |
|
|
|
| Methods | ibind :: (a -> m j k b) -> m i j a -> m i k b | Source |
|
| | Instances | |
|
|
|
| Methods | | | Instances | |
|
|
|
| Methods | implus :: m i j a -> m i j a -> m i j a | Source |
|
| | Instances | |
|
|
|
|
(>>>=) :: IxMonad m => m i j a -> (a -> m j k b) -> m i k b | Source |
|
|
(=<<<) :: IxMonad m => (a -> m j k b) -> m i j a -> m i k b | Source |
|
|
iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k b | Source |
|
|
Produced by Haddock version 2.4.2 |