stgi-1.1: Educational implementation of the STG (Spineless Tagless G-machine) (Index - R)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
Z
:
<
All

Index - R

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