telomare-0.1.0.0: A simple but robust virtual machine

Index

AbortATelomare
AbortableFTelomare.Possible
AbortAnyTelomare
AbortBaseTelomare.Possible
AbortedFTelomare.Possible
AbortedSRTelomare.Possible
AbortEETelomare.Possible
abortEETelomare.Possible
AbortExprTelomare.Possible
AbortExprATelomare.Possible
AbortExprBTelomare.Possible
AbortExprFTelomare.Possible
AbortExprSTelomare.Possible
abortExprToTerm4Telomare.Possible
AbortFTelomare.Possible
AbortFragTelomare
AbortFragFTelomare
AbortFWTelomare.Possible
AbortPTelomare.Eval
AbortRecursionTelomare
AbortRunTimeTelomare
abortStepTelomare.Possible
abortStepMTelomare.Possible
AbortTTelomare
AbortUnsizeableTelomare
AbortUserTelomare
AbstractRunTimeTelomare
addBuiltinsTelomare.Resolver
anaM'Telomare.Possible
annotateTelomare.TypeChecker
AnnotatedUPTTelomare.Parser
annotateEnvTelomare.Eval
AnnotateStateTelomare.TypeChecker
anyFunctionStepTelomare.Possible
anyFunctionStepMTelomare.Possible
AnyPFTelomare.Possible
AnyTypeTelomare
AppTelomare
appTelomare
AppATelomare
appFTelomare
AppUPTelomare
AppUPFTelomare
ArrTypeTelomare
ArrTypeNNaturals
ArrTypePTelomare
associateVarTelomare.TypeChecker
AuxFragTelomare
AuxFragFTelomare
BasicBaseTelomare.Possible
BasicEETelomare.Possible
basicEETelomare.Possible
BasicFWTelomare.Possible
basicStepTelomare.Possible
basicStepMTelomare.Possible
BetterMap 
1 (Type/Class)Telomare.Eval
2 (Data Constructor)Telomare.Eval
blockCommentTelomare.Parser
bracketsTelomare.Parser
BreakStateTelomare
BreakState'Telomare
buildFragMapTelomare
buildTypeMapTelomare.TypeChecker
calculateRecursionLimitsTelomare.Eval
capMainTelomare.Possible
case2annidatedIfsTelomare.Resolver
CaseUPTelomare
CaseUPFTelomare
CheckUPTelomare
CheckUPFTelomare
ChurchNumTelomare
ChurchTypeNaturals
ChurchUPTelomare
ChurchUPFTelomare
clamFTelomare
cleanTypeTelomare
ClosedTelomare
commaSepTelomare.Parser
compileTelomare.Eval
CompileConversionErrorTelomare.Eval
compileMainTelomare.Eval
compileUnitTestTelomare.Eval
completeLamTelomare
containsFunctionTelomare
convertAbortMessageTelomare.Eval
convertFromFTelomare.Possible
convertPTTelomare.Eval
convertToFTelomare.Possible
countAppsTelomare
cPlusTelomare.RunTime
curliesTelomare.Parser
DataTypeTelomare
debruijinizeTelomare.Resolver
debug 
1 (Function)Naturals
2 (Function)Telomare.RunTime
3 (Function)Telomare.Possible
4 (Function)Telomare.TypeChecker
5 (Function)Telomare.Resolver
6 (Function)Telomare.Eval
debugEvalTelomare.RunTime
debugShowNaturals
debugTrace 
1 (Function)Naturals
2 (Function)Telomare.RunTime
3 (Function)Telomare.Possible
4 (Function)Telomare.TypeChecker
5 (Function)Telomare.Resolver
6 (Function)Telomare.Eval
DebugTypeMap 
1 (Type/Class)Telomare.TypeChecker
2 (Data Constructor)Telomare.TypeChecker
decompileFragMapTelomare.Decompiler
decompileIExprTelomare.Decompiler
decompileTerm1Telomare.Decompiler
decompileTerm2Telomare.Decompiler
decompileTerm3Telomare.Decompiler
decompileTerm4Telomare.Decompiler
decompileUPTTelomare.Decompiler
DeferTelomare
deferTelomare
DeferATelomare
DeferFTelomare
deferFTelomare
DeferFragTelomare
DeferFragFTelomare
DeferPTelomare.Eval
DeferSFTelomare.Possible
DeferTTelomare
dropUntilTelomare
DummyLocTelomare
EasyTraceTelomare
EIndex 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
EitherPFTelomare.Possible
embedATelomare.Possible
embedBTelomare.Possible
embedPTelomare.Possible
embedSTelomare.Possible
embedUTelomare.Possible
EnvTelomare
envTelomare
EnvATelomare
envBTelomare.Possible
EnvFTelomare
EnvFragTelomare
EnvFragFTelomare
EnvSFTelomare.Possible
EnvTTelomare
evalTelomare
eval2IExprTelomare.Eval
evalATelomare.Possible
evalAndConvertTelomare.RunTime
evalBottomUpTelomare.Possible
evalBUTelomare.Possible
evalBU'Telomare.Possible
EvalErrorTelomare.Eval
evalLoopTelomare.Eval
evalLoopCoreTelomare.Eval
evalLoopWithInputTelomare.Eval
evalLoop_Telomare.Eval
ExpFullEnvTelomare.Eval
ExpPTelomare.Eval
ExprATelomare
ExprFragNaturals
ExprTTelomare
extractATelomare.Possible
extractBTelomare.Possible
extractPTelomare.Possible
extractSTelomare.Possible
extractUTelomare.Possible
FAppNaturals
fastInterpretEvalTelomare.RunTime
FDeferNaturals
FEnvNaturals
FGateNaturals
FillFunctionTelomare.Possible
fillFunctionTelomare.Possible
findChurchSizeTelomare.Eval
findIntsTelomare.Resolver
findPatternVarsTelomare.Resolver
findStringsTelomare.Resolver
FirstArgTelomare
FirstArgATelomare
fitPatternVarsToCasedUPTTelomare.Resolver
FLeftNaturals
FNumNaturals
forgetTelomare
forgetAnnotationFragExprURTelomare
FourthArgTelomare
FourthArgATelomare
FPairNaturals
FragExprTelomare
FragExprFTelomare
FragExprUR 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
FragExprUR' 
1 (Type/Class)Telomare.Resolver
2 (Data Constructor)Telomare.Resolver
FragExprURSATelomare
FragExprURSansAnnotationTelomare
FragIndex 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
fragmapToTelomareTelomare
fragmentExprNaturals
FragStateNaturals
fragsToNExprNaturals
fragToNExprNaturals
FRightNaturals
fromFragNaturals
fromFullEnvTelomare.Eval
fromTelomareTelomare
FSetEnvNaturals
FToNumNaturals
FTraceNaturals
fullEvalTelomare.RunTime
fullyResolveTelomare.TypeChecker
FunctionIndex 
1 (Type/Class)Telomare.Possible
2 (Data Constructor)Telomare.Possible
funWrapTelomare.Eval
FZeroNaturals
g2iTelomare
g2IntsTelomare
g2sTelomare
GateTelomare
GateATelomare
gateBTelomare.Possible
GateFTelomare
gateFTelomare
GateFragTelomare
GateFragFTelomare
GatePTelomare.Eval
GateSFTelomare.Possible
GateSwitchTelomare.Possible
gateSwitchTelomare.Possible
GateTTelomare
generateAllHashesTelomare.Resolver
GenericRunTimeErrorTelomare
getATelomare
getFragTypeTelomare.TypeChecker
getLineColumnTelomare.Parser
HashUPTelomare
HashUPFTelomare
hvmEvalTelomare.RunTime
i2cFTelomare
i2gTelomare
i2gFTelomare
i2tTelomare.Resolver
identifierTelomare.Parser
iEvalTelomare.RunTime
IExprTelomare
IExprFTelomare
IExprVTelomare.Optimizer
InconsistentTypesTelomare.TypeChecker
indentTelomare
indentationPrettyPrint
indentSansFirstLinePrettyPrint
indentWithChildren'Telomare
indentWithOneChildTelomare
indentWithOneChild'Telomare
indentWithThreeChildrenTelomare
indentWithTwoChildrenTelomare
indentWithTwoChildren'Telomare
IndExprTelomare
inferTypeTelomare.TypeChecker
initStateTelomare.TypeChecker
innerChurchFTelomare
insertAndGetKeyTelomare
integerTelomare.Parser
ints2gTelomare
ints2gFTelomare
ints2tTelomare.Resolver
IntUPTelomare
IntUPFTelomare
isClosureTelomare.Possible
isNumTelomare
ITETelomare
iteTelomare
iteFTelomare
ITEUPTelomare
ITEUPFTelomare
LamTelomare
lamTelomare
LamATelomare
lamFTelomare
LamTypeTelomare
LamUPTelomare
LamUPFTelomare
leftBTelomare.Possible
LeftFragTelomare
LeftFragFTelomare
LeftPTelomare.Eval
LeftSFTelomare.Possible
LeftTTelomare
LeftUPTelomare
LeftUPFTelomare
LetUPTelomare
LetUPFTelomare
lexemeTelomare.Parser
lineCommentTelomare.Parser
ListUPTelomare
ListUPFTelomare
LocTelomare
LocTagTelomare
makeAssociationsTelomare.TypeChecker
makeLambdaTelomare.Resolver
matchAppNaturals
matchChurchMultNaturals
matchChurchPlusNaturals
mergeAbortTelomare.Possible
mergeBasicTelomare.Possible
mergePairTypeTelomare
mergePairTypePTelomare
mergeStuckTelomare.Possible
mergeSuperTelomare.Possible
mergeUnknownTelomare.Possible
mkCaseAlternativeTelomare.Resolver
mkLambda4FreeVarUPsTelomare.Resolver
MonoidEndoFolderTelomare
monoidFoldTelomare
MonoidList 
1 (Type/Class)Telomare.Possible
2 (Data Constructor)Telomare.Possible
MultATelomare
MultiLineShowUPT 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
NAddNaturals
NAppNaturals
NaturalTypeNaturals
NDeferNaturals
NEnvNaturals
NestedSetEnvsTelomare
nEvalTelomare.RunTime
NExprNaturals
NExprs 
1 (Type/Class)Naturals
2 (Data Constructor)Naturals
nextBreakTokenTelomare
nextITelomare
NGateNaturals
nlamNaturals
NLamNumNaturals
NLeftNaturals
NMultNaturals
NNumNaturals
NOldDeferNaturals
NPairNaturals
NPartialNumNaturals
NPowNaturals
NResultNaturals
NRightNaturals
NSetEnvNaturals
NToChurchNaturals
NToNumNaturals
NTraceNaturals
NTwiddleNaturals
NZeroNaturals
OpenTelomare
optimizeTelomare.Optimizer
optimizeBuiltinFunctionsTelomare.Resolver
optimizedEvalTelomare.RunTime
PairTelomare
pairTelomare
PairATelomare
pairBTelomare.Possible
PairFTelomare
pairFTelomare
PairFragTelomare
PairFragFTelomare
PairPTelomare.Eval
pairRoute2DirsTelomare.Resolver
PairSFTelomare.Possible
pairStructureCheckTelomare.Resolver
PairTTelomare
PairTypeTelomare
PairTypeNNaturals
PairTypePTelomare
PairUPTelomare
PairUPFTelomare
parensTelomare.Parser
parseAppliedTelomare.Parser
parseAssignmentTelomare.Parser
parseCaseTelomare.Parser
parseChurchTelomare.Parser
parseDefinitionsTelomare.Parser
parseHashTelomare.Parser
parseITETelomare.Parser
parseLambdaTelomare.Parser
parseLetTelomare.Parser
parseListTelomare.Parser
parseLongExprTelomare.Parser
parseMainTelomare.Resolver
parseNumberTelomare.Parser
parseOneExprOrTopLevelDefsTelomare.Parser
parsePairTelomare.Parser
parsePatternTelomare.Parser
parsePatternIgnoreTelomare.Parser
parsePatternIntTelomare.Parser
parsePatternPairTelomare.Parser
parsePatternStringTelomare.Parser
parsePatternVarTelomare.Parser
parsePreludeTelomare.Parser
parseRefinementCheckTelomare.Parser
ParserTermTelomare
ParserTermFTelomare
parseSameLvlTelomare.Parser
parseSingleCaseTelomare.Parser
parseSingleExprTelomare.Parser
parseStringTelomare.Parser
parseSuccessfulTelomare.Parser
parseTopLevelTelomare.Parser
parseTopLevelWithPreludeTelomare.Parser
parseUnsizedRecursionTelomare.Parser
parseVariableTelomare.Parser
parseWithPreludeTelomare.Parser
PartExprFTelomare.Possible
partiallyAnnotateTelomare.TypeChecker
partiallyEvaluateTelomare.Eval
PartialTypeTelomare
PatternTelomare
pattern2UPTTelomare.Resolver
PatternFTelomare
PatternIgnoreTelomare
PatternIgnoreFTelomare
PatternIntTelomare
PatternIntFTelomare
PatternPairTelomare
PatternPairFTelomare
PatternStringTelomare
PatternStringFTelomare
PatternVarTelomare
PatternVarFTelomare
PLeftTelomare
pleftTelomare
PLeftATelomare
PLeftFTelomare
PlusATelomare
precomputeTelomare.Optimizer
PrettierIExpr 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
PrettyDataType 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
prettyEvalTelomare.RunTime
PrettyIExpr 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
PrettyPartialType 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
PrettyPattern 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
prettyPrintPrettyPrint
PrettyPrintablePrettyPrint
PrettyPrintable1PrettyPrint
PrettyUPT 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
PRightTelomare
prightTelomare
PRightATelomare
PRightFTelomare
processTelomare.Resolver
process2Term2Telomare.Resolver
pureEvalTelomare.RunTime
pureIEvalTelomare.RunTime
RecursionLimitErrorTelomare.Eval
RecursionPieceFragTelomare
RecursionSimulationPiecesTelomare
RecursionTestFTelomare.Possible
RecursiveTypeTelomare.TypeChecker
removeCaseUPsTelomare.Resolver
removeChecksTelomare.Eval
repeatFunctionFTelomare
reservedTelomare.Parser
ResultConversionErrorTelomare
resultIndexTelomare.RunTime
rEvalTelomare.RunTime
rewriteOuterTagTelomare.Resolver
rightBTelomare.Possible
RightFragTelomare
RightFragFTelomare
RightPTelomare.Eval
RightSFTelomare.Possible
RightTTelomare
RightUPTelomare
RightUPFTelomare
rootFragTelomare
RTETelomare.Eval
runMainTelomare.Eval
runMainCoreTelomare.Eval
runMainWithInputTelomare.Eval
runMain_Telomare.Eval
runParseLongExprTelomare.Parser
runStaticChecksTelomare.Eval
runTelomareParserTelomare.Parser
runTelomareParser2Term2Telomare.Resolver
runTelomareParserWDebugTelomare.Parser
runTelomareParser_Telomare.Parser
RunTimeErrorTelomare
rwsTelomare.Parser
s2gTelomare
s2gFTelomare
s2tTelomare.Resolver
scTelomare.Parser
schemeEvalTelomare.Eval
scnTelomare.Parser
SecondArgTelomare
SecondArgATelomare
SetEnvTelomare
setEnvTelomare.TypeChecker
setenvTelomare
SetEnvATelomare
setEnvBTelomare.Possible
SetEnvErrorTelomare
SetEnvFTelomare
setEnvFTelomare
SetEnvFragTelomare
SetEnvFragFTelomare
SetEnvPTelomare.Eval
SetEnvSFTelomare.Possible
SetEnvTTelomare
showFragAlgTelomare
showFragIndsPrettyPrint
showInternalPrettyPrint
showInternalPPrettyPrint
showNExprPrettyPrint
showNExprsPrettyPrint
showNIEPrettyPrint
showOneNExprPrettyPrint
showPPrettyPrint
showP1PrettyPrint
showPassTelomare.RunTime
showPIEPrettyPrint
showPIExprPrettyPrint
showRunBreakState'Telomare
showTPIExprPrettyPrint
showTypeDebugInfoPrettyPrint
simpleEvalTelomare.RunTime
sindentTelomare
SizedRecursion 
1 (Type/Class)Telomare.Possible
2 (Data Constructor)Telomare.Possible
SizedResultTelomare.Possible
SizeStageFTelomare.Possible
sizeTermTelomare.Possible
SizingWrapperTelomare
SizingWrapperFTelomare.Possible
splitExprTelomare.Resolver
splitExpr'Telomare.Resolver
StaticCheckErrorTelomare.Eval
StrictAccum 
1 (Type/Class)Telomare.Possible
2 (Data Constructor)Telomare.Possible
StringUPTelomare
StringUPFTelomare
StuckBaseTelomare.Possible
StuckEETelomare.Possible
stuckEETelomare.Possible
StuckExprTelomare.Possible
StuckExprBTelomare.Possible
StuckExprFTelomare.Possible
StuckExprSTelomare.Possible
StuckFTelomare.Possible
StuckFWTelomare.Possible
stuckStepTelomare.Possible
stuckStepMTelomare.Possible
SuperBaseTelomare.Possible
SuperEETelomare.Possible
superEETelomare.Possible
SuperExprTelomare.Possible
SuperExprATelomare.Possible
SuperExprBTelomare.Possible
SuperExprFTelomare.Possible
SuperExprPTelomare.Possible
SuperExprSTelomare.Possible
SuperFWTelomare.Possible
SuperPositionFTelomare.Possible
superStepTelomare.Possible
superStepMTelomare.Possible
symbolTelomare.Parser
tagTelomare
tagIExprWithEvalTelomare.Eval
TagTTelomare
tagUPTwithIExprTelomare.Eval
TAppTelomare
TAppFTelomare
TCETelomare.Eval
TCheckTelomare
TCheckFTelomare
TChurchTelomare
TChurchFTelomare
TelomareLikeTelomare
TelomareParserTelomare.Parser
telomareToFragmapTelomare
Term1Telomare
Term2Telomare
Term3 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
Term3' 
1 (Type/Class)Telomare.Resolver
2 (Data Constructor)Telomare.Resolver
term3ToUnsizedExprTelomare.Possible
Term4 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
term4toAbortExprTelomare.Possible
testNEvalTelomare.RunTime
tEvalTelomare.RunTime
THashTelomare
THashFTelomare
ThirdArgTelomare
ThirdArgATelomare
TITETelomare
TITEFTelomare
TLamTelomare
TLamFTelomare
TLeftTelomare
TLeftFTelomare
TLimitedRecursionTelomare
TLimitedRecursionFTelomare
ToChurchTelomare
toChurchTelomare
toFragNaturals
toIndExprTelomare
toIndExpr'Telomare
toTelomareTelomare
TPairTelomare
TPairFTelomare
TraceTelomare
TraceATelomare
traceAssociateTelomare.TypeChecker
TraceFTelomare
TraceFragTelomare
TraceFragFTelomare
TracePTelomare.Eval
traceSetNaturals
TraceTTelomare
TraceUPTelomare
TraceUPFTelomare
transformNoDeferTelomare.Possible
transformNoDeferMTelomare.Possible
TRightTelomare
TRightFTelomare
TTraceTelomare
TTraceFTelomare
TVarTelomare
TVarFTelomare
twiddleTelomare
TwoArgFunTelomare
TwoArgFunATelomare
TypeAssociation 
1 (Type/Class)Telomare.TypeChecker
2 (Data Constructor)Telomare.TypeChecker
typeCheckTelomare.TypeChecker
TypeCheckErrorTelomare.TypeChecker
TypeDebugInfo 
1 (Type/Class)PrettyPrint
2 (Data Constructor)PrettyPrint
typedEvalTelomare.RunTime
TypeIndex 
1 (Type/Class)Naturals
2 (Data Constructor)Naturals
TypeVariableTelomare
TZeroTelomare
TZeroFTelomare
unBetterMapTelomare.Eval
UnboundTypeTelomare.TypeChecker
unFragExprURTelomare
unFragExprUR'Telomare.Resolver
unFragExprURSATelomare
unFragIndexTelomare
unFunctionIndexTelomare.Possible
unIndexTelomare
UnknownNNaturals
unMonoidListTelomare.Possible
UnprocessedParsedTermTelomare
UnprocessedParsedTermFTelomare
UnsizableSRTelomare.Possible
unsized2abortExprTelomare.Possible
UnsizedBaseTelomare.Possible
UnsizedEETelomare.Possible
unsizedEETelomare.Possible
UnsizedExprTelomare.Possible
UnsizedExprATelomare.Possible
UnsizedExprBTelomare.Possible
UnsizedExprFTelomare.Possible
UnsizedExprPTelomare.Possible
UnsizedExprSTelomare.Possible
UnsizedExprUTelomare.Possible
UnsizedFWTelomare.Possible
unSizedRecursionTelomare.Possible
UnsizedRecursionFTelomare.Possible
UnsizedRecursionToken 
1 (Type/Class)Telomare
2 (Data Constructor)Telomare
UnsizedRecursionUPTelomare
UnsizedRecursionUPFTelomare
unsizedRecursionWrapperTelomare
unsizedStepMTelomare.Possible
UnsizedStubFTelomare.Possible
unTypeIndexNaturals
unUnsizedRecursionTokenTelomare
validateVariablesTelomare.Resolver
VAnnoTelomare.Optimizer
VAppTelomare.Optimizer
varTelomare
VarListTelomare.Resolver
varNTelomare
varNFTelomare
VarPTelomare.Eval
varsTerm1Telomare.Resolver
varsUPTTelomare.Resolver
VarUPTelomare
VarUPFTelomare
VClosureTelomare.Optimizer
verifyEvalTelomare.RunTime
VGateTelomare.Optimizer
VLeftTelomare.Optimizer
VoidFTelomare.Possible
VPairTelomare.Optimizer
VRightTelomare.Optimizer
VTraceTelomare.Optimizer
VVarTelomare.Optimizer
VZeroTelomare.Optimizer
withNewEnvTelomare.TypeChecker
ZeroTelomare
zeroTelomare
ZeroATelomare
zeroBTelomare.Possible
ZeroFTelomare
ZeroFragTelomare
ZeroFragFTelomare
ZeroPTelomare.Eval
ZeroSFTelomare.Possible
ZeroTTelomare
ZeroTypeTelomare
ZeroTypeNNaturals
ZeroTypePTelomare
_AppUPTelomare
_CaseUPTelomare
_CheckUPTelomare
_ChurchUPTelomare
_HashUPTelomare
_IntUPTelomare
_ITEUPTelomare
_LamUPTelomare
_LeftUPTelomare
_LetUPTelomare
_ListUPTelomare
_PairUPTelomare
_RightUPTelomare
_StringUPTelomare
_TraceUPTelomare
_UnsizedRecursionUPTelomare
_VarUPTelomare