deontic-de-bgb-0.1.0.0: German Civil Code (BGB) fragment with type-level stratified deontic logic
Safe HaskellSafe-Inferred
LanguageGHC2021

Deontic.BGB.Types

Synopsis

Documentation

data CapacityAct Source #

Geschäftsfähigkeit — Capacity to contract (BGB §104-§113)

Constructors

CapacityAct 

Fields

Instances

Instances details
Show CapacityAct Source # 
Instance details

Defined in Deontic.BGB.Types

Methods

showsPrec :: Int -> CapacityAct -> ShowS #

show :: CapacityAct -> String #

showList :: [CapacityAct] -> ShowS #

Eq CapacityAct Source # 
Instance details

Defined in Deontic.BGB.Types

Methods

(==) :: CapacityAct -> CapacityAct -> Bool #

(/=) :: CapacityAct -> CapacityAct -> Bool #

Adjudicate CapacityAct '[Base] Source # 
Instance details

Defined in Deontic.BGB.Capacity

Methods

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

Adjudicate CapacityAct rest => Adjudicate CapacityAct (Proviso ': rest) Source # 
Instance details

Defined in Deontic.BGB.Capacity

Methods

adjudicate :: CapacityAct -> Facts CapacityAct -> Judgment (Proviso ': rest) Source #

Adjudicate CapacityAct rest => Adjudicate CapacityAct (SpecialRule ': rest) Source # 
Instance details

Defined in Deontic.BGB.Capacity

Methods

adjudicate :: CapacityAct -> Facts CapacityAct -> Judgment (SpecialRule ': rest) Source #

type Resolvable CapacityAct Source # 
Instance details

Defined in Deontic.BGB.Capacity

type Resolvable CapacityAct = '[SpecialRule, Proviso, Base]
type Facts CapacityAct Source # 
Instance details

Defined in Deontic.BGB.Types

type Facts CapacityAct = Set BGBFact

data BGBFact Source #

BGB-specific facts

Constructors

UnderSeven PersonId 
PermanentlyIncapable PersonId 
IsMinor PersonId 
LegalRepConsent PersonId ActId 
PurelyBeneficial 
PocketMoney 

Instances

Instances details
Show BGBFact Source # 
Instance details

Defined in Deontic.BGB.Types

Methods

showsPrec :: Int -> BGBFact -> ShowS #

show :: BGBFact -> String #

showList :: [BGBFact] -> ShowS #

Eq BGBFact Source # 
Instance details

Defined in Deontic.BGB.Types

Methods

(==) :: BGBFact -> BGBFact -> Bool #

(/=) :: BGBFact -> BGBFact -> Bool #

Ord BGBFact Source # 
Instance details

Defined in Deontic.BGB.Types

Methods

compare :: BGBFact -> BGBFact -> Ordering #

(<) :: BGBFact -> BGBFact -> Bool #

(<=) :: BGBFact -> BGBFact -> Bool #

(>) :: BGBFact -> BGBFact -> Bool #

(>=) :: BGBFact -> BGBFact -> Bool #

max :: BGBFact -> BGBFact -> BGBFact #

min :: BGBFact -> BGBFact -> BGBFact #

data LimitedCapacity Source #

Layer token for limited capacity (beschränkte Geschäftsfähigkeit)