Agda.Utils.Applicative
(?*>) :: Alternative f => Bool -> f a -> f a Source #
Guard: return the action f only if the boolean is True
f
True
(?$>) :: Alternative f => Bool -> a -> f a Source #
Guard: return the value a only if the boolean is True
a