diff --git a/src/Quasar/PreludeExtras.hs b/src/Quasar/PreludeExtras.hs index 0024f2c8de6a67d556ae696b5cb1c2da96398abd..49d058e66d1d6d614a3155ab002c10e9ed027f4d 100644 --- a/src/Quasar/PreludeExtras.hs +++ b/src/Quasar/PreludeExtras.hs @@ -89,6 +89,10 @@ infixl 4 <<$>> (<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) (<<$>>) = fmap . fmap +infixl 4 <<*>> +(<<*>>) :: (Applicative f, Applicative g) => f (g (a -> b)) -> f (g a) -> f (g b) +(<<*>>) = liftA2 (<*>) + infixr 6 <<>> (<<>>) :: (Applicative f, Semigroup a) => f a -> f a -> f a (<<>>) = liftA2 (<>)