automaton-1.6: Effectful streams and automata in coalgebraic encoding

Index

AccumData.Automaton.Trans.Accum
accumData.Automaton.Trans.Accum
accumSData.Automaton.Trans.Accum
AccumT 
1 (Type/Class)Data.Automaton.Trans.Accum
2 (Data Constructor)Data.Automaton.Trans.Accum
accumToStateTData.Automaton.Trans.Accum
accumulateWithData.Automaton
addData.Automaton.Trans.Accum
addChangeData.Automaton.Trans.Changeset
AlternativelyData.Stream.Internal
applyExcept 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
apResultData.Stream.Result
arrFilterData.Automaton.Filter
arrMData.Automaton
ask 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Reader
asks 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Reader
Automaton 
1 (Type/Class)Data.Automaton
2 (Data Constructor)Data.Automaton
AutomatonExcept 
1 (Type/Class)Data.Automaton.Trans.Except
2 (Data Constructor)Data.Automaton.Trans.Except
automatonFilterData.Automaton.Filter
catchMaybeData.Automaton.Trans.Maybe
catchSData.Automaton.Trans.Except
censor 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Writer
changeAData.Automaton.Trans.Changeset
changelogData.Automaton.Trans.Changeset
Changes 
1 (Type/Class)Data.Automaton.Trans.Changeset
2 (Data Constructor)Data.Automaton.Trans.Changeset
changesData.Automaton.Trans.Changeset
ChangesetData.Automaton.Trans.Changeset
changesetAData.Automaton.Trans.Changeset
changesetSData.Automaton.Trans.Changeset
ChangesetT 
1 (Type/Class)Data.Automaton.Trans.Changeset
2 (Data Constructor)Data.Automaton.Trans.Changeset
changeSingleData.Automaton.Trans.Changeset
CoalgebraicExceptData.Stream.Except
concatS 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
3 (Function)Data.Automaton
ConsData.Automaton.Trans.Changeset
constFilterData.Stream.Filter
constM 
1 (Function)Data.Stream.Recursive
2 (Function)Data.Stream
3 (Function)Data.Stream.Optimized
4 (Function)Data.Automaton
CountData.Automaton.Trans.Changeset
countData.Automaton
currentAData.Automaton.Trans.Changeset
currentInputData.Automaton.Trans.Except
DecideLData.Stream.Internal
DecideRData.Stream.Internal
delayData.Automaton
dSwitchData.Automaton.Trans.Except
embedData.Automaton
embed_Data.Automaton.Trans.Maybe
evalAccumData.Automaton.Trans.Accum
evalAccumTData.Automaton.Trans.Accum
evalChangesetData.Automaton.Trans.Changeset
evalChangesetTData.Automaton.Trans.Changeset
evalRandSData.Automaton.Trans.Random
evalRWSData.Automaton.Trans.RWS
evalRWSTData.Automaton.Trans.RWS
evalStateData.Automaton.Trans.State
evalStateTData.Automaton.Trans.State
exceptS 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
3 (Function)Data.Automaton.Trans.Except
ExceptT 
1 (Type/Class)Data.Automaton.Trans.Except
2 (Data Constructor)Data.Automaton.Trans.Except
exceptToMaybeSData.Automaton.Trans.Maybe
exceptToMaybeTData.Automaton.Trans.Maybe
execAccumData.Automaton.Trans.Accum
execAccumTData.Automaton.Trans.Accum
execChangesetData.Automaton.Trans.Changeset
execChangesetTData.Automaton.Trans.Changeset
execRWSData.Automaton.Trans.RWS
execRWSTData.Automaton.Trans.RWS
execStateData.Automaton.Trans.State
execStateTData.Automaton.Trans.State
execWriterData.Automaton.Trans.Writer
execWriterTData.Automaton.Trans.Writer
exitData.Automaton.Trans.Maybe
exitIfData.Automaton.Trans.Maybe
exitWhenData.Automaton.Trans.Maybe
feedbackData.Automaton
FilterAutomaton 
1 (Type/Class)Data.Automaton.Filter
2 (Data Constructor)Data.Automaton.Filter
filterMData.Stream.Filter
filterS 
1 (Function)Data.Stream.Filter
2 (Function)Data.Automaton.Filter
FilterStream 
1 (Type/Class)Data.Stream.Filter
2 (Data Constructor)Data.Stream.Filter
FinishedData.Stream.Internal
Fix 
1 (Type/Class)Data.Stream.Internal
2 (Data Constructor)Data.Stream.Internal
fixAData.Stream
fixStateData.Stream.Internal
fixStreamData.Stream
fixStream'Data.Stream
FmapChange 
1 (Type/Class)Data.Automaton.Trans.Changeset
2 (Data Constructor)Data.Automaton.Trans.Changeset
forever 
1 (Function)Data.Stream.Except
2 (Function)Data.Automaton.Trans.Except
foreverExceptData.Stream
fromFilterStreamData.Automaton.Filter
fromRecursive 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
3 (Function)Data.Automaton.Recursive
fromStreamData.Automaton
get 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
getAutomatonData.Automaton
getAutomatonExceptData.Automaton.Trans.Except
getChangeData.Automaton.Trans.Changeset
getChangesData.Automaton.Trans.Changeset
getChangesetData.Automaton.Trans.Changeset
getChangesetSData.Automaton.Trans.Changeset
getChangesetTData.Automaton.Trans.Changeset
getChangeTData.Automaton.Trans.Changeset
getFilterAutomatonData.Automaton.Filter
getFilterStreamData.Stream.Filter
getFixData.Stream.Internal
getFmapChangeData.Automaton.Trans.Changeset
getMaybeChangeData.Automaton.Trans.Changeset
getRandomRSData.Automaton.Trans.Random
getRandomRS_Data.Automaton.Trans.Random
getRandomSData.Automaton.Trans.Random
getRandomsRSData.Automaton.Trans.Random
getRandomsRS_Data.Automaton.Trans.Random
getRandomsSData.Automaton.Trans.Random
getRecursive 
1 (Function)Data.Stream.Recursive
2 (Function)Data.Automaton.Recursive
getResultStateTData.Stream.Result
gets 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
handleAutomatonData.Automaton
handleAutomatonF_Data.Automaton
handleAutomaton_Data.Automaton
handleEffect 
1 (Function)Data.Stream
2 (Function)Data.Automaton
handleExceptTData.Stream
handleMaybeTData.Stream
handleOptimizedData.Stream.Optimized
handleWriterTData.Stream
hoist' 
1 (Function)Data.Stream.Recursive
2 (Function)Data.Stream
3 (Function)Data.Stream.Optimized
hoistFData.Automaton.Trans.Changeset
hoistMaybeData.Automaton.Trans.Maybe
hoistSData.Automaton
id'Data.Automaton.Filter
IncrementData.Automaton.Trans.Changeset
inExceptTData.Automaton.Trans.Except
initialised 
1 (Function)Data.Stream
2 (Function)Data.Automaton
initialised_Data.Automaton
inMaybeTData.Automaton.Trans.Maybe
JointState 
1 (Type/Class)Data.Stream.Internal
2 (Data Constructor)Data.Stream.Internal
JustChangeData.Automaton.Trans.Changeset
justChangeData.Automaton.Trans.Changeset
lastSData.Automaton
liftCallCC 
1 (Function)Data.Automaton.Trans.Reader
2 (Function)Data.Automaton.Trans.State
3 (Function)Data.Automaton.Trans.Accum
liftCallCC' 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
3 (Function)Data.Automaton.Trans.Accum
liftCatch 
1 (Function)Data.Automaton.Trans.Reader
2 (Function)Data.Automaton.Trans.State
3 (Function)Data.Automaton.Trans.Accum
liftFData.Automaton.Trans.Changeset
liftFilter 
1 (Function)Data.Stream.Filter
2 (Function)Data.Automaton.Filter
liftListen 
1 (Function)Data.Automaton.Trans.State
2 (Function)Data.Automaton.Trans.Accum
liftPass 
1 (Function)Data.Automaton.Trans.State
2 (Function)Data.Automaton.Trans.Accum
liftS 
1 (Function)Data.Stream
2 (Function)Data.Automaton
ListChangeData.Automaton.Trans.Changeset
listen 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Writer
listens 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Writer
listToAutomatonExceptData.Automaton.Trans.Except
listToMaybeSData.Automaton.Trans.Maybe
lmapSData.Automaton.Filter
local 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Reader
lookData.Automaton.Trans.Accum
looksData.Automaton.Trans.Accum
ManyData.Stream.Internal
mapAccumData.Automaton.Trans.Accum
mapAccumTData.Automaton.Trans.Accum
mapChangeData.Automaton.Trans.Changeset
mapMaybeSData.Automaton
mapMaybeTData.Automaton.Trans.Maybe
mapOptimizedStreamTData.Stream.Optimized
mapOutputData.Stream.Except
mappendFromData.Automaton
mappendFromRData.Automaton
mappendSData.Automaton
mapReaderData.Automaton.Trans.Reader
mapReaderTData.Automaton.Trans.Reader
mapResultStateData.Stream.Result
mapRWSData.Automaton.Trans.RWS
mapRWSTData.Automaton.Trans.RWS
mapStateData.Automaton.Trans.State
mapStateTData.Automaton.Trans.State
mapWriterData.Automaton.Trans.Writer
mapWriterTData.Automaton.Trans.Writer
MaybeChange 
1 (Type/Class)Data.Automaton.Trans.Changeset
2 (Data Constructor)Data.Automaton.Trans.Changeset
maybeExitData.Automaton.Trans.Maybe
MaybeT 
1 (Type/Class)Data.Automaton.Trans.Maybe
2 (Data Constructor)Data.Automaton.Trans.Maybe
maybeToExceptSData.Automaton.Trans.Except, Data.Automaton.Trans.Maybe
maybeToExceptTData.Automaton.Trans.Maybe
mmap 
1 (Function)Data.Stream.Recursive
2 (Function)Data.Stream
modify 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
modify'Data.Automaton.Trans.State
modifyMData.Automaton.Trans.State
NotStartedData.Stream.Internal
onceData.Automaton.Trans.Except
once_Data.Automaton.Trans.Except
OngoingData.Stream.Internal
OptimizedStreamTData.Stream.Optimized
outputData.Stream.Result
parallelyData.Automaton
parallelyListData.Automaton
pass 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Except
performOnFirstSampleData.Automaton.Trans.Except
PopData.Automaton.Trans.Changeset
prependData.Automaton
put 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
reactimate 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
3 (Function)Data.Automaton
reactimateBData.Automaton.Trans.Except
reactimateExceptData.Automaton.Trans.Except
reactimateMaybeData.Automaton.Trans.Maybe
ReaderData.Automaton.Trans.Reader
reader 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Reader
readerSData.Automaton.Trans.Reader
ReaderT 
1 (Type/Class)Data.Automaton.Trans.Reader
2 (Data Constructor)Data.Automaton.Trans.Reader
readerToAccumTData.Automaton.Trans.Accum
Recursive 
1 (Type/Class)Data.Stream.Recursive
2 (Data Constructor)Data.Stream.Recursive
3 (Type/Class)Data.Automaton.Recursive
4 (Data Constructor)Data.Automaton.Recursive
RecursiveExceptData.Stream.Except
Result 
1 (Type/Class)Data.Stream.Result
2 (Data Constructor)Data.Stream.Result
resultStateData.Stream.Result
ResultStateT 
1 (Type/Class)Data.Stream.Result
2 (Data Constructor)Data.Stream.Result
reviseData.Automaton.Trans.Changeset
rmapSData.Automaton.Filter
runAccumData.Automaton.Trans.Accum
runAccumSData.Automaton.Trans.Accum
runAccumS_Data.Automaton.Trans.Accum
runAccumS__Data.Automaton.Trans.Accum
runAccumTData.Automaton.Trans.Accum
runAutomatonExceptData.Automaton.Trans.Except
runChangesetData.Automaton.Trans.Changeset
runChangesetSData.Automaton.Trans.Changeset
runChangesetS_Data.Automaton.Trans.Changeset
runChangesetTData.Automaton.Trans.Changeset
runExceptTData.Automaton.Trans.Except
runListSData.Stream.Filter
runMaybeSData.Automaton.Trans.Maybe
runMaybeTData.Automaton.Trans.Maybe
runRandSData.Automaton.Trans.Random
runReaderData.Automaton.Trans.Reader
runReaderSData.Automaton.Trans.Reader
runReaderS_Data.Automaton.Trans.Reader
runReaderTData.Automaton.Trans.Reader
runRWSData.Automaton.Trans.RWS
runRWSSData.Automaton.Trans.RWS
runRWSTData.Automaton.Trans.RWS
runStateData.Automaton.Trans.State
runStateSData.Automaton.Trans.State
runStateS_Data.Automaton.Trans.State
runStateS__Data.Automaton.Trans.State
runStateTData.Automaton.Trans.State
runStreamExceptData.Stream.Except
runWriterData.Automaton.Trans.Writer
runWriterSData.Automaton.Trans.Writer
runWriterTData.Automaton.Trans.Writer
RWSData.Automaton.Trans.RWS
rwsData.Automaton.Trans.RWS
rwsSData.Automaton.Trans.RWS
RWST 
1 (Type/Class)Data.Automaton.Trans.RWS
2 (Data Constructor)Data.Automaton.Trans.RWS
safe 
1 (Function)Data.Stream.Except
2 (Function)Data.Automaton.Trans.Except
safely 
1 (Function)Data.Stream.Except
2 (Function)Data.Automaton.Trans.Except
selectExcept 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
setJustData.Automaton.Trans.Changeset
setMaybeData.Automaton.Trans.Changeset
setNothingData.Automaton.Trans.Changeset
singleChangeData.Automaton.Trans.Changeset
snapshotData.Stream
StateData.Automaton.Trans.State
state 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.State
3 (Function)Data.Stream
StatefulData.Stream.Optimized
StatelessData.Stream.Optimized
stateSData.Automaton.Trans.State
StateT 
1 (Type/Class)Data.Automaton.Trans.State
2 (Data Constructor)Data.Automaton.Trans.State
step 
1 (Function)Data.Stream
2 (Function)Data.Automaton.Trans.Except
stepAutomatonData.Automaton
stepInstantData.Stream.Except
stepOptimizedStreamData.Stream.Optimized
stepStreamData.Stream
step_Data.Automaton.Trans.Except
StreamExceptData.Stream.Except
streamFilterData.Stream.Filter
StreamT 
1 (Type/Class)Data.Stream
2 (Data Constructor)Data.Stream
streamToListData.Stream
sumFromData.Automaton
sumNData.Automaton
sumSData.Automaton
switchData.Automaton.Trans.Except
taggedData.Automaton.Trans.Except
tell 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Writer
throwData.Automaton.Trans.Except
throwEData.Automaton.Trans.Except
throwMaybeData.Automaton.Trans.Except
throwOnData.Automaton.Trans.Except
throwOn'Data.Automaton.Trans.Except
throwOnCondData.Automaton.Trans.Except
throwOnCondMData.Automaton.Trans.Except
throwOnMaybeData.Automaton.Trans.Except
throwSData.Automaton.Trans.Except
toFilterStreamData.Automaton.Filter
toRecursive 
1 (Function)Data.Stream
2 (Function)Data.Stream.Optimized
3 (Function)Data.Stream.Except
4 (Function)Data.Automaton.Recursive
toStreamT 
1 (Function)Data.Stream.Optimized
2 (Function)Data.Automaton
traverseSData.Automaton
traverseS_Data.Automaton
tryData.Automaton.Trans.Except
UndecidedData.Stream.Internal
unfold 
1 (Function)Data.Stream
2 (Function)Data.Automaton
unfoldMData.Automaton
unfold_ 
1 (Function)Data.Stream
2 (Function)Data.Automaton
untilEData.Automaton.Trans.Except
untilMaybeData.Automaton.Trans.Maybe
unzipResultData.Stream.Result
withAutomatonData.Automaton
withAutomaton_Data.Automaton
withCurrentData.Automaton.Trans.Changeset
withOptimizedData.Stream.Optimized
withOptimizedFData.Stream.Optimized
withReaderData.Automaton.Trans.Reader
withReaderTData.Automaton.Trans.Reader
withRWSData.Automaton.Trans.RWS
withRWSTData.Automaton.Trans.RWS
withSideEffectData.Automaton
withStateData.Automaton.Trans.State
withStateTData.Automaton.Trans.State
withStreamTData.Stream
WriterData.Automaton.Trans.Writer
writer 
1 (Function)Data.Automaton.Trans.RWS
2 (Function)Data.Automaton.Trans.Writer
writerSData.Automaton.Trans.Writer
WriterT 
1 (Type/Class)Data.Automaton.Trans.Writer
2 (Data Constructor)Data.Automaton.Trans.Writer
writerToAccumTData.Automaton.Trans.Accum
|*>Data.Automaton.Trans.Changeset