ModuleAgda-2.7.0.1Haskell2010

Agda.Utils.Applicative

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

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

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

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

valuefoldA :: (Alternative f, Foldable t) => t a -> f a

Branch over a Foldable collection of values.

valuefoldMapA :: (Alternative f, Foldable t) => (a -> f b) -> t a -> f b

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

valueforA :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)

Better name for for.