| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mad.one@gmail.com |
| Safe Haskell | Safe-Inferred |
Control.Indexed.Applicative
Contents
Description
Indexed Applicative
- class (IxFunctor f, IxPointed f) => IxApplicative f where
- liftIxA :: IxApplicative f => (a -> b) -> f t u a -> f t u b
- liftIxA2 :: IxApplicative f => (a -> b -> c) -> f s t a -> f t u b -> f s u c
Indexed Applicative
Applicativeclass (IxFunctor f, IxPointed f) => IxApplicative f whereSource
Indexed Applicative
Methods
(<!*>) :: f s t (a -> b) -> f t u a -> f s u bSource
Indexed <*>
(!*>) :: f s t a -> f t u b -> f s u bSource
Indexed *>
(<!*) :: f s t a -> f t u b -> f s u aSource
Indexed <*
Instances
| IxApplicative Delim | Delimited continuations form an |
| Monad m => IxApplicative (MW m) | Lifts regular instances of |
Other functions
liftIxA :: IxApplicative f => (a -> b) -> f t u a -> f t u bSource
This is liftAApplicative
liftIxA2 :: IxApplicative f => (a -> b -> c) -> f s t a -> f t u b -> f s u cSource
This is liftA2Applicative