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 |