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