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