Index - T
| tail | Language.PiSigma.Pretty |
| take | Language.PiSigma.Pretty |
| tdecl | Language.PiSigma.Evaluate |
| Term | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| Text | Language.PiSigma.Pretty |
| text | Language.PiSigma.Pretty |
| tforce | Language.PiSigma.Syntax |
| tlift | Language.PiSigma.Syntax |
| Tok | |
| 1 (Data Constructor) | Language.PiSigma.Pretty |
| 2 (Type/Class) | Language.PiSigma.Pretty |
| tokAngleLeft | Language.PiSigma.Pretty |
| tokAngleRight | Language.PiSigma.Pretty |
| tokArr | Language.PiSigma.Lexer |
| tokBackslash | Language.PiSigma.Pretty |
| tokBraceLeft | Language.PiSigma.Pretty |
| tokBraceRight | Language.PiSigma.Pretty |
| tokBracketLeft | Language.PiSigma.Pretty |
| tokBracketRight | Language.PiSigma.Pretty |
| tokColon | Language.PiSigma.Pretty |
| tokComma | Language.PiSigma.Pretty |
| tokDot | Language.PiSigma.Pretty |
| tokEquals | Language.PiSigma.Pretty |
| tokForce | Language.PiSigma.Lexer |
| tokLam | Language.PiSigma.Lexer |
| tokLift | Language.PiSigma.Lexer |
| tokNewline | Language.PiSigma.Pretty |
| tokParenLeft | Language.PiSigma.Pretty |
| tokParenRight | Language.PiSigma.Pretty |
| tokQuoteDouble | Language.PiSigma.Pretty |
| tokQuoteSingle | Language.PiSigma.Pretty |
| tokSemi | Language.PiSigma.Pretty |
| tokSpace | Language.PiSigma.Pretty |
| toString | |
| 1 (Function) | Language.PiSigma.Util.String.Parser |
| 2 (Function) | Language.PiSigma.Util.String.Internal |
| tupled | Language.PiSigma.Pretty |
| ty | Language.PiSigma.Syntax |
| Type | |
| 1 (Data Constructor) | Language.PiSigma.Syntax |
| 2 (Type/Class) | Language.PiSigma.Syntax |