Protolude.Applicative

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)