Stg.Machine

initialState

Evaluation

evalStep

evalUntil

evalsUntil

terminated

data HaltIf

data RunForSteps

Garbage collection

garbageCollect

data PerformGc

data GarbageCollectionAlgorithm

triStateTracing

twoSpaceCopying