module Agda.Utils.Applicative
( (?*>)
, (?$>)
)
where
import Control.Applicative
(?*>) :: Alternative f => Bool -> f a -> f a
b :: Bool
b ?*> :: Bool -> f a -> f a
?*> f :: f a
f = if Bool
b then f a
f else f a
forall (f :: * -> *) a. Alternative f => f a
empty
(?$>) :: Alternative f => Bool -> a -> f a
b :: Bool
b ?$> :: Bool -> a -> f a
?$> a :: a
a = Bool
b Bool -> f a -> f a
forall (f :: * -> *) a. Alternative f => Bool -> f a -> f a
?*> a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure a
a