| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.Civil.Possession
Contents
Orphan instances
| Adjudicate PossessionAct '[Presumption] Source # | |
Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment '[Presumption] Source # | |
| Adjudicate PossessionAct rest => Adjudicate PossessionAct (Rebuttal ': rest) Source # | |
Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment (Rebuttal ': rest) Source # | |