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