:: (a -> Bool) -> ([a] -> Bool) package:indexed-traversable

Determines whether no elements of the structure satisfy the predicate.
none f ≡ not . any f