Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Rules
- data Rule
- = 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
- reduce :: State -> Maybe (Rule, [State])
- isStateValueForm :: State -> Bool
Documentation
Rule
s that are applied during STG reduction.