Data.Text.Internal.Fusion.Types

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.

Documentation

data CC s

Specialised tuple for case conversion.

Constructors

CC !s !Int64

data PairS a b

Strict pair.

Constructors

!a :*: !b infixl 2

data Scan s

An intermediate result in a scan.

Constructors

Scan1 !Char !s

Scan2 !Char !s

data RS s

Restreaming state.

Constructors

RS0 !s

RS1 !s !Word8

RS2 !s !Word8 !Word8

RS3 !s !Word8 !Word8 !Word8

data Step s a

Intermediate result in a processing pipeline.

Constructors

Done

Skip !s

Yield !a !s

data Stream a

A co-recursive type yielding a single element at a time depending on the internal state it carries.

Constructors

forall s. Stream (s -> Step s a) !s !Size

Instances

Eq a => Eq (Stream a)

Defined in Data.Text.Internal.Fusion.Types

Methods

(==) :: Stream a -> Stream a -> Bool

(/=) :: Stream a -> Stream a -> Bool

Ord a => Ord (Stream a)

Defined in Data.Text.Internal.Fusion.Types

Methods

compare :: Stream a -> Stream a -> Ordering

(<) :: Stream a -> Stream a -> Bool

(<=) :: Stream a -> Stream a -> Bool

(>) :: Stream a -> Stream a -> Bool

(>=) :: Stream a -> Stream a -> Bool

max :: Stream a -> Stream a -> Stream a

min :: Stream a -> Stream a -> Stream a

empty :: Stream a

The empty stream.