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 !Char !Char

data M a

Specialised, strict Maybe-like type.

Constructors

N

J !a

type M8 = M Word8

data PairS a b

Constructors

!a :*: !b infixl 2

data RS s

Constructors

RS0 !s

RS1 !s !Word8

RS2 !s !Word8 !Word8

RS3 !s !Word8 !Word8 !Word8

data Step s a

Constructors

Done

Skip !s

Yield !a !s

data Stream a

Constructors

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

Instances

Eq a => Eq (Stream a)

Ord a => Ord (Stream a)

data Switch

Allow a function over a stream to switch between two states.

Constructors

S1

S2

empty :: Stream a

The empty stream.