deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic
Safe HaskellSafe-Inferred
LanguageGHC2021

Deontic.Civil.Tort

Orphan instances

Adjudicate TortAct '[Base] Source # 
Instance details

Methods

adjudicate :: TortAct -> Facts TortAct -> Judgment '[Base] Source #

Adjudicate TortAct rest => Adjudicate TortAct (ContributoryNeg ': rest) Source # 
Instance details

Methods

adjudicate :: TortAct -> Facts TortAct -> Judgment (ContributoryNeg ': rest) Source #