| anyChar | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| 5 (Function) | Kleene.Functor |
| 6 (Function) | Kleene.Functor.NonEmpty |
| appends | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| char | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| 5 (Function) | Kleene.Functor |
| 6 (Function) | Kleene.Functor.NonEmpty |
| CharKleene | Kleene.Classes, Kleene |
| charRange | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| 5 (Function) | Kleene.Functor |
| 6 (Function) | Kleene.Functor.NonEmpty |
| Complement | Kleene.Classes, Kleene |
| complement | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.ERE |
| Derivate | Kleene.Classes, Kleene |
| derivate | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| DFA | |
| 1 (Type/Class) | Kleene.DFA, Kleene |
| 2 (Data Constructor) | Kleene.DFA, Kleene |
| dfaAcceptable | Kleene.DFA, Kleene |
| dfaBlackholes | Kleene.DFA, Kleene |
| dfaInitial | Kleene.DFA, Kleene |
| dfaTransition | Kleene.DFA, Kleene |
| dot | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.Functor |
| 3 (Function) | Kleene.Functor.NonEmpty |
| dotRSet | Kleene.Internal.Sets |
| empty | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| eps | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| Equiv | |
| 1 (Type/Class) | Kleene.Equiv, Kleene |
| 2 (Data Constructor) | Kleene.Equiv, Kleene |
| Equivalent | Kleene.Classes |
| equivalent | |
| 1 (Function) | Kleene.Classes |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| ERE | Kleene.ERE, Kleene |
| EREAppend | Kleene.ERE |
| EREChars | Kleene.ERE |
| ERENot | Kleene.ERE |
| EREStar | Kleene.ERE |
| EREUnion | Kleene.ERE |
| everything | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.Functor |
| everything1 | |
| 1 (Function) | Kleene.Functor |
| 2 (Function) | Kleene.Functor.NonEmpty |
| examples | Kleene.Internal.Partition |
| few | Kleene.Functor |
| FiniteKleene | Kleene.Classes, Kleene |
| fromERE | Kleene.DFA |
| fromRE | |
| 1 (Function) | Kleene.ERE |
| 2 (Function) | Kleene.DFA |
| 3 (Function) | Kleene.Functor |
| fromRSet | |
| 1 (Function) | Kleene.Internal.Partition |
| 2 (Function) | Kleene.Classes, Kleene |
| fromRSets | Kleene.Internal.Partition |
| fromSeparators | Kleene.Internal.Partition |
| fromTM | Kleene.DFA, Kleene |
| fromTMEquiv | Kleene.DFA, Kleene |
| generate | |
| 1 (Function) | Kleene.RE |
| 2 (Function) | Kleene.Monad |
| Greediness | Kleene.Functor, Kleene.Functor.NonEmpty |
| Greedy | Kleene.Functor, Kleene.Functor.NonEmpty |
| intersections | Kleene.ERE |
| intervals | Kleene.Internal.Partition |
| invariant | Kleene.Internal.Partition |
| isEmpty | |
| 1 (Function) | Kleene.RE |
| 2 (Function) | Kleene.ERE |
| 3 (Function) | Kleene.Monad |
| 4 (Function) | Kleene.Functor |
| 5 (Function) | Kleene.Functor.NonEmpty |
| isEps | Kleene.Monad |
| isEverything | |
| 1 (Function) | Kleene.ERE |
| 2 (Function) | Kleene.Functor |
| 3 (Function) | Kleene.Functor.NonEmpty |
| K | Kleene.Functor, Kleene |
| K1 | Kleene.Functor.NonEmpty |
| Kleene | Kleene.Classes, Kleene |
| leadingChars | |
| 1 (Function) | Kleene.RE |
| 2 (Function) | Kleene.ERE |
| M | Kleene.Monad |
| MAppend | Kleene.Monad |
| Match | Kleene.Classes, Kleene |
| match | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.Functor |
| 3 (Function) | Kleene.Functor.NonEmpty |
| match8 | Kleene.Classes, Kleene |
| MChars | Kleene.Monad |
| MStar | Kleene.Monad |
| MUnion | Kleene.Monad |
| NonGreedy | Kleene.Functor, Kleene.Functor.NonEmpty |
| notChar | Kleene.Classes, Kleene |
| nullable | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| nullableProof | |
| 1 (Function) | Kleene.RE |
| 2 (Function) | Kleene.Functor.NonEmpty |
| oneof | |
| 1 (Function) | Kleene.Classes |
| 2 (Function) | Kleene.Functor |
| 3 (Function) | Kleene.Functor.NonEmpty |
| Partition | |
| 1 (Type/Class) | Kleene.Internal.Partition |
| 2 (Data Constructor) | Kleene.Internal.Partition |
| Pretty | Kleene.Internal.Pretty |
| pretty | Kleene.Internal.Pretty |
| prettyS | Kleene.Internal.Pretty |
| putPretty | Kleene.Internal.Pretty |
| RE | Kleene.RE, Kleene |
| REAppend | Kleene.RE |
| REChars | Kleene.RE |
| REStar | Kleene.RE |
| REUnion | Kleene.RE |
| size | Kleene.Internal.Partition |
| some1 | Kleene.Functor.NonEmpty |
| split | Kleene.Internal.Partition |
| star | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| string | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| 5 (Function) | Kleene.Functor.NonEmpty |
| toDot | Kleene.DFA, Kleene |
| toDot' | Kleene.DFA |
| toERE | Kleene.DFA |
| toKleene | |
| 1 (Function) | Kleene.DFA, Kleene |
| 2 (Function) | Kleene.Monad |
| 3 (Function) | Kleene.Functor |
| 4 (Function) | Kleene.Functor.NonEmpty |
| ToLatin1 | Kleene.Classes, Kleene |
| toLatin1 | Kleene.Classes, Kleene |
| toRA | |
| 1 (Function) | Kleene.Functor |
| 2 (Function) | Kleene.Functor.NonEmpty |
| toRE | |
| 1 (Function) | Kleene.DFA |
| 2 (Function) | Kleene.Functor |
| 3 (Function) | Kleene.Functor.NonEmpty |
| toSF | Kleene.Internal.Partition |
| TransitionMap | Kleene.Classes, Kleene |
| transitionMap | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| unions | |
| 1 (Function) | Kleene.Classes, Kleene |
| 2 (Function) | Kleene.RE |
| 3 (Function) | Kleene.ERE |
| 4 (Function) | Kleene.Monad |
| unPartition | Kleene.Internal.Partition |
| wedge | Kleene.Internal.Partition |
| whole | Kleene.Internal.Partition |