API Reference¶

Haddock Documentation¶

Full API documentation is generated from the Haskell source using Haddock:

Type	Module	Description
`PersonId`	`Deontic.Core.Types`	Legal person identifier
`ActId`	`Deontic.Core.Types`	Legal act identifier
`ArticleRef`	`Deontic.Core.Types`	Statutory article reference
`Verdict`	`Deontic.Core.Verdict`	`Valid \\| Void \\| Voidable \\| Pending`
`Judgment layers`	`Deontic.Core.Adjudicate`	Proof term GADT
`SomeJudgment`	`Deontic.Core.Adjudicate`	Existentially wrapped judgment

Function	Type	Description
`query`	`Adjudicate act (Resolvable act) => act -> Facts act -> Judgment (Resolvable act)`	Main entry point
`verdict`	`Judgment layers -> Verdict`	Extract verdict from judgment
`verdictMeet`	`Verdict -> Verdict -> Verdict`	Combine two verdicts (semilattice meet)
`combineVerdicts`	`[SomeJudgment] -> Verdict`	Combine multiple independent judgments
`judgmentSteps`	`Judgment layers -> [Step]`	Extract reasoning chain
`renderJudgment`	`Renderer r => r -> Judgment layers -> Text`	Render as text

Family	Kind	Description
`Facts act`	`Type`	Evidence structure for an act type
`Resolvable act`	`[Type]`	Layer stack for an act type