Agda-2.6.3.20230805: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
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

foldA :: (Alternative f, Foldable t) => t a -> f a Source #

Branch over a Foldable collection of values.

foldMapA :: (Alternative f, Foldable t) => (a -> f b) -> t a -> f b Source #

Branch over a Foldable collection of values using the supplied action.

forA :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) Source #

Better name for for.