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