Documentation

orAlt :: (Alternative f, Monoid a) => f a -> f a #

orEmpty :: Alternative f => Bool -> a -> f a #

eitherA :: Alternative f => f a -> f b -> f (Either a b) #

purer :: (Applicative f, Applicative g) => a -> f (g a) #

liftAA2 :: (Applicative f, Applicative g) => (a -> b -> c) -> f (g a) -> f (g b) -> f (g c) #

(<<*>>) :: (Applicative f, Applicative g) => f (g (a -> b)) -> f (g a) -> f (g b) #