| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.BGB.Capacity
Contents
Orphan instances
| Adjudicate CapacityAct '[Base] Source # | |
Methods adjudicate :: CapacityAct -> Facts CapacityAct -> Judgment '[Base] Source # | |
| Adjudicate CapacityAct rest => Adjudicate CapacityAct (Proviso ': rest) Source # | |
Methods adjudicate :: CapacityAct -> Facts CapacityAct -> Judgment (Proviso ': rest) Source # | |
| Adjudicate CapacityAct rest => Adjudicate CapacityAct (SpecialRule ': rest) Source # | |
Methods adjudicate :: CapacityAct -> Facts CapacityAct -> Judgment (SpecialRule ': rest) Source # | |