HaLeX-1.1: HaLeX enables modelling, manipulation and animation of regular languages
Contents
Index
Search:
<$>
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
acc2
Language.HaLex.Examples.Robot
accept
Language.HaLex.FaClasses
beautifyDfa
Language.HaLex.Dfa
beautifyDfaWithSyncSt
Language.HaLex.Dfa
buildLine
Language.HaLex.DfaMonad
cataRegExp
Language.HaLex.RegExp
Code
Language.HaLex.DfaMonad
concatDfa
Language.HaLex.FaOperations
concatFa
Language.HaLex.FaClasses
concatNdfa
Language.HaLex.FaOperations
converte
Language.HaLex.DfaMonad
cre_real
Language.HaLex.Examples.Real
CT
Language.HaLex.FaOperations
d
Language.HaLex.Examples.Real
d'
Language.HaLex.Examples.Real
deadstates
1 (Function)
Language.HaLex.DfaMonad
2 (Function)
Language.HaLex.FaClasses
deadstates'
Language.HaLex.DfaMonad
Delete
Language.HaLex.DfaMonad
deltaNdfa
Language.HaLex.Examples.Real
delta_realdfa
Language.HaLex.Examples.Real
destinationsFrom
Language.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
dfa2DiGraphWithNoSyncSt
Language.HaLex.FaAsDiGraph
dfa2graphviz
Language.HaLex.FaAsDiGraph
dfa2graphviz2file
Language.HaLex.FaAsDiGraph
dfa2MIO
Language.HaLex.Dfa2MDfa
dfa2ndfa
Language.HaLex.FaOperations
dfa2RegExp
Language.HaLex.Fa2RegExp
dfa2tdfa
Language.HaLex.Dfa
dfaaccept
1 (Function)
Language.HaLex.Dfa
2 (Function)
Language.HaLex.DfaMonad
dfaaccept'
Language.HaLex.DfaMonad
dfadeadstates
Language.HaLex.Dfa
dfaDiGraphWithNoSyncStIO
Language.HaLex.FaAsDiGraph
dfaIO
Language.HaLex.Dfa
dfawalk
1 (Function)
Language.HaLex.Dfa
2 (Function)
Language.HaLex.DfaMonad
dfa_int
Language.HaLex.Dfa2MDfa
Empty
Language.HaLex.RegExp
End
Language.HaLex.DfaMonad
Epsilon
Language.HaLex.RegExp
epsilon_closure
Language.HaLex.Ndfa
equiv
Language.HaLex.FaClasses
equivDfa
Language.HaLex.Equivalence
equivNdfa
Language.HaLex.Equivalence
equivRE
Language.HaLex.Equivalence
equivREs
Language.HaLex.Equivalence
ex
Language.HaLex.Examples.Robot
ex2
Language.HaLex.DfaMonad
ex3
Language.HaLex.DfaMonad
ex4
Language.HaLex.DfaMonad
ex5
Language.HaLex.DfaMonad
ex6
Language.HaLex.DfaMonad
expNdfa
Language.HaLex.FaOperations
expo
Language.HaLex.DfaMonad
exShow
Language.HaLex.Examples.Robot
extREtoRE
Language.HaLex.RegExp
ex_int
Language.HaLex.DfaMonad
f
Language.HaLex.Dfa2MDfa
Fa
Language.HaLex.FaClasses
g
Language.HaLex.Examples.Robot
genGraph
Language.HaLex.Examples.Real
genOneArrow
Language.HaLex.FaAsDiGraph
Insert
Language.HaLex.DfaMonad
Instr
Language.HaLex.DfaMonad
intdfa
Language.HaLex.Examples.Real
isreal
Language.HaLex.Examples.Real
isrealNdfa
Language.HaLex.Examples.Real
isStDead
1 (Function)
Language.HaLex.Dfa
2 (Function)
Language.HaLex.DfaMonad
isStSync
Language.HaLex.Dfa
isSyncState
Language.HaLex.DfaMonad
limit
Language.HaLex.Util
Literal
Language.HaLex.RegExp
Locate
Language.HaLex.DfaMonad
lookupCT
Language.HaLex.FaOperations
matches'
Language.HaLex.RegExp
matchesRE
Language.HaLex.RegExp
minimize
Language.HaLex.FaClasses
minimizeDfa
Language.HaLex.Minimize
minimizeExp
Language.HaLex.Minimize
minimizeNdfa
Language.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
ndfa2ct
Language.HaLex.FaOperations
ndfa2dfa
Language.HaLex.FaOperations
ndfa2graphviz
Language.HaLex.FaAsDiGraph
ndfa2graphviz2file
Language.HaLex.FaAsDiGraph
ndfaaccept
Language.HaLex.Ndfa
ndfadeadstates
Language.HaLex.Ndfa
ndfadestinationsFrom
Language.HaLex.Ndfa
ndfaIsStDead
Language.HaLex.Ndfa
ndfanumberIncomingArrows
Language.HaLex.Ndfa
ndfanumberOutgoingArrows
Language.HaLex.Ndfa
ndfareachedStatesFrom
Language.HaLex.Ndfa
ndfaregExpFromTo
Language.HaLex.Fa2RegExp
ndfaTransitionsFromTo
Language.HaLex.Ndfa
ndfawalk
Language.HaLex.Ndfa
numberIncomingArrows
Language.HaLex.Dfa
numberOutgoingArrows
Language.HaLex.Dfa
OneOrMore
Language.HaLex.RegExp
Open
Language.HaLex.DfaMonad
Optional
Language.HaLex.RegExp
Or
Language.HaLex.RegExp
Parser
Language.HaLex.Parser
parseRegExp
Language.HaLex.RegExpParser
permutations
Language.HaLex.Util
plusDfa
Language.HaLex.FaOperations
plusFa
Language.HaLex.FaClasses
plusNdfa
Language.HaLex.FaOperations
pr
Language.HaLex.DfaMonad
re2graphviz
Language.HaLex.RegExpAsDiGraph
re2MDfa
Language.HaLex.Dfa2MDfa
re2MHaskellMod
Language.HaLex.Dfa2MDfa
reachedStatesFrom
Language.HaLex.Dfa
realdfa
Language.HaLex.Examples.Real
realdfa'
Language.HaLex.Examples.Real
realdfa''
Language.HaLex.Examples.Real
realdfa'''
Language.HaLex.Examples.Real
realdfa''''
Language.HaLex.Examples.Real
realndfa
Language.HaLex.Examples.Real
RegExp
Language.HaLex.RegExp
regExp2Dfa
Language.HaLex.RegExp2Fa
regExp2Ndfa
Language.HaLex.RegExp2Fa
regExp2Ndfa'
Language.HaLex.RegExp2Fa
regExpFromTo
Language.HaLex.Fa2RegExp
renameDfa
Language.HaLex.Dfa
renameNdfa
Language.HaLex.Ndfa
reverseDfa
Language.HaLex.Minimize
reverseDfaAsDfa
Language.HaLex.Minimize
reverseFa
Language.HaLex.FaClasses
reverseNdfa
Language.HaLex.Minimize
re_int
Language.HaLex.Examples.Real
re_real
Language.HaLex.Examples.Real
re_real'
Language.HaLex.Examples.Real
robot
Language.HaLex.DfaMonad
robotM
Language.HaLex.Examples.Robot
robotM2
Language.HaLex.Examples.Robot
runAccept
Language.HaLex.DfaMonad
runAccept_ex4
Language.HaLex.DfaMonad
runAccept_ex5
Language.HaLex.DfaMonad
runAccept_ex6
Language.HaLex.DfaMonad
runAccept_int
Language.HaLex.DfaMonad
runAccept_pr
Language.HaLex.DfaMonad
runAccept_te
Language.HaLex.DfaMonad
runDfa
Language.HaLex.DfaMonad
satisfy
Language.HaLex.Parser
Save
Language.HaLex.DfaMonad
showArrows
Language.HaLex.DfaMonad
showAsAccumDfa
Language.HaLex.Dfa2MDfa
showDfa
Language.HaLex.DfaMonad
showDfaDelta
1 (Function)
Language.HaLex.Dfa
2 (Function)
Language.HaLex.DfaMonad
showDfaMDelta
Language.HaLex.Dfa2MDfa
showElemsListPerLine
Language.HaLex.DfaMonad
showFinalStates'
Language.HaLex.DfaMonad
showInDot
Language.HaLex.DfaMonad
showInitialState
Language.HaLex.DfaMonad
showNdfaDelta
Language.HaLex.Ndfa
showRE
Language.HaLex.RegExp
simplifyRegExp
Language.HaLex.RegExp
sinal''
Language.HaLex.Examples.Real
sizeDfa
Language.HaLex.Dfa
sizeFa
Language.HaLex.FaClasses
sizeNdfa
Language.HaLex.Ndfa
sizeRegExp
Language.HaLex.RegExp
Star
Language.HaLex.RegExp
starDfa
Language.HaLex.FaOperations
starFa
Language.HaLex.FaClasses
starNdfa
Language.HaLex.FaOperations
stdMinimizeDfa
Language.HaLex.Minimize
stsDfa
Language.HaLex.FaOperations
succeed
Language.HaLex.Parser
symbol
Language.HaLex.Parser
te
Language.HaLex.DfaMonad
Then
Language.HaLex.RegExp
toGraph
Language.HaLex.FaClasses
toGraphIO
Language.HaLex.FaClasses
tographviz
Language.HaLex.FaAsDiGraph
tographvizIO
Language.HaLex.FaAsDiGraph
toHaskell
Language.HaLex.Ndfa
toHaskell'
Language.HaLex.FaClasses
token
Language.HaLex.Parser
transitionsFromTo
Language.HaLex.Dfa
transitionTableDfa
Language.HaLex.Dfa
transitionTableNdfa
Language.HaLex.Ndfa
ttDfa2Dfa
Language.HaLex.Dfa
ttNdfa2Ndfa
Language.HaLex.Ndfa
unionDfa
Language.HaLex.FaOperations
unionFa
Language.HaLex.FaClasses
unionNdfa
Language.HaLex.FaOperations
varGlob
Language.HaLex.DfaMonad
xpto
Language.HaLex.DfaMonad