maximum package:io-streams

maximum stream returns the greatest element in stream or Nothing if the stream is empty. maximum consumes the entire stream.

ghci> is <- Streams.fromList [1, 2, 3]
ghci> Streams.maximum is
3
ghci> Streams.read is     -- The stream is now empty
Nothing