kempe-0.1.1.0: Kempe compiler

Index

<##>Prettyprinter.Ext
<#>Prettyprinter.Ext
ABIKempe.AST
AbsRegKempe.Asm.X86.Type
AddACKempe.Asm.X86.Type
AddrKempe.Asm.X86.Type
addrKempe.Asm.X86.Type
addrAdd1Kempe.Asm.X86.Type
AddRCKempe.Asm.X86.Type
addrCmpKempe.Asm.X86.Type
addrDestKempe.Asm.X86.Type
AddRRKempe.Asm.X86.Type
AddrRCMinusKempe.Asm.X86.Type
AddrRCPlusKempe.Asm.X86.Type
AddrRRPlusKempe.Asm.X86.Type
AddrRRScaleKempe.Asm.X86.Type
addrSrcKempe.Asm.X86.Type
AHKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
ALKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
Alex 
1 (Type/Class)Kempe.Lexer
2 (Data Constructor)Kempe.Lexer
alexInitUserStateKempe.Lexer
alexMonadScanKempe.Lexer
AlexPnKempe.Lexer
AlexPosnKempe.Lexer
AlexUserStateKempe.Lexer
AllocReg64Kempe.Asm.X86.Type
AllocReg8Kempe.Asm.X86.Type
allocRegsKempe.Asm.X86.Linear
AndKempe.AST
AndRRKempe.Asm.X86.Type
AndTokKempe.Lexer
annKempe.Asm.X86.Type
ArrowKempe.Lexer
assignModuleKempe.TyAssign
AtBuiltinKempe.AST
AtConsKempe.AST
AtNameKempe.AST
AtomKempe.AST
BadTypeKempe.Error
bCmpKempe.Asm.X86.Type
bodyKempe.AST
boolKempe.Lexer
BoolAndKempe.IR
BoolBinOp 
1 (Type/Class)Kempe.IR
2 (Data Constructor)Kempe.IR
BoolLitKempe.AST
BoolOrKempe.IR
boolSrcKempe.Asm.X86.Type
BoolXorKempe.IR
BSLabelKempe.Asm.X86.Type
bsLabelKempe.Asm.X86.Type
bslLabelKempe.Asm.X86.Type
BuiltinKempe.Lexer
builtinKempe.Lexer
BuiltinBoolKempe.Lexer
BuiltinBoolLitKempe.Lexer
BuiltinBoolXorKempe.Lexer
BuiltinDipKempe.Lexer
BuiltinDropKempe.Lexer
BuiltinDupKempe.Lexer
BuiltinFnKempe.AST
BuiltinIntKempe.Lexer
BuiltinInt8Kempe.Lexer
BuiltinIntXorKempe.Lexer
BuiltinPopcountKempe.Lexer
BuiltinSwapKempe.Lexer
BuiltinTyKempe.AST
BuiltinWordKempe.Lexer
BuiltinWordXorKempe.Lexer
CabiKempe.AST
CallKempe.Asm.X86.Type
CallBSKempe.Asm.X86.Type
CArg1Kempe.Asm.X86.Type
CArg2Kempe.Asm.X86.Type
CArg3Kempe.Asm.X86.Type
CArg4Kempe.Asm.X86.Type
CArg5Kempe.Asm.X86.Type
CArg6Kempe.Asm.X86.Type
CaseKempe.AST
CaseArrKempe.Lexer
CCallKempe.IR
CHKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
checkModuleKempe.TyAssign
checkModuleExhaustiveKempe.Check.Pattern
CJumpKempe.IR
CLKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
closedModuleKempe.Monomorphize
closureKempe.Monomorphize
CmpAddrBoolKempe.Asm.X86.Type
CmpAddrRegKempe.Asm.X86.Type
CmpRegBoolKempe.Asm.X86.Type
CmpRegRegKempe.Asm.X86.Type
ColonKempe.Lexer
CommaKempe.Lexer
compileKempe.File
connKempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
ConsAnn 
1 (Type/Class)Kempe.AST, Kempe.Monomorphize
2 (Data Constructor)Kempe.AST, Kempe.Monomorphize
ConstBoolKempe.IR
ConstIntKempe.IR
ConstInt8Kempe.IR
ConstTagKempe.IR
ConstWordKempe.IR
consTyKempe.AST, Kempe.Monomorphize
ControlAnn 
1 (Type/Class)Kempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
2 (Data Constructor)Kempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
CqoKempe.Asm.X86.Type
CRetKempe.Asm.X86.Type
cSizeKempe.AST
DataPointer 
1 (Data Constructor)Kempe.Asm.X86.Type
2 (Data Constructor)Kempe.IR
DeclarationsKempe.AST
DefEqKempe.Lexer
defsNodeKempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
DHKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
DilKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
DipKempe.AST
DivKempe.Lexer
DivRKempe.Asm.X86.Type
DivUKempe.Lexer
DLKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
DropKempe.AST
dumpIRKempe.File
dumpMonoKempe.File
dumpTypedKempe.File
dumpX86Kempe.File
DupKempe.AST
EOFKempe.Lexer
EqKempe.Lexer
EqByteKempe.IR
ErrorKempe.Error
ExpKempe.IR
ExportKempe.AST
ExprIntBinOpKempe.IR
ExprIntRelKempe.IR
ExtFnDeclKempe.AST
FatSumTypeKempe.Error
flattenModuleKempe.Monomorphize
flipStackTypeKempe.AST
foldMapAData.Foldable.Ext
foldMapAlternativeData.Foldable.Ext
freeVarsKempe.AST
FunDeclKempe.AST
GeqKempe.Lexer
GtKempe.Lexer
i8SrcKempe.Asm.X86.Type
iAdd2Kempe.Asm.X86.Type
identKempe.Lexer
IdivRKempe.Asm.X86.Type
IfKempe.AST
IllKindedKempe.Error
importFpsKempe.AST
ImulRRKempe.Asm.X86.Type
InexhaustiveMatchKempe.Error
inlineKempe.Inline
insKempe.Asm.X86.Type
intKempe.Lexer
int8Kempe.Lexer
Int8LitKempe.AST
IntBinOpKempe.IR
IntDivKempe.AST
IntDivIRKempe.IR
IntEqKempe.AST
IntEqIRKempe.IR
IntGeqKempe.AST
IntGeqIRKempe.IR
IntGtKempe.AST
IntGtIRKempe.IR
IntLeqKempe.AST
IntLeqIRKempe.IR
IntLitKempe.AST
IntLtKempe.AST
IntLtIRKempe.IR
IntMinusKempe.AST
IntMinusIRKempe.IR
IntModKempe.AST
IntModIRKempe.IR
IntNegKempe.AST
IntNegIRKempe.IR
IntNeqKempe.AST
IntNeqIRKempe.IR
IntPlusKempe.AST
IntPlusIRKempe.IR
IntShiftLKempe.AST
IntShiftRKempe.AST
IntTimesKempe.AST
IntTimesIRKempe.IR
IntXorKempe.AST
IntXorIRKempe.IR
inTypesKempe.AST
InvalidCExportKempe.Error
InvalidCImportKempe.Error
irFileKempe.File
irGenKempe.Pipeline
irToX86Kempe.Asm.X86
iSrcKempe.Asm.X86.Type
iSub2Kempe.Asm.X86.Type
JeKempe.Asm.X86.Type
JgKempe.Asm.X86.Type
JgeKempe.Asm.X86.Type
JlKempe.Asm.X86.Type
jLabelKempe.Asm.X86.Type
JleKempe.Asm.X86.Type
JneKempe.Asm.X86.Type
Jump 
1 (Data Constructor)Kempe.Asm.X86.Type
2 (Data Constructor)Kempe.IR
KabiKempe.AST
KCallKempe.IR
KempeDeclKempe.AST
KempeTyKempe.AST
KeywordKempe.Lexer
KwCabiKempe.Lexer
KwCaseKempe.Lexer
KwCfunKempe.Lexer
KwForeignKempe.Lexer
KwIfKempe.Lexer
KwImportKempe.Lexer
KwKabiKempe.Lexer
KwTypeKempe.Lexer
Label 
1 (Data Constructor)Kempe.Asm.X86.Type
2 (Type/Class)Kempe.Asm.X86.Type
3 (Type/Class)Kempe.IR
labelKempe.Asm.X86.Type
LabeledKempe.IR
LBraceKempe.Lexer
LeqKempe.Lexer
LessGeneralKempe.Error
LexErrKempe.Parser
lexKempeKempe.Lexer
Liveness 
1 (Type/Class)Kempe.Asm.X86.Type, Kempe.Asm.X86.Liveness
2 (Data Constructor)Kempe.Asm.X86.Type
loc 
1 (Function)Kempe.Name
2 (Function)Kempe.Lexer
LParenKempe.Lexer
LSqBracketKempe.Lexer
LtKempe.Lexer
macroNameKempe.Asm.X86.Type
MemKempe.IR
mErrKempe.Error
MinusKempe.Lexer
MinusUKempe.Lexer
MismatchedLengthsKempe.Error
MJumpKempe.IR
mkControlFlowKempe.Asm.X86.ControlFlow
mkModuleMapKempe.Monomorphize
ModUKempe.Lexer
Module 
1 (Type/Class)Kempe.AST
2 (Data Constructor)Kempe.AST
moduleFpKempe.Lexer
MonoFailedKempe.Error
MonoMKempe.Monomorphize
monomorphizeKempe.Shuttle
MonoStackTypeKempe.AST
MovABoolKempe.Asm.X86.Type
MovACKempe.Asm.X86.Type
MovACi8Kempe.Asm.X86.Type
MovACTagKempe.Asm.X86.Type
MovARKempe.Asm.X86.Type
MovMemKempe.IR
MovRAKempe.Asm.X86.Type
MovRCKempe.Asm.X86.Type
MovRCBoolKempe.Asm.X86.Type
MovRCi8Kempe.Asm.X86.Type
MovRCTagKempe.Asm.X86.Type
MovRLKempe.Asm.X86.Type
MovRRKempe.Asm.X86.Type
MovRWordKempe.Asm.X86.Type
MovTempKempe.IR
Name 
1 (Type/Class)Kempe.Name
2 (Data Constructor)Kempe.Name
nameKempe.Name
NasmMacro0Kempe.Asm.X86.Type
NegRKempe.Asm.X86.Type
NegTokKempe.Lexer
NeqKempe.Lexer
nodeKempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
NoImplKempe.Parser
optimizeKempe.IR.Opt
OrKempe.AST
OrRRKempe.Asm.X86.Type
OrTokKempe.Lexer
outKempe.Asm.X86.Type
outTypesKempe.AST
parseKempe.Parser
ParseErrorKempe.Parser
parseProcessKempe.Module
parseWithCtxKempe.Parser
parseWithInitCtxKempe.Parser
parseWithMaxKempe.Parser
PatternKempe.AST
PatternBoolKempe.AST
PatternConsKempe.AST
PatternIntKempe.AST
patternKindKempe.AST
patternNameKempe.AST
PatternWildcardKempe.AST
PercentKempe.Lexer
PlusKempe.Lexer
PlusUKempe.Lexer
PoorScopeKempe.Error
PopcountKempe.AST
PopcountIRKempe.IR
PopcountRRKempe.Asm.X86.Type
PopMemKempe.Asm.X86.Type
PopRegKempe.Asm.X86.Type
prettyAsmKempe.Asm.X86.Type
prettyDebugAsmKempe.Asm.X86.Type
prettyFancyModuleKempe.AST
prettyHexPrettyprinter.Ext
prettyIRKempe.IR
prettyLinesPrettyprinter.Ext
prettyModuleKempe.AST
prettyMonoStackTypeKempe.AST
prettyTypedKempe.AST
prettyTypedModuleKempe.AST
PushConstKempe.Asm.X86.Type
PushMemKempe.Asm.X86.Type
PushRegKempe.Asm.X86.Type
quantifyKempe.AST
QuotResKempe.Asm.X86.Type
R10Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R10bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R11Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R11bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R12Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R12bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R13Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R13bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R14Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R14bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R15Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R15bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R8Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R8bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R9Kempe.Asm.X86.Type, Kempe.Asm.X86.Linear
R9bKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
rAdd1Kempe.Asm.X86.Type
rAdd2Kempe.Asm.X86.Type
RaxKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
RbpKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
RBraceKempe.Lexer
RbxKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
rCmpKempe.Asm.X86.Type
rCmp'Kempe.Asm.X86.Type
RcxKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
rDestKempe.Asm.X86.Type
RdiKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
rDivKempe.Asm.X86.Type
RdxKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
reconstructKempe.Asm.X86.Liveness
Reg 
1 (Data Constructor)Kempe.Asm.X86.Type
2 (Data Constructor)Kempe.IR
regKempe.Asm.X86.Type
RelBinOpKempe.IR
RemResKempe.Asm.X86.Type
restrictConstructorsKempe.Check.Restrict
Ret 
1 (Data Constructor)Kempe.Asm.X86.Type
2 (Data Constructor)Kempe.IR
rMul1Kempe.Asm.X86.Type
rMul2Kempe.Asm.X86.Type
RParenKempe.Lexer
RsiKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
RspKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
RSqBracketKempe.Lexer
rSrcKempe.Asm.X86.Type
rSub1Kempe.Asm.X86.Type
rSub2Kempe.Asm.X86.Type
runAlexKempe.Lexer
runAlexStKempe.Lexer
runMonoMKempe.Monomorphize
runTempMKempe.IR
runTypeMKempe.TyAssign
rXor1Kempe.Asm.X86.Type
rXor2Kempe.Asm.X86.Type
SemicolonKempe.Lexer
sepDeclsPrettyprinter.Ext
ShiftExponentKempe.Asm.X86.Type
ShiftLKempe.Lexer
ShiftLRRKempe.Asm.X86.Type
ShiftLUKempe.Lexer
ShiftRKempe.Lexer
ShiftRRRKempe.Asm.X86.Type
ShiftRUKempe.Lexer
SilKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
SizeKempe.AST
sizeKempe.AST, Kempe.IR
size'Kempe.AST
SizeEnvKempe.AST
sizeStackKempe.AST
StackType 
1 (Type/Class)Kempe.AST
2 (Data Constructor)Kempe.AST
StmtKempe.IR
SubRCKempe.Asm.X86.Type
SubRRKempe.Asm.X86.Type
SwapKempe.AST
SymKempe.Lexer
tagKempe.AST, Kempe.Monomorphize
tagSrcKempe.Asm.X86.Type
tcFileKempe.File
TempKempe.IR
Temp64Kempe.IR
Temp8Kempe.IR
TempMKempe.IR
tempsKempe.IR
TimesKempe.Lexer
TimesUKempe.Lexer
TokBuiltinKempe.Lexer
TokenKempe.Lexer
TokForeignKempe.Lexer
TokIntKempe.Lexer
TokInt8Kempe.Lexer
TokKeywordKempe.Lexer
TokModuleStrKempe.Lexer
TokNameKempe.Lexer
TokSymKempe.Lexer
TokTyNameKempe.Lexer
TokWordKempe.Lexer
topLevelCheckKempe.Check.TopLevel
tryMonoKempe.Monomorphize
TyAppKempe.AST
TyBoolKempe.AST
TyBuiltinKempe.AST
TyDeclKempe.AST
TyIntKempe.AST
TyInt8Kempe.AST
TyNameKempe.Name
TyNamedKempe.AST
TypeMKempe.TyAssign
tySzKempe.AST, Kempe.Monomorphize
TyVarKempe.AST
TyVarExtKempe.Error
TyWordKempe.AST
unAlexKempe.Lexer
UnderscoreKempe.Lexer
UnexpectedKempe.Parser
UnificationFailedKempe.Error
Unique 
1 (Type/Class)Kempe.Unique
2 (Data Constructor)Kempe.Unique
uniqueKempe.Name
unUniqueKempe.Unique
usesNodeKempe.Asm.X86.Type, Kempe.Asm.X86.ControlFlow
VBarKempe.Lexer
voidStackTypeKempe.AST
warnFileKempe.File
WarningKempe.Check.TopLevel
withAlexStKempe.Lexer
wlabelsKempe.IR
wordKempe.Lexer
WordDivKempe.AST
WordDivIRKempe.IR
WordLitKempe.AST
WordMinusKempe.AST
WordModKempe.AST
WordModIRKempe.IR
WordPlusKempe.AST
WordShiftLKempe.AST
WordShiftLIRKempe.IR
WordShiftRKempe.AST
WordShiftRIRKempe.IR
WordTimesKempe.AST
WordXorKempe.AST
WrapKCallKempe.IR
writeModuleKempe.IR
writeOKempe.Proc.Nasm
WriteSt 
1 (Type/Class)Kempe.IR
2 (Data Constructor)Kempe.IR
wSrcKempe.Asm.X86.Type
X86Kempe.Asm.X86.Type
x86AllocKempe.Pipeline
x86FileKempe.File
x86ParsedKempe.Pipeline
X86RegKempe.Asm.X86.Type, Kempe.Asm.X86.Linear
XorKempe.AST
XorRRKempe.Asm.X86.Type
_kwKempe.Lexer
_nameKempe.Lexer
_symKempe.Lexer
_tyNameKempe.Lexer