| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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