| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.Civil.AcquisitivePrescription
Contents
Orphan instances
| Adjudicate AcqPrescriptionAct '[Base] Source # | |
Methods adjudicate :: AcqPrescriptionAct -> Facts AcqPrescriptionAct -> Judgment '[Base] Source # | |
| Adjudicate AcqPrescriptionAct rest => Adjudicate AcqPrescriptionAct (ShortPrescription ': rest) Source # | |
Methods adjudicate :: AcqPrescriptionAct -> Facts AcqPrescriptionAct -> Judgment (ShortPrescription ': rest) Source # | |