| :< | Data.Stack |
| <>> | Data.Stack |
| Add | Stg.Language |
| add | Stg.Prelude.Number, Stg.Prelude |
| addLocals | Stg.Machine.Env |
| Addr | Stg.Machine.Types |
| Address | Stg.Language.Prettyprint |
| AddressCore | Stg.Language.Prettyprint |
| Addresses | Stg.Machine.GarbageCollection.Common |
| AddrNotOnHeap | Stg.Marshal.FromStg, Stg.Marshal |
| addrs | Stg.Machine.GarbageCollection.Common |
| addTwoNumbers | Stg.ExamplePrograms |
| AlgebraicAlt | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| algebraicAlt | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| AlgebraicAlts | Stg.Language |
| AlgReturnToPrimAlts | Stg.Machine.Types |
| algReturnToPrimAlts | Stg.Machine.Evaluate.ErrorTransitions |
| alloc | Stg.Machine.Heap |
| allocMany | Stg.Machine.Heap |
| AltError | Stg.Machine.Evaluate.Common |
| AltMatch | Stg.Machine.Evaluate.Common |
| AltMatches | Stg.Machine.Evaluate.Common |
| Alts | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| alts | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| and2 | Stg.Prelude.Bool, Stg.Prelude |
| AppC | Stg.Language |
| AppF | Stg.Language |
| applyPrimOp | Stg.Machine.Evaluate.Common |
| AppP | Stg.Language |
| ArgumentFrame | Stg.Machine.Types |
| AstAnn | |
| 1 (Type/Class) | Stg.Language.Prettyprint |
| 2 (Data Constructor) | Stg.Language.Prettyprint, Stg.Machine.Types |
| Atom | Stg.Language |
| atom | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| AtomLit | Stg.Language |
| AtomVar | Stg.Language |
| BadAlt | Stg.Machine.Evaluate.Common |
| BadArity | Stg.Marshal.FromStg, Stg.Marshal |
| BadConArity | Stg.Machine.Types |
| badConArity | Stg.Machine.Evaluate.ErrorTransitions |
| Binds | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| binds | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| Blackhole | Stg.Machine.Types |
| bool | Stg.Prelude.Bool, Stg.Prelude |
| calculateLength | Stg.ExamplePrograms |
| Case | Stg.Language |
| classify | Stg.Language |
| Closure | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| ClosureType | Stg.Language.Prettyprint |
| Code | Stg.Machine.Types |
| commaSep | Stg.Util |
| compose | Stg.Prelude.Function, Stg.Prelude |
| con | Stg.Parser.Parser |
| concat2 | Stg.Prelude.List, Stg.Prelude |
| const | Stg.Prelude.Function, Stg.Prelude |
| Constr | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| Constructor | Stg.Language.Prettyprint |
| constructorArgumentNotInScope | Stg.Machine.Evaluate.ErrorTransitions |
| curry | Stg.Prelude.Tuple, Stg.Prelude |
| cycle | Stg.Prelude.List, Stg.Prelude |
| DefaultAlt | Stg.Language |
| defaultAlt | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| DefaultBound | Stg.Language |
| DefaultMatches | Stg.Machine.Evaluate.Common |
| DefaultNotBound | Stg.Language |
| Detail_BadConArity | Stg.Machine.Types |
| Detail_ConUpdate | Stg.Machine.Types |
| Detail_EnterBlackHole | Stg.Machine.Types |
| Detail_EnterNonUpdatable | Stg.Machine.Types |
| Detail_EnterUpdatable | Stg.Machine.Types |
| Detail_EvalCase | Stg.Machine.Types |
| Detail_EvalLet | Stg.Machine.Types |
| Detail_FunctionApplication | Stg.Machine.Types |
| Detail_GarbageCollected | Stg.Machine.Types |
| Detail_PapUpdate | Stg.Machine.Types |
| Detail_ReturnConDefBound | Stg.Machine.Types |
| Detail_ReturnCon_Match | Stg.Machine.Types |
| Detail_ReturnIntCannotUpdate | Stg.Machine.Types |
| Detail_ReturnIntDefBound | Stg.Machine.Types |
| Detail_StackNotEmpty | Stg.Machine.Types |
| Detail_UnusedLocalVariables | Stg.Machine.Types |
| Detail_UpdateClosureWithPrimitive | Stg.Machine.Types |
| Div | Stg.Language |
| div | Stg.Prelude.Number, Stg.Prelude |
| Div0 | Stg.Machine.Evaluate.Common |
| DivisionByZero | Stg.Machine.Types |
| divisionByZero | Stg.Machine.Evaluate.ErrorTransitions |
| Empty | Data.Stack |
| Enter | Stg.Machine.Types |
| EnterBlackhole | Stg.Machine.Types |
| enterBlackhole | Stg.Machine.Evaluate.ErrorTransitions |
| Eq | Stg.Language |
| equals_List_Int | Stg.Prelude.List, Stg.Prelude |
| equals_Pair_Int | Stg.Prelude.Tuple, Stg.Prelude |
| eq_Bool | Stg.Prelude.Bool, Stg.Prelude |
| eq_Int | Stg.Prelude.Number, Stg.Prelude |
| Eval | Stg.Machine.Types |
| evalStep | Stg.Machine.Evaluate, Stg.Machine |
| evalsUntil | Stg.Machine |
| evalUntil | Stg.Machine |
| Expr | Stg.Language |
| expr | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| Failure | Stg.Util |
| fibonacciImproved | Stg.ExamplePrograms |
| fibonacciNaive | Stg.ExamplePrograms |
| fibonacciZipWith | Stg.ExamplePrograms |
| filter | Stg.Prelude.List, Stg.Prelude |
| fix | Stg.Prelude.Function, Stg.Prelude |
| foldl | Stg.Prelude.List, Stg.Prelude |
| foldl' | Stg.Prelude.List, Stg.Prelude |
| foldr | Stg.Prelude.List, Stg.Prelude |
| force | Stg.Prelude |
| forceSpine | Stg.Prelude.List, Stg.Prelude |
| forEachPop | Data.Stack |
| FreeVariables | Stg.StaticAnalysis |
| freeVariables | Stg.StaticAnalysis |
| FromStg | Stg.Marshal.FromStg, Stg.Marshal |
| fromStg | Stg.Marshal.FromStg, Stg.Marshal |
| fromStgAddr | Stg.Marshal.FromStg |
| FromStgError | Stg.Marshal.FromStg, Stg.Marshal |
| fromStgPrim | Stg.Marshal.FromStg |
| fst | Stg.Prelude.Tuple, Stg.Prelude |
| functionArgumentNotInScope | Stg.Machine.Evaluate.ErrorTransitions |
| garbageCollect | Stg.Machine.GarbageCollection, Stg.Machine |
| GarbageCollection | Stg.Machine.Types |
| GarbageCollectionAlgorithm | |
| 1 (Type/Class) | Stg.Machine.GarbageCollection.Common, Stg.Machine.GarbageCollection, Stg.Machine |
| 2 (Data Constructor) | Stg.Machine.GarbageCollection.Common |
| Geq | Stg.Language |
| geq_Int | Stg.Prelude.Number, Stg.Prelude |
| Globals | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| globalVal | Stg.Machine.Env |
| Gt | Stg.Language |
| gt_Int | Stg.Prelude.Number, Stg.Prelude |
| HaltedByPredicate | Stg.Machine.Types |
| HaltIf | |
| 1 (Type/Class) | Stg.Machine |
| 2 (Data Constructor) | Stg.Machine |
| HClosure | Stg.Machine.Types |
| Headline | Stg.Language.Prettyprint |
| Heap | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| HeapObject | Stg.Machine.Types |
| id | Stg.Prelude.Function, Stg.Prelude |
| implies | Stg.ExamplePrograms |
| Info | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| InfoDetail | Stg.Machine.Types |
| InfoShort | Stg.Machine.Types |
| initialState | Stg.Machine |
| InitialStateCreationFailed | Stg.Machine.Types |
| IsBlackhole | Stg.Marshal.FromStg, Stg.Marshal |
| IsWrongLambdaType | Stg.Marshal.FromStg, Stg.Marshal |
| iterate | Stg.Prelude.List, Stg.Prelude |
| Keyword | Stg.Language.Prettyprint |
| LambdaCon | Stg.Language |
| LambdaForm | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| lambdaForm | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| LambdaFun | Stg.Language |
| LambdaThunk | Stg.Language |
| LambdaType | Stg.Language |
| length | Stg.Prelude.List, Stg.Prelude |
| Leq | Stg.Language |
| leq_Int | Stg.Prelude.Number, Stg.Prelude |
| Let | Stg.Language |
| librarySort | Stg.ExamplePrograms |
| listConcatLeftAssociated | Stg.ExamplePrograms |
| listConcatRightAssociated | Stg.ExamplePrograms |
| LitE | Stg.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 |
| localVal | Stg.Machine.Env |
| lookup | Stg.Machine.Heap |
| lookupAlgebraicAlt | Stg.Machine.Evaluate.Common |
| lookupPrimitiveAlt | Stg.Machine.Evaluate.Common |
| Lt | Stg.Language |
| lt_Int | Stg.Prelude.Number, Stg.Prelude |
| makeLocals | Stg.Machine.Env |
| map | Stg.Prelude.List, Stg.Prelude |
| mapNot | Stg.ExamplePrograms |
| mapNotForced | Stg.ExamplePrograms |
| Mapping | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| max | Stg.Prelude.Number, Stg.Prelude |
| MaxStepsExceeded | Stg.Machine.Types |
| maybe | Stg.Prelude.Maybe, Stg.Prelude |
| MemAddr | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| min | Stg.Prelude.Number, Stg.Prelude |
| Mod | Stg.Language |
| mod | Stg.Prelude.Number, Stg.Prelude |
| Mul | Stg.Language |
| mul | Stg.Prelude.Number, Stg.Prelude |
| naiveSort | |
| 1 (Function) | Stg.Prelude.List, Stg.Prelude |
| 2 (Function) | Stg.ExamplePrograms |
| Neq | Stg.Language |
| neq_Int | Stg.Prelude.Number, Stg.Prelude |
| nil | Stg.Prelude.List, Stg.Prelude |
| NoConstructorMatch | Stg.Marshal.FromStg, Stg.Marshal |
| NonAlgPrimScrutinee | Stg.Machine.Types |
| nonAlgPrimScrutinee | Stg.Machine.Evaluate.ErrorTransitions |
| NonDefaultAlts | Stg.Language |
| nonDefaultAlts | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| NoNonDefaultAlts | Stg.Language |
| NonRecursive | Stg.Language |
| NoRulesApply | Stg.Machine.Types |
| not | Stg.Prelude.Bool, Stg.Prelude |
| NotFound | Stg.Marshal.FromStg, Stg.Marshal |
| nothing | Stg.Prelude.Maybe, Stg.Prelude |
| NotInScope | |
| 1 (Type/Class) | Stg.Machine.Types, Stg.Machine.Env |
| 2 (Data Constructor) | Stg.Machine.Types, Stg.Machine.Env |
| NoUpdate | Stg.Language |
| or2 | Stg.Prelude.Bool, Stg.Prelude |
| parse | Stg.Parser.Parser |
| partition | Stg.Prelude.List, Stg.Prelude |
| PerformGc | |
| 1 (Type/Class) | Stg.Machine |
| 2 (Data Constructor) | Stg.Machine |
| Pretty | Stg.Language |
| pretty | Stg.Language |
| prettyLambda | Stg.Language |
| prettyList | Stg.Language |
| prettyprintOldAnsi | Stg.Language.Prettyprint |
| PrettyStgi | Stg.Language.Prettyprint |
| prettyStgi | Stg.Language.Prettyprint |
| Prim | Stg.Language.Prettyprint |
| PrimError | Stg.Machine.Evaluate.Common |
| PrimInt | Stg.Machine.Types |
| PrimitiveAlt | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| primitiveAlt | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| PrimitiveAlts | Stg.Language |
| PrimOp | Stg.Language |
| primOp | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| primopArgumentNotInScope | Stg.Machine.Evaluate.ErrorTransitions |
| PrimReturnToAlgAlts | Stg.Machine.Types |
| primReturnToAlgAlts | Stg.Machine.Evaluate.ErrorTransitions |
| Program | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| program | |
| 1 (Function) | Stg.Parser.Parser |
| 2 (Function) | Stg.Parser.QuasiQuoter |
| Rec | Stg.Language |
| Recursive | Stg.Language |
| renderPlain | Stg.Language.Prettyprint |
| renderRich | Stg.Language.Prettyprint |
| repeat | Stg.Prelude.List, Stg.Prelude |
| repeatNaive | Stg.ExamplePrograms |
| repeatSharing | Stg.ExamplePrograms |
| replicate | Stg.Prelude.List, Stg.Prelude |
| ReturnCon | Stg.Machine.Types |
| ReturnFrame | Stg.Machine.Types |
| ReturnInt | Stg.Machine.Types |
| ReturnIntWithEmptyReturnStack | Stg.Machine.Types |
| returnWithEmptyReturnStack | Stg.Machine.Evaluate.ErrorTransitions |
| reverse | Stg.Prelude.List, Stg.Prelude |
| Rule10_LitApp | Stg.Machine.Types |
| rule10_primitiveLiteralApp | Stg.Machine.Evaluate.ValidTransitions |
| rule11_primitiveNormalMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule11_ReturnInt_Match | Stg.Machine.Types |
| rule12_primitiveBoundDefaultMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule12_ReturnInt_DefBound | Stg.Machine.Types |
| rule13_primitiveUnboundDefaultMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule13_ReturnInt_DefUnbound | Stg.Machine.Types |
| Rule14_Eval_AppP | Stg.Machine.Types |
| rule14_primop | Stg.Machine.Evaluate.ValidTransitions |
| rule15_enterUpdatable | Stg.Machine.Evaluate.ValidTransitions |
| Rule15_Enter_UpdatableClosure | Stg.Machine.Types |
| rule16_missingReturnUpdate | Stg.Machine.Evaluate.ValidTransitions |
| Rule16_ReturnCon_Update | Stg.Machine.Types |
| Rule17a_Enter_PartiallyAppliedUpdate | Stg.Machine.Types |
| rule17a_missingArgUpdate | Stg.Machine.Evaluate.ValidTransitions |
| Rule17_Enter_PartiallyAppliedUpdate | Stg.Machine.Types |
| rule17_missingArgUpdate | Stg.Machine.Evaluate.ValidTransitions |
| rule1819_casePrimopShortcut | Stg.Machine.Evaluate.ValidTransitions |
| Rule1819_Eval_Case_Primop_Shortcut | Stg.Machine.Types |
| Rule1_Eval_FunctionApplication | Stg.Machine.Types |
| rule1_functionApp | Stg.Machine.Evaluate.ValidTransitions |
| rule2_enterNonUpdatable | Stg.Machine.Evaluate.ValidTransitions |
| Rule2_Enter_NonUpdatableClosure | Stg.Machine.Types |
| Rule3_Eval_Let | Stg.Machine.Types |
| rule3_let | Stg.Machine.Evaluate.ValidTransitions |
| rule4_case | Stg.Machine.Evaluate.ValidTransitions |
| Rule4_Eval_Case | Stg.Machine.Types |
| rule5_constructorApp | Stg.Machine.Evaluate.ValidTransitions |
| Rule5_Eval_AppC | Stg.Machine.Types |
| rule6_algebraicNormalMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule6_ReturnCon_Match | Stg.Machine.Types |
| rule7_algebraicUnboundDefaultMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule7_ReturnCon_DefUnbound | Stg.Machine.Types |
| rule8_algebraicBoundDefaultMatch | Stg.Machine.Evaluate.ValidTransitions |
| Rule8_ReturnCon_DefBound | Stg.Machine.Types |
| Rule9_Lit | Stg.Machine.Types |
| rule9_primitiveLiteralEval | Stg.Machine.Evaluate.ValidTransitions |
| RunForMaxSteps | Stg.Machine |
| RunForSteps | Stg.Machine |
| RunIndefinitely | Stg.Machine |
| Semicolon | Stg.Language.Prettyprint |
| seq | Stg.Prelude.Function, Stg.Prelude |
| show' | Stg.Util |
| size | Stg.Machine.Heap |
| snd | Stg.Prelude.Tuple, Stg.Prelude |
| sort | Stg.Prelude.List, Stg.Prelude |
| span | Data.Stack |
| splitHeapWith | Stg.Machine.GarbageCollection.Common |
| Stack | Data.Stack |
| StackFrame | Stg.Machine.Types |
| StackFrameType | Stg.Language.Prettyprint |
| StateAnn | |
| 1 (Type/Class) | Stg.Language.Prettyprint |
| 2 (Data Constructor) | Stg.Language.Prettyprint, Stg.Machine.Types |
| StateError | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| StateInitial | Stg.Machine.Types |
| StateTransition | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| stg | Stg.Parser.QuasiQuoter |
| stgCode | Stg.Machine.Types |
| stgGlobals | Stg.Machine.Types |
| stgHeap | Stg.Machine.Types |
| StgiAnn | Stg.Language.Prettyprint, Stg.Machine.Types |
| stgInfo | Stg.Machine.Types |
| StgParser | Stg.Parser.Parser |
| stgStack | Stg.Machine.Types |
| StgState | |
| 1 (Type/Class) | Stg.Machine.Types |
| 2 (Data Constructor) | Stg.Machine.Types |
| stgSteps | Stg.Machine.Types |
| Sub | Stg.Language |
| sub | Stg.Prelude.Number, Stg.Prelude |
| Success | Stg.Util |
| sum_foldl | Stg.ExamplePrograms |
| sum_foldl' | Stg.ExamplePrograms |
| sum_foldl'ViaFoldr | Stg.ExamplePrograms |
| sum_foldr | Stg.ExamplePrograms |
| swap | Stg.Prelude.Tuple, Stg.Prelude |
| take | Stg.Prelude.List, Stg.Prelude |
| terminated | Stg.Machine |
| ToStg | Stg.Marshal.ToStg, Stg.Marshal |
| toStg | Stg.Marshal.ToStg, Stg.Marshal |
| toStgWithGlobals | Stg.Marshal.ToStg |
| triStateTracing | Stg.Machine.GarbageCollection.TriStateTracing, Stg.Machine.GarbageCollection, Stg.Machine |
| twoSpaceCopying | Stg.Machine.GarbageCollection.TwoSpaceCopying, Stg.Machine.GarbageCollection, Stg.Machine |
| TypeMismatch | Stg.Marshal.FromStg, Stg.Marshal |
| uncurry | Stg.Prelude.Tuple, Stg.Prelude |
| UpdatableClosureWithArgs | Stg.Machine.Types |
| updatableClosureWithArgs | Stg.Machine.Evaluate.ErrorTransitions |
| Update | Stg.Language |
| update | Stg.Machine.Heap |
| UpdateAddrs | Stg.Machine.GarbageCollection.Common |
| updateAddrs | Stg.Machine.GarbageCollection.Common |
| UpdateClosureWithPrimitive | Stg.Machine.Types |
| updateClosureWithPrimitive | Stg.Machine.Evaluate.ErrorTransitions |
| UpdateFlag | Stg.Language |
| UpdateFrame | Stg.Machine.Types |
| updateMany | Stg.Machine.Heap |
| val | Stg.Machine.Env |
| Validate | Stg.Util |
| vals | Stg.Machine.Env |
| Value | Stg.Machine.Types |
| Var | |
| 1 (Type/Class) | Stg.Language |
| 2 (Data Constructor) | Stg.Language |
| var | Stg.Parser.Parser |
| Variable | Stg.Language.Prettyprint |
| VariablesNotInScope | Stg.Machine.Types |
| zip | Stg.Prelude.List, Stg.Prelude |
| zipWith | Stg.Prelude.List, Stg.Prelude |