Index
| -*- | Language.PiSigma.Syntax |
| ->- | Language.PiSigma.Syntax |
| :.. | Language.PiSigma.Syntax |
| <$$> | Language.PiSigma.Pretty |
| <$> | Language.PiSigma.Pretty |
| <+> | Language.PiSigma.Pretty |
| <//> | Language.PiSigma.Pretty |
| </> | Language.PiSigma.Pretty |
| <> | Language.PiSigma.Pretty |
| align | Language.PiSigma.Pretty |
| angleLeft | Language.PiSigma.Pretty |
| angleRight | Language.PiSigma.Pretty |
| angles | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| App | Language.PiSigma.Syntax |
| append | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Util.String.Parser |
| 3 (Function) | Language.PiSigma.Util.String.Internal |
| backslash | Language.PiSigma.Pretty |
| beside | Language.PiSigma.Pretty |
| Bind | Language.PiSigma.Syntax |
| black | Language.PiSigma.Pretty |
| blue | Language.PiSigma.Pretty |
| bold | Language.PiSigma.Pretty |
| Box | Language.PiSigma.Syntax |
| Boxed | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| braceLeft | Language.PiSigma.Pretty |
| braceRight | Language.PiSigma.Pretty |
| braces | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| bracketLeft | Language.PiSigma.Pretty |
| bracketRight | Language.PiSigma.Pretty |
| brackets | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| Case | Language.PiSigma.Syntax |
| Cat | Language.PiSigma.Pretty |
| cat | Language.PiSigma.Pretty |
| catchE | Language.PiSigma.Evaluate |
| Char | Language.PiSigma.Pretty |
| char | Language.PiSigma.Pretty |
| charLiteral | Language.PiSigma.Lexer |
| checkProg | Language.PiSigma.Check |
| chunk | Language.PiSigma.Pretty |
| Clos | Language.PiSigma.Syntax |
| Closure | |
| 1 (Data Constructor) | Language.PiSigma.Syntax |
| 2 (Type/Class) | Language.PiSigma.Syntax |
| colon | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| Color | Language.PiSigma.Pretty |
| Column | Language.PiSigma.Pretty |
| column | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Syntax |
| comma | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| commaSep | Language.PiSigma.Lexer |
| commaSep1 | Language.PiSigma.Lexer |
| concat | Language.PiSigma.Util.String.Internal |
| Cons | Language.PiSigma.Pretty |
| cons | Language.PiSigma.Pretty |
| cyan | Language.PiSigma.Pretty |
| deBold | Language.PiSigma.Pretty |
| decimal | Language.PiSigma.Lexer |
| Decl | Language.PiSigma.Syntax |
| decl | Language.PiSigma.Evaluate |
| decl' | Language.PiSigma.Evaluate |
| decls | Language.PiSigma.Syntax |
| Defn | Language.PiSigma.Syntax |
| defn' | Language.PiSigma.Evaluate |
| deUnderline | Language.PiSigma.Pretty |
| dot | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| dullBlack | Language.PiSigma.Pretty |
| dullBlue | Language.PiSigma.Pretty |
| dullCyan | Language.PiSigma.Pretty |
| dullGreen | Language.PiSigma.Pretty |
| dullMagenta | Language.PiSigma.Pretty |
| dullRed | Language.PiSigma.Pretty |
| dullWhite | Language.PiSigma.Pretty |
| dullYellow | Language.PiSigma.Pretty |
| Empty | Language.PiSigma.Pretty |
| empty | Language.PiSigma.Pretty |
| emptyE | Language.PiSigma.Syntax |
| emptyScope | Language.PiSigma.Syntax |
| enclose | Language.PiSigma.Pretty |
| encloseSep | Language.PiSigma.Pretty |
| Entry | Language.PiSigma.Syntax |
| Enum | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| Env | Language.PiSigma.Syntax |
| EnvEntries | Language.PiSigma.Syntax |
| EnvEntry | Language.PiSigma.Syntax |
| eq | Language.PiSigma.Equality |
| equals | Language.PiSigma.Pretty |
| Eval | |
| 1 (Type/Class) | Language.PiSigma.Evaluate |
| 2 (Data Constructor) | Language.PiSigma.Evaluate |
| eval | Language.PiSigma.Evaluate |
| evalPrint | Language.PiSigma.Pretty |
| evalProg | Language.PiSigma.Evaluate |
| expand | Language.PiSigma.Syntax |
| extE | Language.PiSigma.Syntax |
| extendScope | Language.PiSigma.Syntax |
| filename | Language.PiSigma.Syntax |
| fill | Language.PiSigma.Pretty |
| fillBreak | Language.PiSigma.Pretty |
| fillCat | Language.PiSigma.Pretty |
| fillSep | Language.PiSigma.Pretty |
| flatten | Language.PiSigma.Pretty |
| float | Language.PiSigma.Lexer |
| Fold | Language.PiSigma.Syntax |
| fold | Language.PiSigma.Pretty |
| Force | Language.PiSigma.Syntax |
| force | Language.PiSigma.Evaluate |
| FormatState | |
| 1 (Data Constructor) | Language.PiSigma.Pretty |
| 2 (Type/Class) | Language.PiSigma.Pretty |
| fromPretty | Language.PiSigma.Pretty |
| fromString | |
| 1 (Function) | Language.PiSigma.Util.String.Parser |
| 2 (Function) | Language.PiSigma.Util.String.Internal |
| getE | Language.PiSigma.Syntax |
| getEnv | Language.PiSigma.Evaluate |
| getId | Language.PiSigma.Evaluate |
| GetLoc | Language.PiSigma.Syntax |
| getLoc | Language.PiSigma.Syntax |
| getScope | Language.PiSigma.Syntax |
| green | Language.PiSigma.Pretty |
| group | Language.PiSigma.Pretty |
| hang | Language.PiSigma.Pretty |
| hcat | Language.PiSigma.Pretty |
| head | Language.PiSigma.Pretty |
| hexadecimal | Language.PiSigma.Lexer |
| hPutPretty | Language.PiSigma.Pretty |
| hPutSeq | Language.PiSigma.Pretty |
| hPutSimplePretty | Language.PiSigma.Pretty |
| hPutTok | Language.PiSigma.Pretty |
| hsep | Language.PiSigma.Pretty |
| Id | |
| 1 (Data Constructor) | Language.PiSigma.Syntax |
| 2 (Type/Class) | Language.PiSigma.Syntax |
| identifier | Language.PiSigma.Lexer |
| indent | Language.PiSigma.Pretty |
| infer | Language.PiSigma.Check |
| integer | Language.PiSigma.Lexer |
| Intensify | Language.PiSigma.Pretty |
| isNull | Language.PiSigma.Pretty |
| isPrefixOf | |
| 1 (Function) | Language.PiSigma.Util.String.Parser |
| 2 (Function) | Language.PiSigma.Util.String.Internal |
| Label | |
| 1 (Data Constructor) | Language.PiSigma.Syntax |
| 2 (Type/Class) | Language.PiSigma.Syntax |
| label | Language.PiSigma.Syntax |
| Lam | Language.PiSigma.Syntax |
| lam | Language.PiSigma.Syntax |
| length | Language.PiSigma.Pretty |
| Let | Language.PiSigma.Syntax |
| letn | Language.PiSigma.Evaluate |
| letn' | Language.PiSigma.Evaluate |
| lexeme | Language.PiSigma.Lexer |
| Lift | Language.PiSigma.Syntax |
| Line | Language.PiSigma.Pretty |
| line | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Syntax |
| lineBreak | Language.PiSigma.Pretty |
| lines | Language.PiSigma.Util.String.Parser |
| list | Language.PiSigma.Pretty |
| Loc | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| locate | Language.PiSigma.Lexer |
| location | Language.PiSigma.Lexer |
| locMessage | Language.PiSigma.Syntax |
| locReserved | Language.PiSigma.Lexer |
| locReservedOp | Language.PiSigma.Lexer |
| locSymbol | Language.PiSigma.Lexer |
| lookupCon | Language.PiSigma.Syntax |
| lookupId | Language.PiSigma.Evaluate |
| lookupScope | Language.PiSigma.Syntax |
| lty | Language.PiSigma.Syntax |
| magenta | Language.PiSigma.Pretty |
| Name | Language.PiSigma.Syntax |
| name | Language.PiSigma.Syntax |
| natural | Language.PiSigma.Lexer |
| naturalOrFloat | Language.PiSigma.Lexer |
| NCase | Language.PiSigma.Syntax |
| Ne | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| Nest | Language.PiSigma.Pretty |
| nest | Language.PiSigma.Pretty |
| Nesting | Language.PiSigma.Pretty |
| nesting | Language.PiSigma.Pretty |
| nf | Language.PiSigma.Normalise |
| NForce | Language.PiSigma.Syntax |
| Nil | Language.PiSigma.Pretty |
| NSplit | Language.PiSigma.Syntax |
| null | |
| 1 (Function) | Language.PiSigma.Util.String.Parser |
| 2 (Function) | Language.PiSigma.Util.String.Internal |
| NUnfold | Language.PiSigma.Syntax |
| NVar | Language.PiSigma.Syntax |
| octal | Language.PiSigma.Lexer |
| onBlack | Language.PiSigma.Pretty |
| onBlue | Language.PiSigma.Pretty |
| onCyan | Language.PiSigma.Pretty |
| onDullBlack | Language.PiSigma.Pretty |
| onDullBlue | Language.PiSigma.Pretty |
| onDullCyan | Language.PiSigma.Pretty |
| onDullGreen | Language.PiSigma.Pretty |
| onDullMagenta | Language.PiSigma.Pretty |
| onDullRed | Language.PiSigma.Pretty |
| onDullWhite | Language.PiSigma.Pretty |
| onDullYellow | Language.PiSigma.Pretty |
| onGreen | Language.PiSigma.Pretty |
| onMagenta | Language.PiSigma.Pretty |
| onRed | Language.PiSigma.Pretty |
| onWhite | Language.PiSigma.Pretty |
| onYellow | Language.PiSigma.Pretty |
| operator | Language.PiSigma.Lexer |
| pack | Language.PiSigma.Pretty |
| Pair | Language.PiSigma.Syntax |
| parenLeft | Language.PiSigma.Pretty |
| parenRight | Language.PiSigma.Pretty |
| parens | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| parse | Language.PiSigma.Parser |
| Parser | Language.PiSigma.Lexer |
| Phrase | Language.PiSigma.Syntax |
| Pi | Language.PiSigma.Syntax |
| pis | Language.PiSigma.Syntax |
| PiSigma | Language.PiSigma.Syntax |
| Pretties | Language.PiSigma.Pretty |
| Pretty | Language.PiSigma.Pretty |
| Language.PiSigma.Pretty | |
| Printable | Language.PiSigma.Pretty |
| Prog | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| prtE | Language.PiSigma.Syntax |
| PrtInfo | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| punctuate | Language.PiSigma.Pretty |
| putPretty | Language.PiSigma.Pretty |
| putScope | Language.PiSigma.Syntax |
| putStrLn | Language.PiSigma.Util.String.Internal |
| Q | Language.PiSigma.Syntax |
| quote | Language.PiSigma.Normalise |
| quoteDouble | Language.PiSigma.Pretty |
| quotesDouble | Language.PiSigma.Pretty |
| quoteSingle | Language.PiSigma.Pretty |
| quotesSingle | Language.PiSigma.Pretty |
| readFile | Language.PiSigma.Util.String.Parser |
| Rec | Language.PiSigma.Syntax |
| red | Language.PiSigma.Pretty |
| renderCompact | Language.PiSigma.Pretty |
| renderPretty | Language.PiSigma.Pretty |
| renderSeq | Language.PiSigma.Pretty |
| renderSimplePretty | Language.PiSigma.Pretty |
| replicate | Language.PiSigma.Pretty |
| reserved | Language.PiSigma.Lexer |
| reservedOp | Language.PiSigma.Lexer |
| RestoreFormat | Language.PiSigma.Pretty |
| reverse | Language.PiSigma.Pretty |
| run | Language.PiSigma.Evaluate |
| s2Terms | Language.PiSigma.Parser |
| Scope | |
| 1 (Type/Class) | Language.PiSigma.Syntax |
| 2 (Data Constructor) | Language.PiSigma.Syntax |
| semi | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Lexer |
| semiBraces | Language.PiSigma.Pretty |
| semiSep | Language.PiSigma.Lexer |
| semiSep1 | Language.PiSigma.Lexer |
| sep | Language.PiSigma.Pretty |
| Seq | |
| 1 (Data Constructor) | Language.PiSigma.Pretty |
| 2 (Type/Class) | Language.PiSigma.Pretty |
| seqEmpty | Language.PiSigma.Pretty |
| setE | Language.PiSigma.Syntax |
| Sigma | Language.PiSigma.Syntax |
| sigmas | Language.PiSigma.Syntax |
| SimpleChar | Language.PiSigma.Pretty |
| SimpleEmpty | Language.PiSigma.Pretty |
| SimpleLine | Language.PiSigma.Pretty |
| SimplePretty | Language.PiSigma.Pretty |
| SimpleSGR | Language.PiSigma.Pretty |
| SimpleText | Language.PiSigma.Pretty |
| singleton | Language.PiSigma.Pretty |
| softBreak | Language.PiSigma.Pretty |
| softLine | Language.PiSigma.Pretty |
| space | Language.PiSigma.Pretty |
| spaces | Language.PiSigma.Pretty |
| span | Language.PiSigma.Util.String.Parser |
| sPhrase | Language.PiSigma.Parser |
| Split | Language.PiSigma.Syntax |
| split | Language.PiSigma.Syntax |
| splitAt | Language.PiSigma.Pretty |
| sProg | Language.PiSigma.Parser |
| squares | Language.PiSigma.Lexer |
| stBackground | Language.PiSigma.Pretty |
| sTerm | Language.PiSigma.Parser |
| stForeground | Language.PiSigma.Pretty |
| stIntensity | Language.PiSigma.Pretty |
| String | |
| 1 (Type/Class) | Language.PiSigma.Util.String.Parser |
| 2 (Type/Class) | Language.PiSigma.Util.String.Internal |
| stringLiteral | Language.PiSigma.Lexer |
| stUnderlining | Language.PiSigma.Pretty |
| subst | Language.PiSigma.Evaluate |
| symbol | Language.PiSigma.Lexer |
| 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 |
| uncons | Language.PiSigma.Util.String.Parser |
| Underline | Language.PiSigma.Pretty |
| underline | Language.PiSigma.Pretty |
| unEval | Language.PiSigma.Evaluate |
| Unfold | Language.PiSigma.Syntax |
| Union | Language.PiSigma.Pretty |
| Unknown | Language.PiSigma.Syntax |
| unlines | |
| 1 (Function) | Language.PiSigma.Pretty |
| 2 (Function) | Language.PiSigma.Util.String.Parser |
| unSeq | Language.PiSigma.Pretty |
| unTok | Language.PiSigma.Pretty |
| unwords | Language.PiSigma.Pretty |
| Val | Language.PiSigma.Syntax |
| Var | Language.PiSigma.Syntax |
| VBox | Language.PiSigma.Syntax |
| vcat | Language.PiSigma.Pretty |
| VEnum | Language.PiSigma.Syntax |
| VFold | Language.PiSigma.Syntax |
| VLabel | Language.PiSigma.Syntax |
| VLam | Language.PiSigma.Syntax |
| VLift | Language.PiSigma.Syntax |
| VPair | Language.PiSigma.Syntax |
| VQ | Language.PiSigma.Syntax |
| VRec | Language.PiSigma.Syntax |
| vsep | Language.PiSigma.Pretty |
| VType | Language.PiSigma.Syntax |
| white | Language.PiSigma.Pretty |
| whiteSpace | Language.PiSigma.Lexer |
| width | Language.PiSigma.Pretty |
| words | Language.PiSigma.Pretty |
| yellow | Language.PiSigma.Pretty |