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) infixl 4 Source #