| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.Civil.Agency
Contents
Orphan instances
| Adjudicate AuthAgencyAct '[Base] Source # | |
Methods adjudicate :: AuthAgencyAct -> Facts AuthAgencyAct -> Judgment '[Base] Source # | |
| Adjudicate AuthAgencyAct rest => Adjudicate AuthAgencyAct (Proviso ': rest) Source # | |
Methods adjudicate :: AuthAgencyAct -> Facts AuthAgencyAct -> Judgment (Proviso ': rest) Source # | |
| Adjudicate UnauthAgencyAct '[Base] Source # | |
Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment '[Base] Source # | |
| Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (ApparentAuth ': rest) Source # | |
Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (ApparentAuth ': rest) Source # | |
| Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (Ratification ': rest) Source # | |
Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (Ratification ': rest) Source # | |