| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.Render
Description
Synopsis
- class Renderer r where
- renderJudgment :: r -> Judgment layers -> Text
- judgmentSteps :: Judgment layers -> [Step]
- someJudgmentSteps :: SomeJudgment -> [Step]
- data Step = Step {}
- data StepKind
Documentation
class Renderer r where Source #
Renderer typeclass — jurisdiction-specific output
Methods
renderJudgment :: r -> Judgment layers -> Text Source #
judgmentSteps :: Judgment layers -> [Step] Source #
Extract the reasoning steps from a Judgment GADT (bottom-up)
someJudgmentSteps :: SomeJudgment -> [Step] Source #
Extract steps from an existentially-wrapped judgment
A single step in the reasoning chain
Constructors
| Step | |
Fields
| |
What happened at each layer of the reasoning chain.
Constructors
| Applied | Base rule was applied directly |
| Overridden | This layer overrode a lower layer's verdict |
| Delegated | This layer delegated to a lower layer (no override) |
| Counterfactual | This layer applied a counterfactual (§150-style) |