Copyright	(c) Tom Harper 2008-2009 (c) Bryan O'Sullivan 2009 (c) Duncan Coutts 2009 (c) Jasper Van der Jeugt 2011
License	BSD-style
Maintainer	bos@serpentine.com
Stability	experimental
Portability	GHC
Safe Haskell	Safe
Language	Haskell98

Data.JSString.Internal.Fusion.Types

Description

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.

Synopsis

data CC s = CC !s !Char !Char
data M a
- = N
- | J !a
type M8 = M Word8
data PairS a b = !a :*: !b
data RS s
- = RS0 !s
- | RS1 !s !Word8
- | RS2 !s !Word8 !Word8
- | RS3 !s !Word8 !Word8 !Word8
data Step s a
- = Done
- | Skip !s
- | Yield !a !s
data Stream a = Stream (s -> Step s a) !s
data Switch
- = S1
- | S2
empty :: Stream a

Documentation

data CC s Source #

Specialised tuple for case conversion.

Constructors

CC !s !Char !Char

data M a Source #

Specialised, strict Maybe-like type.

Constructors

N
J !a

type M8 = M Word8 Source #

data PairS a b Source #

Constructors

!a :*: !b infixl 2

data RS s Source #

Constructors

RS0 !s
RS1 !s !Word8
RS2 !s !Word8 !Word8
RS3 !s !Word8 !Word8 !Word8

data Step s a Source #

Constructors

Done
Skip !s
Yield !a !s

data Stream a Source #

Constructors

Stream (s -> Step s a) !s

Instances

Eq a => Eq (Stream a) Source #
Instance details Defined in Data.JSString.Internal.Fusion.Types Methods (==) :: Stream a -> Stream a -> Bool # (/=) :: Stream a -> Stream a -> Bool #
Ord a => Ord (Stream a) Source #
Instance details Defined in Data.JSString.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 #

data Switch Source #

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

Constructors

S1
S2

empty :: Stream a Source #

The empty stream.