-*- | 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 |