Index
| accepts | LTK.FSA, LTK |
| acyclicPaths | LTK.Traversals, LTK |
| allS | LTK.Containers, LTK.FSA, LTK |
| alphabet | LTK.Containers, LTK.FSA, LTK |
| anyS | LTK.Containers, LTK.FSA, LTK |
| ATT | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| attestedAlphabet | LTK.Extract.SP, LTK.Extract, LTK |
| attestedUnits | LTK.Extract.SL, LTK.Extract, LTK |
| ATTO | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| augmentG | LTK.Learn.StringExt |
| augmentSE | LTK.Learn.StringExt |
| autDifference | LTK.FSA, LTK |
| autInfiltration | LTK.FSA, LTK |
| autShuffle | LTK.FSA, LTK |
| both | LTK.Containers, LTK.FSA, LTK |
| boundedCycleExtensions | LTK.Traversals, LTK |
| brzozowskiDerivative | LTK.FSA, LTK |
| build | LTK.Factors, LTK |
| buildFSA | LTK.Extract.SL, LTK.Extract, LTK |
| buildLiteral | LTK.Factors, LTK |
| choose | LTK.Containers, LTK.FSA, LTK |
| chooseOne | LTK.Containers, LTK.FSA, LTK |
| collapse | LTK.Containers, LTK.FSA, LTK |
| Collapsible | LTK.Containers, LTK.FSA, LTK |
| compileEnv | LTK.Porters.Pleb |
| complement | LTK.FSA, LTK |
| complementDeterministic | LTK.FSA, LTK |
| comTest | LTK.Decide.Acom |
| Conjunction | |
| 1 (Type/Class) | LTK.Factors, LTK |
| 2 (Data Constructor) | LTK.Factors, LTK |
| Container | LTK.Containers, LTK.FSA, LTK |
| contains | LTK.Containers, LTK.FSA, LTK |
| contractAlphabetTo | LTK.FSA, LTK |
| coresidue | LTK.FSA, LTK |
| Corpus | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| DecreasingSize | |
| 1 (Type/Class) | LTK.Containers, LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK |
| depth | LTK.Traversals, LTK |
| desemantify | LTK.FSA, LTK |
| destination | LTK.FSA, LTK |
| determinize | LTK.FSA, LTK |
| Dictionary | LTK.Porters.Pleb |
| difference | LTK.Containers, LTK.FSA, LTK |
| discardOne | LTK.Containers, LTK.FSA, LTK |
| Disjunction | |
| 1 (Type/Class) | LTK.Factors, LTK |
| 2 (Data Constructor) | LTK.Factors, LTK |
| doesNotContain | LTK.Containers, LTK.FSA, LTK |
| doParse | LTK.Porters.Pleb |
| doStatements | LTK.Porters.Pleb |
| Dot | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| edgeLabel | LTK.FSA, LTK |
| EggBox | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| embedSymbolsATT | LTK.Porters.ATT |
| emblock | LTK.Algebra |
| emee | LTK.Algebra |
| empty | LTK.Containers, LTK.FSA, LTK |
| emptyG | LTK.Learn.StringExt |
| emptyLanguage | LTK.FSA, LTK |
| emptyWithAlphabet | LTK.FSA, LTK |
| endstate | LTK.Traversals, LTK |
| Env | LTK.Porters.Pleb |
| Epsilon | LTK.FSA, LTK |
| ese | LTK.Algebra |
| Exportable | LTK.Porters, LTK |
| exportATT | LTK.Porters.ATT |
| Expr | LTK.Porters.Pleb |
| extendAlphabetTo | LTK.FSA, LTK |
| extensions | LTK.Traversals, LTK |
| extractMonotonic | LTK.Containers, LTK.FSA, LTK |
| extractSymbolsATT | LTK.Porters.ATT |
| Factor | LTK.Factors, LTK |
| factorsFromPaths | LTK.Extract.SL, LTK.Extract, LTK |
| Final | LTK.Extract.SL, LTK.Extract, LTK |
| finalPaths | LTK.Extract.SL, LTK.Extract, LTK |
| finals | LTK.FSA, LTK |
| flatInfiltration | LTK.FSA, LTK |
| flatIntersection | LTK.FSA, LTK |
| flatShuffle | LTK.FSA, LTK |
| flatUnion | LTK.FSA, LTK |
| follow | LTK.FSA, LTK |
| forbidden | LTK.Factors, LTK |
| forbiddenFinals | LTK.Extract.SL, LTK.Extract, LTK |
| forbiddenFrees | LTK.Extract.SL, LTK.Extract, LTK |
| forbiddenInitials | LTK.Extract.SL, LTK.Extract, LTK |
| ForbiddenPaths | |
| 1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK |
| 2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK |
| ForbiddenSubsequences | |
| 1 (Type/Class) | LTK.Extract.SP, LTK.Extract, LTK |
| 2 (Data Constructor) | LTK.Extract.SP, LTK.Extract, LTK |
| forbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
| ForbiddenSubstrings | |
| 1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK |
| 2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK |
| forbiddenSubstrings | LTK.Extract.SL, LTK.Extract, LTK |
| forbiddenTierSubstrings | LTK.Extract.TSL, LTK.Extract, LTK |
| forbiddenWords | LTK.Extract.SL, LTK.Extract, LTK |
| forceAlphabetTo | LTK.FSA, LTK |
| formatSet | LTK.Porters, LTK |
| Free | LTK.Extract.SL, LTK.Extract, LTK |
| freePaths | LTK.Extract.SL, LTK.Extract, LTK |
| from | LTK.Porters, LTK |
| fromAutomaton | LTK.Porters.Pleb |
| fromCollapsible | LTK.Containers, LTK.FSA, LTK |
| fromE | LTK.Porters, LTK |
| fromFSA | LTK.Porters, LTK |
| fromSemanticAutomaton | LTK.Porters.Pleb |
| FSA | |
| 1 (Type/Class) | LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.FSA, LTK |
| fsaFromForbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
| fSL | LTK.Learn.SL |
| fSP | LTK.Learn.SP |
| fTSL | |
| 1 (Function) | LTK.Learn.TSL.AugmentedSubsequences |
| 2 (Function) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL |
| genFSA | LTK.Learn.StringExt |
| getDecreasing | LTK.Containers, LTK.FSA, LTK |
| getIncreasing | LTK.Containers, LTK.FSA, LTK |
| getSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
| Grammar | LTK.Learn.StringExt |
| groundEnv | LTK.Porters.Pleb |
| groupBy | LTK.Containers, LTK.FSA, LTK |
| HasAlphabet | LTK.Containers, LTK.FSA, LTK |
| headAnchored | LTK.Factors, LTK |
| hEquivalence | LTK.FSA, LTK |
| idempotents | LTK.Algebra |
| Importable | LTK.Porters, LTK |
| IncreasingSize | |
| 1 (Type/Class) | LTK.Containers, LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK |
| Initial | LTK.Extract.SL, LTK.Extract, LTK |
| initialPaths | LTK.Extract.SL, LTK.Extract, LTK |
| initials | LTK.FSA, LTK |
| initialsNDPath | LTK.Traversals, LTK |
| initialsPaths | LTK.Traversals, LTK |
| insert | LTK.Containers, LTK.FSA, LTK |
| insertExpr | LTK.Porters.Pleb |
| interleave | LTK.Containers, LTK.FSA, LTK |
| intersectAll | LTK.Containers, LTK.FSA, LTK |
| intersection | LTK.Containers, LTK.FSA, LTK |
| invertATT | LTK.Porters.ATT |
| isAcom | LTK.Decide.Acom, LTK.Decide, LTK |
| isAcomM | LTK.Decide.Acom, LTK.DecideM |
| isAcyclic | LTK.Traversals, LTK |
| isB | LTK.Decide.B, LTK.Decide, LTK |
| isBM | LTK.Decide.B, LTK.DecideM |
| isCB | LTK.Decide.CB, LTK.Decide, LTK |
| isCBM | LTK.Decide.CB, LTK.DecideM |
| isCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isCofiniteM | LTK.Decide.Finite, LTK.DecideM |
| isCommutative | LTK.Algebra |
| isDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isDefM | LTK.Decide.Definite, LTK.DecideM |
| isDeterministic | LTK.FSA, LTK |
| isEmpty | LTK.Containers, LTK.FSA, LTK |
| isFinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isFiniteM | LTK.Decide.Finite, LTK.DecideM |
| isFO2 | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2B | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2BF | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2BFM | LTK.Decide.FO2, LTK.DecideM |
| isFO2BM | LTK.Decide.FO2, LTK.DecideM |
| isFO2M | LTK.Decide.FO2, LTK.DecideM |
| isFO2S | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2SM | LTK.Decide.FO2, LTK.DecideM |
| isGD | LTK.Decide.GD, LTK.Decide, LTK |
| isGDM | LTK.Decide.GD, LTK.DecideM |
| isGLPT | LTK.Decide.GLPT, LTK.Decide, LTK |
| isGLPTM | LTK.Decide.GLPT, LTK.DecideM |
| isGLT | LTK.Decide.GLT, LTK.Decide, LTK |
| isGLTM | LTK.Decide.GLT, LTK.DecideM |
| isIn | LTK.Containers, LTK.FSA, LTK |
| isize | LTK.Containers, LTK.FSA, LTK |
| isLAcom | LTK.Decide.LAcom, LTK.Decide, LTK |
| isLAcomM | LTK.Decide.LAcom, LTK.DecideM |
| isLB | LTK.Decide.B, LTK.Decide, LTK |
| isLBM | LTK.Decide.B, LTK.DecideM |
| isLPT | LTK.Decide.LPT, LTK.Decide, LTK |
| isLPTM | LTK.Decide.LPT, LTK.DecideM |
| isLT | LTK.Decide.LT, LTK.Decide, LTK |
| isLTM | LTK.Decide.LT, LTK.DecideM |
| isLTT | LTK.Decide.LTT, LTK.Decide, LTK |
| isLTTM | LTK.Decide.LTT, LTK.DecideM |
| isMTDef | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTDefM | LTK.Decide.Multitier, LTK.DecideM |
| isMTF | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTFM | LTK.Decide.Multitier, LTK.DecideM |
| isMTGD | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTGDM | LTK.Decide.Multitier, LTK.DecideM |
| isMTRDef | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTRDefM | LTK.Decide.Multitier, LTK.DecideM |
| isNotIn | LTK.Containers, LTK.FSA, LTK |
| isNull | LTK.FSA, LTK |
| isProperSubsetOf | LTK.Containers, LTK.FSA, LTK |
| isProperSupersetOf | LTK.Containers, LTK.FSA, LTK |
| isPT | LTK.Decide.PT, LTK.Decide, LTK |
| isPTM | LTK.Decide.PT, LTK.DecideM |
| isRDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isRDefM | LTK.Decide.Definite, LTK.DecideM |
| isRecognizedBy | LTK.Learn.StringExt |
| isSF | LTK.Decide.SF, LTK.Decide, LTK |
| isSFM | LTK.Decide.SF, LTK.DecideM |
| isSL | LTK.Extract.SL, LTK.Decide.SL, LTK.Decide, LTK |
| isSP | LTK.Extract.SP, LTK.Decide.SP, LTK.Decide, LTK |
| isSSQ | LTK.Extract.SP, LTK.Extract, LTK |
| isSubGOf | LTK.Learn.StringExt |
| isSubsetOf | LTK.Containers, LTK.FSA, LTK |
| isSupersetOf | LTK.Containers, LTK.FSA, LTK |
| isTCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isTCofiniteM | LTK.Decide.Finite, LTK.DecideM |
| isTDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isTDefM | LTK.Decide.Definite, LTK.DecideM |
| isTFinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isTFiniteM | LTK.Decide.Finite, LTK.DecideM |
| isTGD | LTK.Decide.GD, LTK.Decide, LTK |
| isTGDM | LTK.Decide.GD, LTK.DecideM |
| isTLAcom | LTK.Decide.TLAcom, LTK.Decide, LTK |
| isTLAcomM | LTK.Decide.TLAcom, LTK.DecideM |
| isTLB | LTK.Decide.B, LTK.Decide, LTK |
| isTLBM | LTK.Decide.B, LTK.DecideM |
| isTLPT | LTK.Decide.TLPT, LTK.Decide, LTK |
| isTLPTM | LTK.Decide.TLPT, LTK.DecideM |
| isTLT | LTK.Decide.TLT, LTK.Decide, LTK |
| isTLTM | LTK.Decide.TLT, LTK.DecideM |
| isTLTT | LTK.Decide.TLTT, LTK.Decide, LTK |
| isTLTTM | LTK.Decide.TLTT, LTK.DecideM |
| isTRDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isTRDefM | LTK.Decide.Definite, LTK.DecideM |
| isTrivial | LTK.Decide.Trivial, LTK.Decide, LTK |
| isTSL | LTK.Decide.TSL, LTK.Decide, LTK |
| isVariety | LTK.Decide.Variety, LTK.Decide, LTK |
| isVarietyM | LTK.Decide.Variety, LTK.DecideM |
| Jeff | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| jEquivalence | LTK.FSA, LTK |
| keep | LTK.Containers, LTK.FSA, LTK |
| kleeneClosure | LTK.FSA, LTK |
| labels | LTK.Traversals, LTK |
| learn | LTK.Learn.StringExt |
| Linearizable | LTK.Containers, LTK.FSA, LTK |
| Literal | |
| 1 (Type/Class) | LTK.Factors, LTK |
| 2 (Data Constructor) | LTK.Factors, LTK |
| loopify | LTK.FSA, LTK |
| makeAutomaton | LTK.Porters.Pleb |
| makeConstraint | LTK.Factors, LTK |
| me | LTK.Algebra |
| minimize | LTK.FSA, LTK |
| minimizeDeterministic | LTK.FSA, LTK |
| minimizeOver | LTK.FSA, LTK |
| multiplicities | LTK.Containers, LTK.FSA, LTK |
| multiplicity | LTK.Containers, LTK.FSA, LTK |
| Multiset | LTK.Containers, LTK.FSA, LTK |
| multisetFromList | LTK.Containers, LTK.FSA, LTK |
| nerode | LTK.FSA, LTK |
| neutralize | LTK.FSA, LTK |
| nodeLabel | LTK.FSA, LTK |
| nondeterministicAcyclicExtensions | LTK.Traversals, LTK |
| normalize | LTK.FSA, LTK |
| omega | LTK.Algebra |
| Parse | |
| 1 (Type/Class) | LTK.Porters.Pleb |
| 2 (Data Constructor) | LTK.Porters.Pleb |
| parseExpr | LTK.Porters.Pleb |
| partitionBy | LTK.Containers, LTK.FSA, LTK |
| Path | |
| 1 (Type/Class) | LTK.Traversals, LTK |
| 2 (Data Constructor) | LTK.Traversals, LTK |
| Pleb | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| powersetGraph | LTK.FSA, LTK |
| primitiveIdeal2 | LTK.FSA, LTK |
| primitiveIdealL | LTK.FSA, LTK |
| primitiveIdealR | LTK.FSA, LTK |
| project | LTK.Tiers, LTK |
| quotLeft | LTK.FSA, LTK |
| quotMid | LTK.FSA, LTK |
| quotRight | LTK.FSA, LTK |
| readATT | LTK.Porters.ATT |
| readCorpus | LTK.Porters.Corpus |
| readPleb | LTK.Porters.Pleb |
| refinePartitionBy | LTK.Containers, LTK.FSA, LTK |
| rejectingPaths | LTK.Traversals, LTK |
| renameStates | LTK.FSA, LTK |
| renameStatesBy | LTK.FSA, LTK |
| renameSymbolsBy | LTK.FSA, LTK |
| required | LTK.Factors, LTK |
| residue | LTK.FSA, LTK |
| restrictUniverse | LTK.Porters.Pleb |
| reverse | LTK.FSA, LTK |
| semanticallyExtendAlphabetTo | LTK.FSA, LTK |
| sequencesOver | LTK.Containers, LTK.FSA, LTK |
| setFromMultiset | LTK.Containers, LTK.FSA, LTK |
| sigma | LTK.FSA, LTK |
| singleton | LTK.Containers, LTK.FSA, LTK |
| singletonLanguage | LTK.FSA, LTK |
| singletonWithAlphabet | LTK.FSA, LTK |
| size | LTK.Containers, LTK.FSA, LTK |
| SLG | |
| 1 (Type/Class) | LTK.Learn.SL |
| 2 (Data Constructor) | LTK.Learn.SL |
| slg | LTK.Learn.SL |
| slgAlpha | LTK.Learn.SL |
| slgK | LTK.Learn.SL |
| slQ | LTK.Extract.SL, LTK.Extract, LTK |
| source | LTK.FSA, LTK |
| SPG | LTK.Learn.SP |
| State | |
| 1 (Type/Class) | LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.FSA, LTK |
| stateMultiset | LTK.Traversals, LTK |
| states | LTK.FSA, LTK |
| Subsequence | LTK.Factors, LTK |
| subsequenceClosure | LTK.Extract.SP, LTK.Extract, LTK |
| Substring | LTK.Factors, LTK |
| substring | LTK.Factors, LTK |
| Symbol | |
| 1 (Type/Class) | LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.FSA, LTK |
| symmetricDifference | LTK.Containers, LTK.FSA, LTK |
| SymSet | LTK.Porters.Pleb |
| SynMon | LTK.Algebra |
| syntacticMonoid | LTK.FSA, LTK |
| SyntacticOrder | |
| 1 (Type/Class) | LTK.Porters, LTK |
| 2 (Data Constructor) | LTK.Porters, LTK |
| syntacticOrder | LTK.Algebra |
| TaggedSubstring | LTK.Extract.SL, LTK.Extract, LTK |
| tailAnchored | LTK.Factors, LTK |
| tier | LTK.Tiers, LTK |
| tierify | LTK.FSA, LTK |
| tmap | LTK.Containers, LTK.FSA, LTK |
| to | LTK.Porters, LTK |
| toFSA | LTK.Porters, LTK |
| Token | LTK.Porters.Pleb |
| tokenize | LTK.Porters.Pleb |
| totalWithAlphabet | LTK.FSA, LTK |
| tr | LTK.Containers, LTK.FSA, LTK |
| Transition | |
| 1 (Type/Class) | LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.FSA, LTK |
| transitions | LTK.FSA, LTK |
| transliterate | LTK.Porters, LTK |
| transliterateString | LTK.Porters, LTK |
| trimUnreachables | LTK.FSA, LTK |
| trivialUnder | LTK.FSA, LTK |
| TSLG | |
| 1 (Type/Class) | LTK.Learn.TSL.AugmentedSubsequences |
| 2 (Type/Class) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL |
| Type | LTK.Porters, LTK |
| union | LTK.Containers, LTK.FSA, LTK |
| unionAll | LTK.Containers, LTK.FSA, LTK |
| unsymbols | LTK.FSA, LTK |
| untransliterate | LTK.Porters, LTK |
| untransliterateString | LTK.Porters, LTK |
| Word | LTK.Extract.SL, LTK.Extract, LTK |
| word | LTK.Traversals, LTK |
| zsize | LTK.Containers, LTK.FSA, LTK |