| acceptState | Language.UTM.Syntax |
| Action | Language.UTM.Syntax |
| blankSymbol | Language.UTM.Syntax |
| Bottom | Language.PCPL.Solver |
| compileTM | Language.PCPL.CompileTM, Language.PCPL |
| compileTM' | Language.PCPL.CompileTM, Language.PCPL |
| ComputationHistory | Language.UTM.Syntax |
| Configuration | |
| 1 (Type/Class) | Language.PCPL.Solver |
| 2 (Data Constructor) | Language.UTM.Syntax |
| 3 (Type/Class) | Language.UTM.Syntax |
| Domino | |
| 1 (Data Constructor) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Type/Class) | Language.PCPL.Syntax, Language.PCPL |
| dominos | Language.PCPL.Syntax, Language.PCPL |
| Input | Language.UTM.Syntax |
| inputAlphabet | Language.UTM.Syntax |
| L | Language.UTM.Syntax |
| Node | |
| 1 (Data Constructor) | Language.PCPL.Solver |
| 2 (Type/Class) | Language.PCPL.Solver |
| parensMatcher | Language.PCPL |
| PCP | Language.PCPL.Solver |
| Pretty | Language.PCPL.Pretty, Language.PCPL |
| pretty | Language.PCPL.Pretty, Language.PCPL |
| Program | |
| 1 (Data Constructor) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Type/Class) | Language.PCPL.Syntax, Language.PCPL |
| R | Language.UTM.Syntax |
| rejectState | Language.UTM.Syntax |
| runProgram | Language.PCPL |
| search | Language.PCPL.Solver |
| separator | Language.PCPL.Syntax, Language.PCPL |
| Seperator | Language.PCPL.CompileTM, Language.PCPL |
| startDomino | Language.PCPL.Syntax, Language.PCPL |
| startState | Language.UTM.Syntax |
| State | |
| 1 (Data Constructor) | Language.UTM.Syntax |
| 2 (Type/Class) | Language.UTM.Syntax |
| Symbol | |
| 1 (Type/Class) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Data Constructor) | Language.UTM.Syntax |
| 3 (Type/Class) | Language.UTM.Syntax |
| syms | |
| 1 (Function) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Function) | Language.UTM.Syntax |
| Tape | |
| 1 (Data Constructor) | Language.UTM.Syntax |
| 2 (Type/Class) | Language.UTM.Syntax |
| tapeAlphabet | Language.UTM.Syntax |
| Top | Language.PCPL.Solver |
| topString | Language.PCPL |
| TransitionFunction | Language.UTM.Syntax |
| transitionFunction | Language.UTM.Syntax |
| TuringMachine | |
| 1 (Data Constructor) | Language.UTM.Syntax |
| 2 (Type/Class) | Language.UTM.Syntax |
| unaryAdder | Language.PCPL |
| unsyms | |
| 1 (Function) | Language.PCPL.Syntax, Language.PCPL |
| 2 (Function) | Language.UTM.Syntax |
| updateConf | Language.PCPL.Solver |