Module Control.Applicative

liftA :: Applicative a => (b -> c) -> a b -> a c   

Lift a function to actions. This function may be used as a value for fmap in a Functor instance.

liftA3 :: Applicative a => (b -> c -> d -> e) -> a b -> a c -> a d -> a e   

Lift a ternary function to actions.

when :: Applicative a => Bool -> a () -> a ()   

sequenceA :: Applicative a => [a b] -> a [b]   

Evaluate each action in the list from left to right, and collect the results. For a version that ignores the results see sequenceA_.

sequenceA_ :: Applicative a => [a b] -> a ()   

Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceA.