automaton-1.3: Effectful streams and automata in initial encoding
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Stream.Internal

Description

Helper functions and types for Data.Stream. You will typically not need them.

Synopsis

Documentation

data JointState a b Source #

A strict tuple type

Constructors

JointState a b 

data Alternatively stateL stateR Source #

Internal state of the result of Alternative constructions

Constructors

Undecided 
DecideL stateL 
DecideR stateR 

data Many state x Source #

Internal state of many and some

Constructors

NotStarted 
Ongoing x state 
Finished 

data Fix t Source #

Constructors

Fix 

Fields

fixState :: (forall s. s -> t s) -> Fix t Source #