Control.Applicative.HT

Documentation

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)

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