Safe Haskell	Safe-Inferred
Language	GHC2021

Deontic.Core.Verdict

Description

Legal verdicts and their algebra.

Verdict forms a bounded semilattice under verdictMeet with Valid as identity and Void as absorbing element. The ordering Void > Pending > Voidable > Valid reflects legal severity.

Synopsis

data Verdict
- = Valid
- | Void
- | Voidable
- | Pending
verdictMeet :: Verdict -> Verdict -> Verdict

Documentation

data Verdict Source #

The four possible verdicts for a legal act.

Constructors

Valid	유효 — the act is fully effective
Void	무효 — the act has no legal effect
Voidable	취소가능 — the act is effective but may be rescinded
Pending	효력미정 — effectiveness depends on a future event

Instances

Instances details

Show Verdict Source #
Instance details Defined in Deontic.Core.Verdict Methods showsPrec :: Int -> Verdict -> ShowS # show :: Verdict -> String # showList :: [Verdict] -> ShowS #
Eq Verdict Source #
Instance details Defined in Deontic.Core.Verdict Methods (==) :: Verdict -> Verdict -> Bool # (/=) :: Verdict -> Verdict -> Bool #
Ord Verdict Source #
Instance details Defined in Deontic.Core.Verdict Methods compare :: Verdict -> Verdict -> Ordering # (<) :: Verdict -> Verdict -> Bool # (<=) :: Verdict -> Verdict -> Bool # (>) :: Verdict -> Verdict -> Bool # (>=) :: Verdict -> Verdict -> Bool # max :: Verdict -> Verdict -> Verdict # min :: Verdict -> Verdict -> Verdict #

verdictMeet :: Verdict -> Verdict -> Verdict Source #

Combine independent verdicts: Void > Pending > Voidable > Valid