Documentation

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

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

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

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

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

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