|Copyright||(c) 2009 2010 Bryan O'Sullivan|
Warning: this is an internal module, and does not have a stable API or name. Functions in this module may not check or enforce preconditions expected by public modules. Use at your own risk!
Core stream fusion functionality for text.
O(n) Convert a
Text into a 'Stream Char'.
O(n) Convert a 'Stream Char' into a
Text, using the given chunk size.
O(n) Returns the number of characters in a text.
unfoldrN builds a stream from a seed value. However, the length of the result is limited by the first argument to
unfoldrN. This function is more efficient than
unfoldr when the length of the result is known.
O(n) stream index (subscript) operator, starting from 0.
count function returns the number of times the query element appears in the given stream.
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).