Safe Haskell	Safe-Inferred
Language	GHC2021

Deontic.Civil.Acts

Contents

Orphan instances

Adjudicate FraudAct '[Base] Source #
Instance details Methods adjudicate :: FraudAct -> Facts FraudAct -> Judgment '[Base] Source #
Adjudicate FraudAct rest => Adjudicate FraudAct (Proviso ': rest) Source #
Instance details Methods adjudicate :: FraudAct -> Facts FraudAct -> Judgment (Proviso ': rest) Source #
Adjudicate JuristicAct '[Base] Source #
Instance details Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment '[Base] Source #
Adjudicate JuristicAct rest => Adjudicate JuristicAct (Proviso ': rest) Source #
Instance details Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment (Proviso ': rest) Source #
Adjudicate JuristicAct rest => Adjudicate JuristicAct (SpecialRule ': rest) Source #
Instance details Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment (SpecialRule ': rest) Source #
Adjudicate MistakeAct '[Base] Source #
Instance details Methods adjudicate :: MistakeAct -> Facts MistakeAct -> Judgment '[Base] Source #
Adjudicate MistakeAct rest => Adjudicate MistakeAct (Proviso ': rest) Source #
Instance details Methods adjudicate :: MistakeAct -> Facts MistakeAct -> Judgment (Proviso ': rest) Source #
Adjudicate ShamAct '[Base] Source #
Instance details Methods adjudicate :: ShamAct -> Facts ShamAct -> Judgment '[Base] Source #
Adjudicate ShamAct rest => Adjudicate ShamAct (Proviso ': rest) Source #
Instance details Methods adjudicate :: ShamAct -> Facts ShamAct -> Judgment (Proviso ': rest) Source #