any -package:relude -package:streaming -package:text package:base-prelude

any :: Foldable t => (a -> Bool) -> t a -> Bool
base-prelude BasePrelude
Determines whether any element of the structure satisfies the predicate.
newtype Any
base-prelude BasePrelude
Boolean monoid under disjunction (||). 
>>> getAny (Any True <> mempty <> Any False)
True

>>> getAny (mconcat (map (\x -> Any (even x)) [2,4,6,7,8]))
True
Any :: Bool -> Any
base-prelude BasePrelude
getAny :: Any -> Bool
base-prelude BasePrelude
many :: Alternative f => f a -> f [a]
base-prelude BasePrelude
Zero or more.