Safe Haskell	Safe-Inferred
Language	GHC2021

Deontic.Civil.Prescription

Contents

Orphan instances

Adjudicate PrescriptionAct '[Expiration] Source #
Instance details Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment '[Expiration] Source #
Adjudicate PrescriptionAct rest => Adjudicate PrescriptionAct (Interruption ': rest) Source #
Instance details Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment (Interruption ': rest) Source #