stgi-1: Educational implementation of the STG (Spineless Tagless G-machine)

Index

:<Data.Stack
<>>Data.Stack
AddStg.Language
addStg.Prelude.Number, Stg.Prelude
addLocalsStg.Machine.Env
AddrStg.Machine.Types
addressStg.Machine.Types
addressCoreStg.Machine.Types
AddressesStg.Machine.GarbageCollection.Common
AddrNotOnHeapStg.Marshal.FromStg, Stg.Marshal
addrsStg.Machine.GarbageCollection.Common
addTwoNumbersStg.ExamplePrograms
AlgebraicAlt 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
algebraicAlt 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
AlgebraicAltsStg.Language
AlgReturnToPrimAltsStg.Machine.Types
allocStg.Machine.Heap
allocManyStg.Machine.Heap
Alts 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
alts 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
and2Stg.Prelude.Bool, Stg.Prelude
AppCStg.Language
AppFStg.Language
AppPStg.Language
ArgumentFrameStg.Machine.Types
AtomStg.Language
atom 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
AtomLitStg.Language
AtomVarStg.Language
BadArityStg.Marshal.FromStg, Stg.Marshal
BadConArityStg.Machine.Types
Binds 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
binds 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
BlackholeStg.Machine.Types
boolStg.Prelude.Bool, Stg.Prelude
bulletListStg.Util
calculateLengthStg.ExamplePrograms
CaseStg.Language
classifyStg.Language
Closure 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
closureTypeStg.Machine.Types
CodeStg.Machine.Types
commaSepStg.Util
composeStg.Prelude.Function, Stg.Prelude
conStg.Parser.Parser
concat2Stg.Prelude.List, Stg.Prelude
constStg.Prelude.Function, Stg.Prelude
Constr 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
curryStg.Prelude.Tuple, Stg.Prelude
cycleStg.Prelude.List, Stg.Prelude
DefaultAltStg.Language
defaultAlt 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
DefaultBoundStg.Language
DefaultNotBoundStg.Language
Detail_BadConArityStg.Machine.Types
Detail_ConUpdateStg.Machine.Types
Detail_EnterBlackHoleStg.Machine.Types
Detail_EnterNonUpdatableStg.Machine.Types
Detail_EnterUpdatableStg.Machine.Types
Detail_EvalCaseStg.Machine.Types
Detail_EvalLetStg.Machine.Types
Detail_FunctionApplicationStg.Machine.Types
Detail_GarbageCollectedStg.Machine.Types
Detail_PapUpdateStg.Machine.Types
Detail_ReturnConDefBoundStg.Machine.Types
Detail_ReturnCon_MatchStg.Machine.Types
Detail_ReturnIntCannotUpdateStg.Machine.Types
Detail_ReturnIntDefBoundStg.Machine.Types
Detail_StackNotEmptyStg.Machine.Types
Detail_UnusedLocalVariablesStg.Machine.Types
Detail_UpdateClosureWithPrimitiveStg.Machine.Types
DivStg.Language
divStg.Prelude.Number, Stg.Prelude
DivisionByZeroStg.Machine.Types
EmptyData.Stack
EnterStg.Machine.Types
EnterBlackholeStg.Machine.Types
Enter_NonUpdatableClosureStg.Machine.Types
Enter_PartiallyAppliedUpdateStg.Machine.Types
Enter_UpdatableClosureStg.Machine.Types
EqStg.Language
equals_List_IntStg.Prelude.List, Stg.Prelude
equals_Pair_IntStg.Prelude.Tuple, Stg.Prelude
eq_BoolStg.Prelude.Bool, Stg.Prelude
eq_IntStg.Prelude.Number, Stg.Prelude
EvalStg.Machine.Types
evalStepStg.Machine.Evaluate, Stg.Machine
evalsUntilStg.Machine
evalUntilStg.Machine
Eval_AppCStg.Machine.Types
Eval_AppPStg.Machine.Types
Eval_CaseStg.Machine.Types
Eval_Case_Primop_DefaultBoundStg.Machine.Types
Eval_Case_Primop_NormalStg.Machine.Types
Eval_FunctionApplicationStg.Machine.Types
Eval_LetStg.Machine.Types
Eval_LitStg.Machine.Types
Eval_LitAppStg.Machine.Types
ExprStg.Language
expr 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
FailureStg.Util
fibonacciImprovedStg.ExamplePrograms
fibonacciNaiveStg.ExamplePrograms
fibonacciZipWithStg.ExamplePrograms
filterStg.Prelude.List, Stg.Prelude
fixStg.Prelude.Function, Stg.Prelude
foldlStg.Prelude.List, Stg.Prelude
foldl'Stg.Prelude.List, Stg.Prelude
foldrStg.Prelude.List, Stg.Prelude
forceStg.Prelude
forceSpineStg.Prelude.List, Stg.Prelude
forEachPopData.Stack
FromStgStg.Marshal.FromStg, Stg.Marshal
fromStgStg.Marshal.FromStg, Stg.Marshal
fromStgAddrStg.Marshal.FromStg
FromStgErrorStg.Marshal.FromStg, Stg.Marshal
fromStgPrimStg.Marshal.FromStg
fstStg.Prelude.Tuple, Stg.Prelude
garbageCollectStg.Machine.GarbageCollection, Stg.Machine
GarbageCollectionStg.Machine.Types
GarbageCollectionAlgorithm 
1 (Type/Class)Stg.Machine.GarbageCollection.Common, Stg.Machine.GarbageCollection, Stg.Machine
2 (Data Constructor)Stg.Machine.GarbageCollection.Common
GeqStg.Language
geq_IntStg.Prelude.Number, Stg.Prelude
Globals 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
globalValStg.Machine.Env
GtStg.Language
gt_IntStg.Prelude.Number, Stg.Prelude
HaltedByPredicateStg.Machine.Types
HaltIf 
1 (Type/Class)Stg.Machine
2 (Data Constructor)Stg.Machine
HClosureStg.Machine.Types
headlineStg.Machine.Types
Heap 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
HeapObjectStg.Machine.Types
idStg.Prelude.Function, Stg.Prelude
Info 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
InfoDetailStg.Machine.Types
InfoShortStg.Machine.Types
initialStateStg.Machine
InitialStateCreationFailedStg.Machine.Types
IsBlackholeStg.Marshal.FromStg, Stg.Marshal
IsWrongLambdaTypeStg.Marshal.FromStg, Stg.Marshal
iterateStg.Prelude.List, Stg.Prelude
LambdaConStg.Language
LambdaForm 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
lambdaForm 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
LambdaFunStg.Language
LambdaThunkStg.Language
LambdaTypeStg.Language
lengthStg.Prelude.List, Stg.Prelude
LeqStg.Language
leq_IntStg.Prelude.Number, Stg.Prelude
LetStg.Language
librarySortStg.ExamplePrograms
listConcatLeftAssociatedStg.ExamplePrograms
listConcatRightAssociatedStg.ExamplePrograms
LitStg.Language
Literal 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
literal 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
Locals 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
localValStg.Machine.Env
lookupStg.Machine.Heap
LtStg.Language
lt_IntStg.Prelude.Number, Stg.Prelude
makeLocalsStg.Machine.Env
mapStg.Prelude.List, Stg.Prelude
Mapping 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
maxStg.Prelude.Number, Stg.Prelude
MaxStepsExceededStg.Machine.Types
maybeStg.Prelude.Maybe, Stg.Prelude
MemAddr 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
minStg.Prelude.Number, Stg.Prelude
ModStg.Language
modStg.Prelude.Number, Stg.Prelude
MulStg.Language
mulStg.Prelude.Number, Stg.Prelude
naiveSort 
1 (Function)Stg.Prelude.List, Stg.Prelude
2 (Function)Stg.ExamplePrograms
NeqStg.Language
neq_IntStg.Prelude.Number, Stg.Prelude
nilStg.Prelude.List, Stg.Prelude
NoConstructorMatchStg.Marshal.FromStg, Stg.Marshal
NonAlgPrimScrutineeStg.Machine.Types
NonDefaultAltsStg.Language
nonDefaultAlts 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
NoNonDefaultAltsStg.Language
NonRecursiveStg.Language
NoRulesApplyStg.Machine.Types
notStg.Prelude.Bool, Stg.Prelude
NotFoundStg.Marshal.FromStg, Stg.Marshal
nothingStg.Prelude.Maybe, Stg.Prelude
NotInScope 
1 (Type/Class)Stg.Machine.Types, Stg.Machine.Env
2 (Data Constructor)Stg.Machine.Types, Stg.Machine.Env
NoUpdateStg.Language
or2Stg.Prelude.Bool, Stg.Prelude
parseStg.Parser.Parser
PerformGc 
1 (Type/Class)Stg.Machine
2 (Data Constructor)Stg.Machine
pluralSStg.Util
PrettyStg.Language.Prettyprint, Stg.Language
prettyStg.Language.Prettyprint, Stg.Language
prettyLambdaStg.Language
prettyListStg.Language.Prettyprint, Stg.Language
prettyprintStg.Language.Prettyprint
prettyprintPlainStg.Language.Prettyprint
PrimIntStg.Machine.Types
PrimitiveAlt 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
primitiveAlt 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
PrimitiveAltsStg.Language
PrimOpStg.Language
primOp 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
PrimReturnToAlgAltsStg.Machine.Types
Program 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
program 
1 (Function)Stg.Parser.Parser
2 (Function)Stg.Parser.QuasiQuoter
RecStg.Language
RecursiveStg.Language
repeatStg.Prelude.List, Stg.Prelude
repeatNaiveStg.ExamplePrograms
repeatSharingStg.ExamplePrograms
replicateStg.Prelude.List, Stg.Prelude
ReturnConStg.Machine.Types
ReturnCon_DefBoundStg.Machine.Types
ReturnCon_DefUnboundStg.Machine.Types
ReturnCon_MatchStg.Machine.Types
ReturnCon_UpdateStg.Machine.Types
ReturnFrameStg.Machine.Types
ReturnIntStg.Machine.Types
ReturnIntWithEmptyReturnStackStg.Machine.Types
ReturnInt_DefBoundStg.Machine.Types
ReturnInt_DefUnboundStg.Machine.Types
ReturnInt_MatchStg.Machine.Types
reverseStg.Prelude.List, Stg.Prelude
RunForMaxStepsStg.Machine
RunForStepsStg.Machine
RunIndefinitelyStg.Machine
seqStg.Prelude.Function, Stg.Prelude
show'Stg.Util
sizeStg.Machine.Heap
sndStg.Prelude.Tuple, Stg.Prelude
sortStg.Prelude.List, Stg.Prelude
spanData.Stack
splitHeapWithStg.Machine.GarbageCollection.Common
StackData.Stack
StackFrameStg.Machine.Types
stackFrameTypeStg.Machine.Types
StateError 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
StateInitialStg.Machine.Types
StateTransition 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
stgStg.Parser.QuasiQuoter
stgCodeStg.Machine.Types
stgGlobalsStg.Machine.Types
stgHeapStg.Machine.Types
stgInfoStg.Machine.Types
StgParserStg.Parser.Parser
stgStackStg.Machine.Types
StgState 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
StgStateStyle 
1 (Type/Class)Stg.Machine.Types
2 (Data Constructor)Stg.Machine.Types
stgStepsStg.Machine.Types
SubStg.Language
subStg.Prelude.Number, Stg.Prelude
SuccessStg.Util
sum_foldlStg.ExamplePrograms
sum_foldl'Stg.ExamplePrograms
sum_foldl'ViaFoldrStg.ExamplePrograms
sum_foldrStg.ExamplePrograms
swapStg.Prelude.Tuple, Stg.Prelude
takeStg.Prelude.List, Stg.Prelude
terminatedStg.Machine
ToStgStg.Marshal.ToStg, Stg.Marshal
toStgStg.Marshal.ToStg, Stg.Marshal
toStgWithGlobalsStg.Marshal.ToStg
triStateTracingStg.Machine.GarbageCollection.TriStateTracing, Stg.Machine.GarbageCollection, Stg.Machine
twoSpaceCopyingStg.Machine.GarbageCollection.TwoSpaceCopying, Stg.Machine.GarbageCollection, Stg.Machine
TypeMismatchStg.Marshal.FromStg, Stg.Marshal
uncurryStg.Prelude.Tuple, Stg.Prelude
UpdatableClosureWithArgsStg.Machine.Types
UpdateStg.Language
updateStg.Machine.Heap
UpdateAddrsStg.Machine.GarbageCollection.Common
updateAddrsStg.Machine.GarbageCollection.Common
UpdateClosureWithPrimitiveStg.Machine.Types
UpdateFlagStg.Language
UpdateFrameStg.Machine.Types
updateManyStg.Machine.Heap
valStg.Machine.Env
ValidateStg.Util
valsStg.Machine.Env
ValueStg.Machine.Types
Var 
1 (Type/Class)Stg.Language
2 (Data Constructor)Stg.Language
varStg.Parser.Parser
VariablesNotInScopeStg.Machine.Types
zipStg.Prelude.List, Stg.Prelude
zipWithStg.Prelude.List, Stg.Prelude