HaLeX-1.2.2: HaLeX enables modelling, manipulation and animation of regular languages

Index

<$>Language.HaLex.Parser
<*>Language.HaLex.Parser
<-> 
1 (Function)Language.HaLex.Util
2 (Function)Language.HaLex.DfaMonad
<|>Language.HaLex.Parser
acc 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.Examples.Robot
acc2Language.HaLex.Examples.Robot
acceptLanguage.HaLex.FaClasses
beautifyDfaLanguage.HaLex.Dfa
beautifyDfaWithSyncStLanguage.HaLex.Dfa
buildLineLanguage.HaLex.DfaMonad
cataRegExpLanguage.HaLex.RegExp
CodeLanguage.HaLex.DfaMonad
concatDfaLanguage.HaLex.FaOperations
concatFaLanguage.HaLex.FaClasses
concatNdfaLanguage.HaLex.FaOperations
converteLanguage.HaLex.DfaMonad
cre_realLanguage.HaLex.Examples.Real
CTLanguage.HaLex.FaOperations
dLanguage.HaLex.Examples.Real
d'Language.HaLex.Examples.Real
deadstates 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.FaClasses
deadstates'Language.HaLex.DfaMonad
DeleteLanguage.HaLex.DfaMonad
deltaNdfaLanguage.HaLex.Examples.Real
delta_realdfaLanguage.HaLex.Examples.Real
destinationsFromLanguage.HaLex.Dfa
Dfa 
1 (Type/Class)Language.HaLex.Dfa
2 (Data Constructor)Language.HaLex.Dfa
3 (Type/Class)Language.HaLex.DfaMonad
4 (Data Constructor)Language.HaLex.DfaMonad
dfa2DiGraphWithNoSyncStLanguage.HaLex.FaAsDiGraph
dfa2graphvizLanguage.HaLex.FaAsDiGraph
dfa2graphviz2fileLanguage.HaLex.FaAsDiGraph
dfa2MIOLanguage.HaLex.Dfa2MDfa
dfa2ndfaLanguage.HaLex.FaOperations
dfa2RegExpLanguage.HaLex.Fa2RegExp
dfa2tdfaLanguage.HaLex.Dfa
dfaaccept 
1 (Function)Language.HaLex.Dfa
2 (Function)Language.HaLex.DfaMonad
dfaaccept'Language.HaLex.DfaMonad
dfadeadstatesLanguage.HaLex.Dfa
dfaDiGraphWithNoSyncStIOLanguage.HaLex.FaAsDiGraph
dfaIOLanguage.HaLex.Dfa
dfawalk 
1 (Function)Language.HaLex.Dfa
2 (Function)Language.HaLex.DfaMonad
dfa_intLanguage.HaLex.Dfa2MDfa
EmptyLanguage.HaLex.RegExp
EndLanguage.HaLex.DfaMonad
EpsilonLanguage.HaLex.RegExp
epsilon_closureLanguage.HaLex.Ndfa
equivLanguage.HaLex.FaClasses
equivDfaLanguage.HaLex.Equivalence
equivNdfaLanguage.HaLex.Equivalence
equivRELanguage.HaLex.Equivalence
equivREsLanguage.HaLex.Equivalence
exLanguage.HaLex.Examples.Robot
ex2Language.HaLex.DfaMonad
ex3Language.HaLex.DfaMonad
ex4Language.HaLex.DfaMonad
ex5Language.HaLex.DfaMonad
ex6Language.HaLex.DfaMonad
expNdfaLanguage.HaLex.FaOperations
expoLanguage.HaLex.DfaMonad
exShowLanguage.HaLex.Examples.Robot
extREtoRELanguage.HaLex.RegExp
ex_intLanguage.HaLex.DfaMonad
fLanguage.HaLex.Dfa2MDfa
FaLanguage.HaLex.FaClasses
gLanguage.HaLex.Examples.Robot
genGraphLanguage.HaLex.Examples.Real
genOneArrowLanguage.HaLex.FaAsDiGraph
InsertLanguage.HaLex.DfaMonad
InstrLanguage.HaLex.DfaMonad
intdfaLanguage.HaLex.Examples.Real
isrealLanguage.HaLex.Examples.Real
isrealNdfaLanguage.HaLex.Examples.Real
isStDead 
1 (Function)Language.HaLex.Dfa
2 (Function)Language.HaLex.DfaMonad
isStSyncLanguage.HaLex.Dfa
isSyncStateLanguage.HaLex.DfaMonad
limitLanguage.HaLex.Util
LiteralLanguage.HaLex.RegExp
LocateLanguage.HaLex.DfaMonad
lookupCTLanguage.HaLex.FaOperations
matches'Language.HaLex.RegExp
matchesRELanguage.HaLex.RegExp
minimizeLanguage.HaLex.FaClasses
minimizeDfaLanguage.HaLex.Minimize
minimizeExpLanguage.HaLex.Minimize
minimizeNdfaLanguage.HaLex.Minimize
moves 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.Examples.Robot
moves2 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.Examples.Robot
moves3 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.Examples.Robot
moves4 
1 (Function)Language.HaLex.DfaMonad
2 (Function)Language.HaLex.Examples.Robot
Ndfa 
1 (Type/Class)Language.HaLex.Ndfa
2 (Data Constructor)Language.HaLex.Ndfa
ndfa2ctLanguage.HaLex.FaOperations
ndfa2dfaLanguage.HaLex.FaOperations
ndfa2graphvizLanguage.HaLex.FaAsDiGraph
ndfa2graphviz2fileLanguage.HaLex.FaAsDiGraph
ndfaacceptLanguage.HaLex.Ndfa
ndfadeadstatesLanguage.HaLex.Ndfa
ndfadestinationsFromLanguage.HaLex.Ndfa
ndfaIsStDeadLanguage.HaLex.Ndfa
ndfanumberIncomingArrowsLanguage.HaLex.Ndfa
ndfanumberOutgoingArrowsLanguage.HaLex.Ndfa
ndfareachedStatesFromLanguage.HaLex.Ndfa
ndfaregExpFromToLanguage.HaLex.Fa2RegExp
ndfaTransitionsFromToLanguage.HaLex.Ndfa
ndfawalkLanguage.HaLex.Ndfa
numberIncomingArrowsLanguage.HaLex.Dfa
numberOutgoingArrowsLanguage.HaLex.Dfa
OneOrMoreLanguage.HaLex.RegExp
OpenLanguage.HaLex.DfaMonad
OptionalLanguage.HaLex.RegExp
OrLanguage.HaLex.RegExp
ParserLanguage.HaLex.Parser
parseRegExpLanguage.HaLex.RegExpParser
permutationsLanguage.HaLex.Util
plusDfaLanguage.HaLex.FaOperations
plusFaLanguage.HaLex.FaClasses
plusNdfaLanguage.HaLex.FaOperations
prLanguage.HaLex.DfaMonad
re2graphvizLanguage.HaLex.RegExpAsDiGraph
re2MDfaLanguage.HaLex.Dfa2MDfa
re2MHaskellModLanguage.HaLex.Dfa2MDfa
reachedStatesFromLanguage.HaLex.Dfa
realdfaLanguage.HaLex.Examples.Real
realdfa'Language.HaLex.Examples.Real
realdfa''Language.HaLex.Examples.Real
realdfa'''Language.HaLex.Examples.Real
realdfa''''Language.HaLex.Examples.Real
realndfaLanguage.HaLex.Examples.Real
RegExpLanguage.HaLex.RegExp
regExp2DfaLanguage.HaLex.RegExp2Fa
regExp2NdfaLanguage.HaLex.RegExp2Fa
regExp2Ndfa'Language.HaLex.RegExp2Fa
regExpFromToLanguage.HaLex.Fa2RegExp
renameDfaLanguage.HaLex.Dfa
renameNdfaLanguage.HaLex.Ndfa
reverseDfaLanguage.HaLex.Minimize
reverseDfaAsDfaLanguage.HaLex.Minimize
reverseFaLanguage.HaLex.FaClasses
reverseNdfaLanguage.HaLex.Minimize
re_intLanguage.HaLex.Examples.Real
re_realLanguage.HaLex.Examples.Real
re_real'Language.HaLex.Examples.Real
robotLanguage.HaLex.DfaMonad
robotMLanguage.HaLex.Examples.Robot
robotM2Language.HaLex.Examples.Robot
runAcceptLanguage.HaLex.DfaMonad
runAccept_ex4Language.HaLex.DfaMonad
runAccept_ex5Language.HaLex.DfaMonad
runAccept_ex6Language.HaLex.DfaMonad
runAccept_intLanguage.HaLex.DfaMonad
runAccept_prLanguage.HaLex.DfaMonad
runAccept_teLanguage.HaLex.DfaMonad
runDfaLanguage.HaLex.DfaMonad
satisfyLanguage.HaLex.Parser
SaveLanguage.HaLex.DfaMonad
showArrowsLanguage.HaLex.DfaMonad
showAsAccumDfaLanguage.HaLex.Dfa2MDfa
showDfaLanguage.HaLex.DfaMonad
showDfaDelta 
1 (Function)Language.HaLex.Dfa
2 (Function)Language.HaLex.DfaMonad
showDfaMDeltaLanguage.HaLex.Dfa2MDfa
showElemsListPerLineLanguage.HaLex.DfaMonad
showFinalStates'Language.HaLex.DfaMonad
showInDotLanguage.HaLex.DfaMonad
showInitialStateLanguage.HaLex.DfaMonad
showNdfaDeltaLanguage.HaLex.Ndfa
showRELanguage.HaLex.RegExp
simplifyRegExpLanguage.HaLex.RegExp
sinal''Language.HaLex.Examples.Real
sizeDfaLanguage.HaLex.Dfa
sizeFaLanguage.HaLex.FaClasses
sizeNdfaLanguage.HaLex.Ndfa
sizeRegExpLanguage.HaLex.RegExp
StarLanguage.HaLex.RegExp
starDfaLanguage.HaLex.FaOperations
starFaLanguage.HaLex.FaClasses
starNdfaLanguage.HaLex.FaOperations
stdMinimizeDfaLanguage.HaLex.Minimize
stsDfaLanguage.HaLex.FaOperations
succeedLanguage.HaLex.Parser
symbolLanguage.HaLex.Parser
teLanguage.HaLex.DfaMonad
ThenLanguage.HaLex.RegExp
toGraphLanguage.HaLex.FaClasses
toGraphIOLanguage.HaLex.FaClasses
tographvizLanguage.HaLex.FaAsDiGraph
tographvizIOLanguage.HaLex.FaAsDiGraph
toHaskellLanguage.HaLex.Ndfa
toHaskell'Language.HaLex.FaClasses
tokenLanguage.HaLex.Parser
transitionsFromToLanguage.HaLex.Dfa
transitionTableDfaLanguage.HaLex.Dfa
transitionTableNdfaLanguage.HaLex.Ndfa
ttDfa2DfaLanguage.HaLex.Dfa
ttNdfa2NdfaLanguage.HaLex.Ndfa
unionDfaLanguage.HaLex.FaOperations
unionFaLanguage.HaLex.FaClasses
unionNdfaLanguage.HaLex.FaOperations
varGlobLanguage.HaLex.DfaMonad
xptoLanguage.HaLex.DfaMonad