all -package:rio

Determines whether all elements of the structure satisfy the predicate.

Examples

Basic usage:

>>> all (> 3) []
True

>>> all (> 3) [1,2]
False

>>> all (> 3) [1,2,3,4,5]
False

>>> all (> 3) [1..]
False

>>> all (> 3) [4..]
* Hangs forever *

Applied to a predicate and a list, all determines if all elements of the list satisfy the predicate. For the result to be True, the list must be finite; False, however, results from a False value for the predicate applied to an element at a finite index of a finite or infinite list.

Examples

>>> all (> 3) []
True

>>> all (> 3) [1,2]
False

>>> all (> 3) [1,2,3,4,5]
False

>>> all (> 3) [1..]
False

>>> all (> 3) [4..]
* Hangs forever *

O(n) Applied to a predicate and a ByteString, all determines if all elements of the ByteString satisfy the predicate.

Applied to a predicate and a ByteString, all determines if all elements of the ByteString satisfy the predicate.

O(n) Applied to a predicate and a ShortByteString, all determines if all elements of the ShortByteString satisfy the predicate.

O(n) all p t determines whether all characters in the Text t satisfy the predicate p.

O(n) all p xs determines if all characters in the Text xs satisfy the predicate p. Properties

all f . stream = all f

Verifies that a predicate holds for all elements of an array.

Check that all values in the stream return True. Subject to shortcut logic: at the first False, consumption of the stream will stop. Subject to fusion

Check if all elements of a byte array satisfy a predicate

(all predicate p) determines whether all the elements of p satisfy the predicate.

(all predicate) returns True if all elements satisfy the predicate, False otherwise

(all predicate) returns True if all bytes satisfy the predicate, False otherwise

(all predicate) returns True if all characters satisfy the predicate, False otherwise

all predicate stream returns True if every element in stream matches the predicate. all consumes as few elements as possible, ending consumption if any element fails the predicate.

ghci> is <- Streams.fromList [1, 2, 3]
ghci> Streams.all (< 0) is    -- Consumes one element
False
ghci> Streams.read is
Just 2
ghci> Streams.all odd is      -- Only 3 remains
True

Synonym for oall

Test whether all code points in ShortText satisfy a predicate.

>>> all (const False) ""
True

>>> all (> 'c') "abcdabcd"
False

>>> all (/= 'c') "abdabd"
True

Fold that returns whether All received Word8s satisfy the predicate

O(n) Returns true if all bytes in the sequence satisfy the predicate.

True if all items satisfy the function

O(n) all p t determines whether all characters in the JSString t satisify the predicate p. Subject to fusion.

Determines whether all elements of the structure satisfy the predicate.

Determine whether all elements of a stream satisfy a predicate.

all = Stream.fold Fold.all