| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Deontic.Civil.AgencyRemedies
Contents
Orphan instances
| Adjudicate AgencyWithdrawalAct '[Base] Source # | |
Methods adjudicate :: AgencyWithdrawalAct -> Facts AgencyWithdrawalAct -> Judgment '[Base] Source # | |
| Adjudicate AgencyWithdrawalAct rest => Adjudicate AgencyWithdrawalAct (CounterpartyKnowledge ': rest) Source # | |
Methods adjudicate :: AgencyWithdrawalAct -> Facts AgencyWithdrawalAct -> Judgment (CounterpartyKnowledge ': rest) Source # | |
| Adjudicate AgentLiabilityAct '[Base] Source # | |
Methods adjudicate :: AgentLiabilityAct -> Facts AgentLiabilityAct -> Judgment '[Base] Source # | |
| Adjudicate AgentLiabilityAct rest => Adjudicate AgentLiabilityAct (Proviso ': rest) Source # | |
Methods adjudicate :: AgentLiabilityAct -> Facts AgentLiabilityAct -> Judgment (Proviso ': rest) Source # | |