Agda-2.6.1: A dependently typed functional programming language and proof assistant
Safe HaskellSafe
LanguageHaskell2010

Agda.Utils.Applicative

Synopsis
  • (?*>) :: Alternative f => Bool -> f a -> f a
  • (?$>) :: Alternative f => Bool -> a -> f a

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