SSTG.Core.Execution.Rules

Rules

Documentation

data Rule

Rules that are applied during STG reduction.

Constructors

RuleAtomLit

RuleAtomLitPtr

RuleAtomValPtr

RuleAtomUnInt

RulePrimApp

RuleConApp

RuleFunAppExact

RuleFunAppUnder

RuleFunAppSym

RuleFunAppConPtr

RuleFunAppUnInt

RuleLet

RuleCaseLit

RuleCaseConPtr

RuleCaseAnyLit

RuleCaseAnyConPtr

RuleCaseSym

RuleUpdateCThunk

RuleUpdateDLit

RuleUpdateDValPtr

RuleCaseCCaseNonVal

RuleCaseDLit

RuleCaseDValPtr

RuleApplyCFunThunk

RuleApplyCFunAppOver

RuleApplyDReturnFun

RuleApplyDReturnSym

RuleIdentity

Instances

Eq Rule

Methods

(==) :: Rule -> Rule -> Bool

(/=) :: Rule -> Rule -> Bool

Ord Rule

Methods

compare :: Rule -> Rule -> Ordering

(<) :: Rule -> Rule -> Bool

(<=) :: Rule -> Rule -> Bool

(>) :: Rule -> Rule -> Bool

(>=) :: Rule -> Rule -> Bool

max :: Rule -> Rule -> Rule

min :: Rule -> Rule -> Rule

Read Rule

Methods

readsPrec :: Int -> ReadS Rule

readList :: ReadS [Rule]

readPrec :: ReadPrec Rule

readListPrec :: ReadPrec [Rule]

Show Rule

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

reduce :: State -> Maybe (Rule, [State])

Reduce the state if it matches some type of reduction Rule. Return Nothing to denote that rule application has completely failed.

isStateValForm :: State -> Bool

Is the State in a normal form that cannot be reduced further?