| Copyright | (c) Tom Harper 2008-2009 (c) Bryan O'Sullivan 2009-2010 (c) Duncan Coutts 2009 |
|---|---|
| License | BSD-style |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | GHC |
| Safe Haskell | None |
| Language | Haskell2010 |
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!
Text manipulation functions represented as fusible operations over streams.
A co-recursive type yielding a single element at a time depending on the internal state it carries.
| Eq a => Eq (Stream a) Source | |
| Ord a => Ord (Stream a) Source | |
Defined in Data.Text.Internal.Fusion.Types | |
Intermediate result in a processing pipeline.
stream :: Text -> Stream Char Source
O(n) Convert Text into a Stream Char.
Properties
unstream . stream = id
stream . unstream = id
streamLn :: Text -> Stream Char Source
O(n) streamLn t = stream (t <> '\n')
Since: text-2.1.2
unstream :: Stream Char -> Text Source
O(n) Convert Stream Char into a Text.
Properties
unstream . stream = id
stream . unstream = id
reverseStream :: Text -> Stream Char Source
O(n) Converts Text into a Stream Char, but iterates backwards through the text.
Properties
unstream . reverseStream = reverse
length :: Stream Char -> Int Source
O(n) Returns the number of characters in a Stream.
Properties
length . stream = length
reverse :: Stream Char -> Text Source
O(n) Reverse the characters of a Stream returning Text.
Properties
reverse . stream = reverse
reverseScanr :: (Char -> Char -> Char) -> Char -> Stream Char -> Stream Char Source
O(n) Perform the equivalent of scanr over a list, only with the input and result reversed.
Properties
reverse . reverseScanr f c . reverseStream = scanr f c
mapAccumL :: (a -> Char -> (a, Char)) -> a -> Stream Char -> (a, Text) Source
O(n) Like a combination of map and foldl'. Applies a function to each element of a Text, passing an accumulating parameter from left to right, and returns a final Text.
Properties
mapAccumL g z0 . stream = mapAccumL g z0
unfoldrN :: Int -> (a -> Maybe (Char, a)) -> a -> Stream Char Source
O(n) Like unfoldr, 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.
Properties
unstream (unfoldrN n f a) = unfoldrN n f a
index :: HasCallStack => Stream Char -> Int -> Char Source
O(n) stream index (subscript) operator, starting from 0.
Properties
index (stream t) n = index t n
findIndex :: (Char -> Bool) -> Stream Char -> Maybe Int Source
The findIndex function takes a predicate and a stream and returns the index of the first element in the stream satisfying the predicate.
Properties
findIndex p . stream = findIndex p
countChar :: Char -> Stream Char -> Int Source
O(n) The count function returns the number of times the query element appears in the given stream.
Properties
countChar c . stream = countChar c
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/text-2.1.2-84f9/Data-Text-Internal-Fusion.html