Agda-2.6.0.1.20191219: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell2010

Agda.Utils.Applicative

Synopsis

Documentation

(?*>) :: Alternative f => Bool -> f a -> f a Source #

Guard: return the action f only if the boolean is True

(?$>) :: Alternative f => Bool -> a -> f a Source #

Guard: return the value a only if the boolean is True