Index - T
| T | |
| 1 (Data Constructor) | GrammarType |
| 2 (Data Constructor) | SMType |
| T4 | SMType |
| T9 | SMType |
| Tag | SMType |
| TaggedFormat | Format |
| take | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| takeC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeFromPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeOnly | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeToPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeWhileAntitone | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| TAlpha | SMType |
| Tape | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| tape | |
| 1 (Function) | SMType |
| 2 (Function) | TuringMachine.Interpreter |
| TapeAlphabet | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| TapeCommand | TMType |
| Terminal | |
| 1 (Type/Class) | GrammarType |
| 2 (Data Constructor) | GrammarType |
| terminalValue | GrammarType |
| testingSetTMs | TuringMachine.TMs |
| thd3 | TmsType |
| thirdPhase | TM2SymTM |
| threePhaseProcessing | TM2SymTM |
| TimeAccuracy | Time |
| timeout | Time |
| timeout' | Time |
| Title | |
| 1 (Type/Class) | ShowInfo, TuringMachine.TMs |
| 2 (Data Constructor) | ShowInfo, TuringMachine.TMs |
| title | ShowInfo, TuringMachine.TMs |
| TM | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| tm2sm | TM2SM |
| tm2tms | TM2Tms |
| TMCMD | SMType |
| tmCommand | SMType |
| TMGetter | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Tms | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| tms2turingMachine | Tms2TuringMachine |
| TmsCommand | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TMSetter | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| TmsSingleTapeCommand | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TmsState | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TmsTapeHeadMovement | TmsType |
| TmsTapeSquare | TmsType |
| to | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toAscList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| toDescList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| toLeft | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.Pair |
| 4 (Function) | Containers.Quadruple |
| 5 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 6 (Function) | Containers.PrismMap |
| 7 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toMap | |
| 1 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 2 (Function) | Containers.PrismMap |
| TOmega | SMType |
| top | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| toPair | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| toRight | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toState | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toStrQ | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toSymbol | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toTmsCommand | TmsType |
| toZipList | |
| 1 (Function) | Containers.Pair |
| 2 (Function) | Containers.Quadruple |
| transitionRelations | SM2GR |
| Traversal' | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| traverseMaybeWithKey | Containers.Map |
| traverseWithKey | Containers.Map |
| TuringMachine | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| turingMachine | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| turingMachine2tms | TuringMachine2Tms |
| turingMachineSt2tmsSt | TuringMachine2Tms |