Contents
Index
glambda-1.0.2: A simply typed lambda calculus interpreter, written with GADTs
Index
$$
Language.Glambda.Util
:~:
Language.Glambda.Util
App
Language.Glambda.Exp
Arith
Language.Glambda.Exp
ArithOp
1 (Data Constructor)
Language.Glambda.Token
2 (Type/Class)
Language.Glambda.Token
Arr
Language.Glambda.Type
Arrow
Language.Glambda.Token
Assign
Language.Glambda.Token
BareExp
Language.Glambda.Statement
Bool
Language.Glambda.Token
BoolE
Language.Glambda.Exp
BoolTy
Language.Glambda.Type
BoolVal
Language.Glambda.Exp
check
Language.Glambda.Check
Colon
Language.Glambda.Token
Coloring
Language.Glambda.Pretty
Cond
Language.Glambda.Exp
defaultColoring
Language.Glambda.Pretty
defaultPretty
Language.Glambda.Pretty
Divide
Language.Glambda.Token
Dot
Language.Glambda.Token
eitherToGlamE
Language.Glambda.Monad
Elem
Language.Glambda.Exp
Else
Language.Glambda.Token
emptyContext
Language.Glambda.Type
emptyGlobals
Language.Glambda.Globals
eqArithOp
Language.Glambda.Token
eqExp
Language.Glambda.Exp
eqSTy
Language.Glambda.Type
Equals
Language.Glambda.Token
ES
Language.Glambda.Exp
eval
Language.Glambda.Eval
Exp
Language.Glambda.Exp
extend
Language.Glambda.Globals
EZ
Language.Glambda.Exp
Fix
Language.Glambda.Exp
FixT
Language.Glambda.Token
Glam
Language.Glambda.Monad
GlamE
Language.Glambda.Monad
GlamM
Language.Glambda.Monad
GlamVal
Language.Glambda.Exp
Globals
Language.Glambda.Globals
Greater
Language.Glambda.Token
GreaterE
Language.Glambda.Token
If
Language.Glambda.Token
ignore
Language.Glambda.Util
Int
Language.Glambda.Token
IntE
Language.Glambda.Exp
IntTy
Language.Glambda.Type
IntVal
Language.Glambda.Exp
issueError
Language.Glambda.Monad
ITy
Language.Glambda.Type
L
Language.Glambda.Token
Lam
Language.Glambda.Exp
Lambda
Language.Glambda.Token
LamVal
Language.Glambda.Exp
Less
Language.Glambda.Token
LessE
Language.Glambda.Token
lex
Language.Glambda.Lex
lexG
Language.Glambda.Lex
lookupGlobal
Language.Glambda.Globals
LParen
Language.Glambda.Token
LToken
Language.Glambda.Token
main
Language.Glambda.Repl
maybeParens
Language.Glambda.Util
Minus
Language.Glambda.Token
Mod
Language.Glambda.Token
Name
Language.Glambda.Token
NewGlobal
Language.Glambda.Statement
nthDefault
Language.Glambda.Util
parseExp
Language.Glambda.Parse
parseExpG
Language.Glambda.Parse
parseStmt
Language.Glambda.Parse
parseStmtG
Language.Glambda.Parse
parseStmts
Language.Glambda.Parse
parseStmtsG
Language.Glambda.Parse
Plus
Language.Glambda.Token
Prec
Language.Glambda.Util
prettyApp
Language.Glambda.Pretty
prettyArith
Language.Glambda.Pretty
PrettyExp
Language.Glambda.Pretty
prettyExp
Language.Glambda.Pretty
prettyFix
Language.Glambda.Pretty
prettyIf
Language.Glambda.Pretty
prettyLam
Language.Glambda.Pretty
prettyVal
Language.Glambda.Exp
prettyVar
Language.Glambda.Pretty
printDoc
Language.Glambda.Monad
printLine
Language.Glambda.Monad
prompt
Language.Glambda.Monad
quit
Language.Glambda.Monad
readTyCon
Language.Glambda.Type
refineTy
Language.Glambda.Type
Refl
Language.Glambda.Util
render
Language.Glambda.Util
RParen
Language.Glambda.Token
runGlam
Language.Glambda.Monad
runGlamE
Language.Glambda.Monad
SArr
Language.Glambda.Type
SBoolTy
Language.Glambda.Type
SCons
Language.Glambda.Type
SCtx
Language.Glambda.Type
Semi
Language.Glambda.Token
shift
Language.Glambda.Shift
SIntTy
Language.Glambda.Type
SNil
Language.Glambda.Type
Statement
Language.Glambda.Statement
step
Language.Glambda.Eval
stripWhitespace
Language.Glambda.Util
STy
Language.Glambda.Type
sty
Language.Glambda.Type
subst
Language.Glambda.Shift
Then
Language.Glambda.Token
Times
Language.Glambda.Token
Token
Language.Glambda.Token
topPrec
Language.Glambda.Util
toSimpleDoc
Language.Glambda.Util
Ty
Language.Glambda.Type
UApp
Language.Glambda.Unchecked
UArith
Language.Glambda.Unchecked
UArithOp
1 (Type/Class)
Language.Glambda.Token
2 (Data Constructor)
Language.Glambda.Token
UBoolE
Language.Glambda.Unchecked
UCond
Language.Glambda.Unchecked
uDivide
Language.Glambda.Token
uEquals
Language.Glambda.Token
UExp
Language.Glambda.Unchecked
UFix
Language.Glambda.Unchecked
UGlobal
Language.Glambda.Unchecked
uGreater
Language.Glambda.Token
uGreaterE
Language.Glambda.Token
UIntE
Language.Glambda.Unchecked
ULam
Language.Glambda.Unchecked
uLess
Language.Glambda.Token
uLessE
Language.Glambda.Token
uMinus
Language.Glambda.Token
uMod
Language.Glambda.Token
unArithOp
Language.Glambda.Token
unBool
Language.Glambda.Token
unInt
Language.Glambda.Token
unLoc
Language.Glambda.Token
unName
Language.Glambda.Token
unrefineTy
Language.Glambda.Type
uPlus
Language.Glambda.Token
uTimes
Language.Glambda.Token
UVar
Language.Glambda.Unchecked
Val
Language.Glambda.Exp
,
Language.Glambda.Exp
val
Language.Glambda.Exp
Var
Language.Glambda.Exp