| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Control.Applicative.HT
Synopsis
- mapPair :: Applicative f => (a -> f c, b -> f d) -> (a, b) -> f (c, d)
- mapTriple :: Applicative m => (a -> m d, b -> m e, c -> m f) -> (a, b, c) -> m (d, e, f)
- curry :: Applicative f => (f (a, b) -> g) -> f a -> f b -> g
- curry3 :: Applicative f => (f (a, b, c) -> g) -> f a -> f b -> f c -> g
- lift :: Applicative m => (a -> r) -> m a -> m r
- lift2 :: Applicative m => (a -> b -> r) -> m a -> m b -> m r
- lift3 :: Applicative m => (a -> b -> c -> r) -> m a -> m b -> m c -> m r
- lift4 :: Applicative m => (a -> b -> c -> d -> r) -> m a -> m b -> m c -> m d -> m r
- lift5 :: Applicative m => (a -> b -> c -> d -> e -> r) -> m a -> m b -> m c -> m d -> m e -> m r
- lift6 :: Applicative m => (a -> b -> c -> d -> e -> f -> r) -> m a -> m b -> m c -> m d -> m e -> m f -> m r
- liftA4 :: Applicative f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e
- liftA5 :: Applicative f => (a -> b -> c -> d -> e -> g) -> f a -> f b -> f c -> f d -> f e -> f g
- liftA6 :: Applicative f => (a -> b -> c -> d -> e -> g -> h) -> f a -> f b -> f c -> f d -> f e -> f g -> f h
Documentation
mapPair :: Applicative f => (a -> f c, b -> f d) -> (a, b) -> f (c, d) Source #
mapTriple :: Applicative m => (a -> m d, b -> m e, c -> m f) -> (a, b, c) -> m (d, e, f) Source #
curry :: Applicative f => (f (a, b) -> g) -> f a -> f b -> g Source #
curry3 :: Applicative f => (f (a, b, c) -> g) -> f a -> f b -> f c -> g Source #
lift :: Applicative m => (a -> r) -> m a -> m r Source #
lift2 :: Applicative m => (a -> b -> r) -> m a -> m b -> m r Source #
lift3 :: Applicative m => (a -> b -> c -> r) -> m a -> m b -> m c -> m r Source #
lift4 :: Applicative m => (a -> b -> c -> d -> r) -> m a -> m b -> m c -> m d -> m r Source #
lift5 :: Applicative m => (a -> b -> c -> d -> e -> r) -> m a -> m b -> m c -> m d -> m e -> m r Source #
lift6 :: Applicative m => (a -> b -> c -> d -> e -> f -> r) -> m a -> m b -> m c -> m d -> m e -> m f -> m r Source #
liftA4 :: Applicative f => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e Source #
Deprecated: use App.lift4
liftA5 :: Applicative f => (a -> b -> c -> d -> e -> g) -> f a -> f b -> f c -> f d -> f e -> f g Source #
Deprecated: use App.lift5
liftA6 :: Applicative f => (a -> b -> c -> d -> e -> g -> h) -> f a -> f b -> f c -> f d -> f e -> f g -> f h Source #
Deprecated: use App.lift6