kleene-0: Kleene algebra

Index

anyChar 
1 (Function)Kleene.Classes
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
5 (Function)Kleene.Functor
appends 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
char 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
5 (Function)Kleene.Functor
charRange 
1 (Function)Kleene.Classes
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
5 (Function)Kleene.Functor
ComplementKleene.Classes, Kleene
complement 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
DerivateKleene.Classes, Kleene
derivate 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
DFA 
1 (Type/Class)Kleene.DFA, Kleene
2 (Data Constructor)Kleene.DFA, Kleene
dfaAcceptableKleene.DFA, Kleene
dfaBlackholesKleene.DFA, Kleene
dfaTransitionKleene.DFA, Kleene
dot 
1 (Function)Kleene.Classes
2 (Function)Kleene.Functor
dotRSetKleene.Internal.Sets
empty 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
eps 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
Equiv 
1 (Type/Class)Kleene.Equiv, Kleene
2 (Data Constructor)Kleene.Equiv, Kleene
EquivalentKleene.Classes
equivalent 
1 (Function)Kleene.Classes
2 (Function)Kleene.ERE
3 (Function)Kleene.RE
EREKleene.ERE, Kleene
EREAppendKleene.ERE
ERECharsKleene.ERE
ERENotKleene.ERE
EREStarKleene.ERE
EREUnionKleene.ERE
everything 
1 (Function)Kleene.Classes
2 (Function)Kleene.Functor
everything1Kleene.Functor
examplesKleene.Internal.Partition
fewKleene.Functor
FiniteKleeneKleene.Classes
fromEREKleene.DFA
fromRE 
1 (Function)Kleene.Functor
2 (Function)Kleene.DFA
fromRSet 
1 (Function)Kleene.Internal.Partition
2 (Function)Kleene.Classes
fromRSetsKleene.Internal.Partition
fromSeparatorsKleene.Internal.Partition
fromTMKleene.DFA, Kleene
fromTMEquivKleene.DFA, Kleene
generate 
1 (Function)Kleene.Monad
2 (Function)Kleene.RE
GreedinessKleene.Functor
GreedyKleene.Functor
intersectionsKleene.ERE
intervalsKleene.Internal.Partition
invariantKleene.Internal.Partition
isEmpty 
1 (Function)Kleene.ERE
2 (Function)Kleene.Monad
3 (Function)Kleene.RE
4 (Function)Kleene.Functor
isEpsKleene.Monad
isEverything 
1 (Function)Kleene.ERE
2 (Function)Kleene.Functor
KKleene.Functor, Kleene
KleeneKleene.Classes, Kleene
leadingChars 
1 (Function)Kleene.ERE
2 (Function)Kleene.RE
MKleene.Monad
MAppendKleene.Monad
MatchKleene.Classes, Kleene
match 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.Functor
MCharsKleene.Monad
MStarKleene.Monad
MUnionKleene.Monad
NonGreedyKleene.Functor
nullable 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
oneof 
1 (Function)Kleene.Classes
2 (Function)Kleene.Functor
Partition 
1 (Type/Class)Kleene.Internal.Partition
2 (Data Constructor)Kleene.Internal.Partition
PrettyKleene.Internal.Pretty
prettyKleene.Internal.Pretty
prettySKleene.Internal.Pretty
putPrettyKleene.Internal.Pretty
REKleene.RE, Kleene
REAppendKleene.RE
RECharsKleene.RE
REStarKleene.RE
REUnionKleene.RE
sizeKleene.Internal.Partition
splitKleene.Internal.Partition
star 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
string 
1 (Function)Kleene.ERE
2 (Function)Kleene.Monad
3 (Function)Kleene.RE
toEREKleene.DFA
toKleene 
1 (Function)Kleene.Monad
2 (Function)Kleene.Functor
3 (Function)Kleene.DFA, Kleene
toRAKleene.Functor
toRE 
1 (Function)Kleene.Functor
2 (Function)Kleene.DFA
toSFKleene.Internal.Partition
TransitionMapKleene.Classes, Kleene
transitionMap 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.RE
unions 
1 (Function)Kleene.Classes, Kleene
2 (Function)Kleene.ERE
3 (Function)Kleene.Monad
4 (Function)Kleene.RE
unPartitionKleene.Internal.Partition
wedgeKleene.Internal.Partition
wholeKleene.Internal.Partition