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