Control.Foldl.ByteString

Folds for byte streams

Folds

head :: Fold ByteString (Maybe Word8)

Get the first byte of a byte stream or return Nothing if the stream is empty

last :: Fold ByteString (Maybe Word8)

Get the last byte of a byte stream or return Nothing if the byte stream is empty

null :: Fold ByteString Bool

Returns True if the byte stream is empty, False otherwise

length :: Num n => Fold ByteString n

Return the length of the byte stream in bytes

any :: (Word8 -> Bool) -> Fold ByteString Bool

(any predicate) returns True if any byte satisfies the predicate, False otherwise

all :: (Word8 -> Bool) -> Fold ByteString Bool

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

maximum :: Fold ByteString (Maybe Word8)

Computes the maximum byte

minimum :: Fold ByteString (Maybe Word8)

Computes the minimum byte

elem :: Word8 -> Fold ByteString Bool

(elem w8) returns True if the byte stream has a byte equal to w8, False otherwise

notElem :: Word8 -> Fold ByteString Bool

(notElem w8) returns False if the byte stream has a byte equal to w8, True otherwise

find :: (Word8 -> Bool) -> Fold ByteString (Maybe Word8)

(find predicate) returns the first byte that satisfies the predicate or Nothing if no byte satisfies the predicate

index :: Integral n => n -> Fold ByteString (Maybe Word8)

(index n) returns the nth byte of the byte stream, or Nothing if the stream has an insufficient number of bytes

elemIndex :: Num n => Word8 -> Fold ByteString (Maybe n)

(elemIndex w8) returns the index of the first byte that equals w8, or Nothing if no byte matches

findIndex :: Num n => (Word8 -> Bool) -> Fold ByteString (Maybe n)

(findIndex predicate) returns the index of the first byte that satisfies the predicate, or Nothing if no byte satisfies the predicate

Re-exports

Control.Foldl re-exports the Fold type

Data.ByteString re-exports the ByteString type

Data.Word re-exports the Word8 type

module Control.Foldl

module Data.ByteString

module Data.Word