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

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