Safe Haskell	Safe-Inferred
Language	GHC2021

Deontic.Civil.Types

Description

Korean Civil Act type definitions.

For the full coverage summary, see Deontic.Civil.

Synopsis

data MinorAct = MinorAct {
- maActor :: PersonId
- maActId :: ActId
}
data JuristicAct = JuristicAct {
- jaActor :: PersonId
- jaActId :: ActId
}
data ShamAct = ShamAct {
- saActor :: PersonId
- saActId :: ActId
}
data MistakeAct = MistakeAct {
- mkActor :: PersonId
- mkActId :: ActId
}
data FraudAct = FraudAct {
- faActor :: PersonId
- faActId :: ActId
}
data AuthAgencyAct = AuthAgencyAct {
- aaaPrincipal :: PersonId
- aaaAgent :: PersonId
- aaaActId :: ActId
}
data UnauthAgencyAct = UnauthAgencyAct {
- uaaPrincipal :: PersonId
- uaaAgent :: PersonId
- uaaActId :: ActId
}
data PossessionAct = PossessionAct {
- paActor :: PersonId
- paActId :: ActId
}
data PrescriptionAct = PrescriptionAct {
- prCreditor :: PersonId
- prClaimId :: ActId
}
data CoOwnershipAct = CoOwnershipAct {
- coActId :: ActId
}
data TortAct = TortAct {
- taVictim :: PersonId
- taTortfeasor :: PersonId
- taActId :: ActId
}
data RescissionAct = RescissionAct {
- raActor :: PersonId
- raActId :: ActId
}
data PropertyTransferAct = PropertyTransferAct {
- ptActor :: PersonId
- ptActId :: ActId
}
data AcqPrescriptionAct = AcqPrescriptionAct {
- apActor :: PersonId
- apActId :: ActId
}
data DefaultAct = DefaultAct {
- dfCreditor :: PersonId
- dfDebtor :: PersonId
- dfActId :: ActId
}
data WarrantyAct = WarrantyAct {
- waActor :: PersonId
- waActId :: ActId
}
data LeaseAct = LeaseAct {
- laLessor :: PersonId
- laLessee :: PersonId
- laActId :: ActId
}
data CivilFact
- = IsNaturalPerson PersonId
- | IsJuristicPerson PersonId
- | IsMinor PersonId
- | IsAdult PersonId
- | HasGuardian PersonId PersonId
- | HasConsent PersonId ActId
- | PerformsAct PersonId ActId
- | MerelyAcquiresRight
- | ContraBonorsMores
- | ExploitativeAct
- | HiddenIntention
- | CounterpartyKnew
- | BonaFideThirdParty
- | GrossNegligence
- | ThirdPartyFraud
- | CounterpartyKnewFraud
- | SelfDealing
- | IndicatedAuthority
- | ExceededScope
- | AuthorityExpired
- | Ratified
- | CounterpartyKnewNoAuthority
- | AgentIsLimitedCapacity
- | CounterpartyCouldHaveKnown
- | BadFaith
- | ViolentPossession
- | ClandestinePossession
- | NoOwnershipIntent
- | HasRegistration
- | HasDelivery
- | IsRealProperty
- | IsMovableProperty
- | ByInheritance
- | ByCourtOrder
- | ByPublicAuction
- | ByExpropriation
data PrescriptionFacts = PrescriptionFacts {
- pfClaimDate :: Day
- pfCurrentDate :: Day
- pfPeriodYears :: Int
- pfInterruptedOn :: Maybe Day
}
data CoOwnershipFacts = CoOwnershipFacts {
- cofOwners :: [PersonId]
- cofConsented :: Set PersonId
}
data TortFacts = TortFacts {
- tfFault :: Bool
- tfUnlawful :: Bool
- tfDamage :: Bool
- tfCausation :: Bool
- tfVictimNeg :: Bool
}
data RescissionFacts = RescissionFacts {
- rfKnowledgeDate :: Day
- rfActDate :: Day
- rfCurrentDate :: Day
}
data AcqPrescFacts = AcqPrescFacts {
- apfStartDate :: Day
- apfCurrentDate :: Day
- apfGoodFaith :: Bool
- apfNoNegligence :: Bool
- apfPeaceful :: Bool
- apfPublic :: Bool
- apfSelfPossession :: Bool
}
data DefaultFacts = DefaultFacts {
- dfPerformanceDue :: Bool
- dfNonPerformance :: Bool
- dfDebtorFault :: Bool
- dfImpossible :: Bool
- dfCreditorFault :: Bool
}
data WarrantyFacts = WarrantyFacts {
- wfDefectExists :: Bool
- wfSignificant :: Bool
- wfBuyerKnew :: Bool
- wfNotifiedInTime :: Bool
}
data LeaseFacts = LeaseFacts {
- lfValidContract :: Bool
- lfRentPaid :: Bool
- lfPeriodExpired :: Bool
- lfContinuedUse :: Bool
- lfNoObjection :: Bool
- lfTwoRentsLate :: Bool
}
data Ratification
data ApparentAuth
data Presumption
data Rebuttal
data Expiration
data Interruption
data ContributoryNeg
data FormException
data ShortPrescription
data CreditorDefense
data BuyerKnowledge
data RenewalRight
data AgencyWithdrawalAct = AgencyWithdrawalAct {
- awPrincipal :: PersonId
- awCounterparty :: PersonId
- awActId :: ActId
}
data AgentLiabilityAct = AgentLiabilityAct {
- alAgent :: PersonId
- alCounterparty :: PersonId
- alActId :: ActId
}
data PartialInvalidityAct = PartialInvalidityAct {
- piActId :: ActId
}
data PartialInvalidityFacts = PartialInvalidityFacts {
- pifPartVoid :: Bool
- pifHypotheticalIntent :: Bool
- pifMeetsOtherReqs :: Bool
- pifConversionIntent :: Bool
- pifRatifiedWithKnowledge :: Bool
}
data CancellableAct = CancellableAct {
- caActId :: ActId
- caPriorVerdict :: Verdict
}
data CancellationFacts = CancellationFacts {
- cnfCancelled :: Bool
- cnfRatified :: Bool
- cnfCauseCeased :: Bool
- cnfRatifierIsGuardian :: Bool
- cnfConstructive :: Maybe ConstructiveRatificationEvent
- cnfObjectionReserved :: Bool
}
data ConstructiveRatificationEvent
- = FullOrPartialPerformance
- | DemandForPerformance
- | Novation
- | SecurityProvision
- | RightAssignment
- | CompulsoryExecution
data ConditionalAct = ConditionalAct {
- condActId :: ActId
}
data ConditionType
- = Suspensive
- | Resolutive
- | StartDate
- | EndDate
data ConditionState
- = CondPending
- | CondFulfilled
- | CondImpossible
- | CondIllegal
data BadFaithKind
- = BadFaithPrevention
- | BadFaithCausation
data ConditionalFacts = ConditionalFacts {
- condType :: ConditionType
- condState :: ConditionState
- condBadFaith :: Maybe BadFaithKind
}
data CounterpartyKnowledge
data HypotheticalIntent
data Conversion
data GeneralRatification
data ConstructiveRatification
data IllegalCondition
data BadFaithCondition
data DomainKey a where
- PrescriptionK :: DomainKey PrescriptionFacts
- TortK :: DomainKey TortFacts
- CoOwnershipK :: DomainKey CoOwnershipFacts
- RescissionK :: DomainKey RescissionFacts
- AcqPrescK :: DomainKey AcqPrescFacts
- DefaultK :: DomainKey DefaultFacts
- WarrantyK :: DomainKey WarrantyFacts
- LeaseK :: DomainKey LeaseFacts
- InvalidityK :: DomainKey PartialInvalidityFacts
- CancellationK :: DomainKey CancellationFacts
- ConditionalK :: DomainKey ConditionalFacts
data Day
addGregorianYearsClip :: Integer -> Day -> Day

Documentation

data MinorAct Source #

미성년자의 법률행위 (민법 제5조)

Constructors

MinorAct
Fields maActor :: PersonId maActId :: ActId

Instances

Instances details

Show MinorAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> MinorAct -> ShowS # show :: MinorAct -> String # showList :: [MinorAct] -> ShowS #
Eq MinorAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: MinorAct -> MinorAct -> Bool # (/=) :: MinorAct -> MinorAct -> Bool #
Adjudicate MinorAct '[Base] Source #
Instance details Defined in Deontic.Civil.Persons Methods adjudicate :: MinorAct -> Facts MinorAct -> Judgment '[Base] Source #
Adjudicate MinorAct rest => Adjudicate MinorAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Persons Methods adjudicate :: MinorAct -> Facts MinorAct -> Judgment (Proviso ': rest) Source #
type Resolvable MinorAct Source #
Instance details Defined in Deontic.Civil.Persons type Resolvable MinorAct = '[Proviso, Base]
type Facts MinorAct Source #
Instance details Defined in Deontic.Civil.Types type Facts MinorAct = Set CivilFact

data JuristicAct Source #

일반 법률행위 (민법 제103조-제107조)

Constructors

JuristicAct
Fields jaActor :: PersonId jaActId :: ActId

Instances

Instances details

Show JuristicAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> JuristicAct -> ShowS # show :: JuristicAct -> String # showList :: [JuristicAct] -> ShowS #
Eq JuristicAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: JuristicAct -> JuristicAct -> Bool # (/=) :: JuristicAct -> JuristicAct -> Bool #
Adjudicate JuristicAct '[Base] Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment '[Base] Source #
Adjudicate JuristicAct rest => Adjudicate JuristicAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment (Proviso ': rest) Source #
Adjudicate JuristicAct rest => Adjudicate JuristicAct (SpecialRule ': rest) Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: JuristicAct -> Facts JuristicAct -> Judgment (SpecialRule ': rest) Source #
type Resolvable JuristicAct Source #
Instance details Defined in Deontic.Civil.Acts type Resolvable JuristicAct = '[SpecialRule, Proviso, Base]
type Facts JuristicAct Source #
Instance details Defined in Deontic.Civil.Types type Facts JuristicAct = Set CivilFact

data ShamAct Source #

통정허위표시 (민법 제108조)

Constructors

ShamAct
Fields saActor :: PersonId saActId :: ActId

Instances

Instances details

Show ShamAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> ShamAct -> ShowS # show :: ShamAct -> String # showList :: [ShamAct] -> ShowS #
Eq ShamAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: ShamAct -> ShamAct -> Bool # (/=) :: ShamAct -> ShamAct -> Bool #
Adjudicate ShamAct '[Base] Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: ShamAct -> Facts ShamAct -> Judgment '[Base] Source #
Adjudicate ShamAct rest => Adjudicate ShamAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: ShamAct -> Facts ShamAct -> Judgment (Proviso ': rest) Source #
type Resolvable ShamAct Source #
Instance details Defined in Deontic.Civil.Acts type Resolvable ShamAct = '[Proviso, Base]
type Facts ShamAct Source #
Instance details Defined in Deontic.Civil.Types type Facts ShamAct = Set CivilFact

data MistakeAct Source #

착오에 의한 의사표시 (민법 제109조)

Constructors

MistakeAct
Fields mkActor :: PersonId mkActId :: ActId

Instances

Instances details

Show MistakeAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> MistakeAct -> ShowS # show :: MistakeAct -> String # showList :: [MistakeAct] -> ShowS #
Eq MistakeAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: MistakeAct -> MistakeAct -> Bool # (/=) :: MistakeAct -> MistakeAct -> Bool #
Adjudicate MistakeAct '[Base] Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: MistakeAct -> Facts MistakeAct -> Judgment '[Base] Source #
Adjudicate MistakeAct rest => Adjudicate MistakeAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: MistakeAct -> Facts MistakeAct -> Judgment (Proviso ': rest) Source #
type Resolvable MistakeAct Source #
Instance details Defined in Deontic.Civil.Acts type Resolvable MistakeAct = '[Proviso, Base]
type Facts MistakeAct Source #
Instance details Defined in Deontic.Civil.Types type Facts MistakeAct = Set CivilFact

data FraudAct Source #

사기·강박에 의한 의사표시 (민법 제110조)

Constructors

FraudAct
Fields faActor :: PersonId faActId :: ActId

Instances

Instances details

Show FraudAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> FraudAct -> ShowS # show :: FraudAct -> String # showList :: [FraudAct] -> ShowS #
Eq FraudAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: FraudAct -> FraudAct -> Bool # (/=) :: FraudAct -> FraudAct -> Bool #
Adjudicate FraudAct '[Base] Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: FraudAct -> Facts FraudAct -> Judgment '[Base] Source #
Adjudicate FraudAct rest => Adjudicate FraudAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Acts Methods adjudicate :: FraudAct -> Facts FraudAct -> Judgment (Proviso ': rest) Source #
type Resolvable FraudAct Source #
Instance details Defined in Deontic.Civil.Acts type Resolvable FraudAct = '[Proviso, Base]
type Facts FraudAct Source #
Instance details Defined in Deontic.Civil.Types type Facts FraudAct = Set CivilFact

data AuthAgencyAct Source #

유권대리 (민법 제114조, 제118조)

Constructors

AuthAgencyAct
Fields aaaPrincipal :: PersonId aaaAgent :: PersonId aaaActId :: ActId

Instances

Instances details

Show AuthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> AuthAgencyAct -> ShowS # show :: AuthAgencyAct -> String # showList :: [AuthAgencyAct] -> ShowS #
Eq AuthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: AuthAgencyAct -> AuthAgencyAct -> Bool # (/=) :: AuthAgencyAct -> AuthAgencyAct -> Bool #
Adjudicate AuthAgencyAct '[Base] Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: AuthAgencyAct -> Facts AuthAgencyAct -> Judgment '[Base] Source #
Adjudicate AuthAgencyAct rest => Adjudicate AuthAgencyAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: AuthAgencyAct -> Facts AuthAgencyAct -> Judgment (Proviso ': rest) Source #
type Resolvable AuthAgencyAct Source #
Instance details Defined in Deontic.Civil.Agency type Resolvable AuthAgencyAct = '[Proviso, Base]
type Facts AuthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types type Facts AuthAgencyAct = Set CivilFact

data UnauthAgencyAct Source #

무권대리 (민법 제130조, 제125-129조, 제132조)

Constructors

UnauthAgencyAct
Fields uaaPrincipal :: PersonId uaaAgent :: PersonId uaaActId :: ActId

Instances

Instances details

Show UnauthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> UnauthAgencyAct -> ShowS # show :: UnauthAgencyAct -> String # showList :: [UnauthAgencyAct] -> ShowS #
Eq UnauthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: UnauthAgencyAct -> UnauthAgencyAct -> Bool # (/=) :: UnauthAgencyAct -> UnauthAgencyAct -> Bool #
Adjudicate UnauthAgencyAct '[Base] Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment '[Base] Source #
Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (ApparentAuth ': rest) Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (ApparentAuth ': rest) Source #
Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (Ratification ': rest) Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (Ratification ': rest) Source #
type Resolvable UnauthAgencyAct Source #
Instance details Defined in Deontic.Civil.Agency type Resolvable UnauthAgencyAct = '[ApparentAuth, Ratification, Base]
type Facts UnauthAgencyAct Source #
Instance details Defined in Deontic.Civil.Types type Facts UnauthAgencyAct = Set CivilFact

data PossessionAct Source #

점유권 추정 (민법 제197조, 제200조)

Constructors

PossessionAct
Fields paActor :: PersonId paActId :: ActId

Instances

Instances details

Show PossessionAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PossessionAct -> ShowS # show :: PossessionAct -> String # showList :: [PossessionAct] -> ShowS #
Eq PossessionAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PossessionAct -> PossessionAct -> Bool # (/=) :: PossessionAct -> PossessionAct -> Bool #
Adjudicate PossessionAct '[Presumption] Source #
Instance details Defined in Deontic.Civil.Possession Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment '[Presumption] Source #
Adjudicate PossessionAct rest => Adjudicate PossessionAct (Rebuttal ': rest) Source #
Instance details Defined in Deontic.Civil.Possession Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment (Rebuttal ': rest) Source #
type Resolvable PossessionAct Source #
Instance details Defined in Deontic.Civil.Possession type Resolvable PossessionAct = '[Rebuttal, Presumption]
type Facts PossessionAct Source #
Instance details Defined in Deontic.Civil.Types type Facts PossessionAct = Set CivilFact

data PrescriptionAct Source #

소멸시효 (민법 제162조, 제168조, 제174조)

Constructors

PrescriptionAct
Fields prCreditor :: PersonId prClaimId :: ActId

Instances

Instances details

Show PrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PrescriptionAct -> ShowS # show :: PrescriptionAct -> String # showList :: [PrescriptionAct] -> ShowS #
Eq PrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PrescriptionAct -> PrescriptionAct -> Bool # (/=) :: PrescriptionAct -> PrescriptionAct -> Bool #
Adjudicate PrescriptionAct '[Expiration] Source #
Instance details Defined in Deontic.Civil.Prescription Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment '[Expiration] Source #
Adjudicate PrescriptionAct rest => Adjudicate PrescriptionAct (Interruption ': rest) Source #
Instance details Defined in Deontic.Civil.Prescription Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment (Interruption ': rest) Source #
type Resolvable PrescriptionAct Source #
Instance details Defined in Deontic.Civil.Prescription type Resolvable PrescriptionAct = '[Interruption, Expiration]
type Facts PrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types type Facts PrescriptionAct = PrescriptionFacts

data CoOwnershipAct Source #

공유물의 처분 (민법 제264조)

Constructors

CoOwnershipAct
Fields coActId :: ActId

Instances

Instances details

Show CoOwnershipAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> CoOwnershipAct -> ShowS # show :: CoOwnershipAct -> String # showList :: [CoOwnershipAct] -> ShowS #
Eq CoOwnershipAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: CoOwnershipAct -> CoOwnershipAct -> Bool # (/=) :: CoOwnershipAct -> CoOwnershipAct -> Bool #
Adjudicate CoOwnershipAct '[Base] Source #
Instance details Defined in Deontic.Civil.CoOwnership Methods adjudicate :: CoOwnershipAct -> Facts CoOwnershipAct -> Judgment '[Base] Source #
type Resolvable CoOwnershipAct Source #
Instance details Defined in Deontic.Civil.CoOwnership type Resolvable CoOwnershipAct = '[Base]
type Facts CoOwnershipAct Source #
Instance details Defined in Deontic.Civil.Types type Facts CoOwnershipAct = CoOwnershipFacts

data TortAct Source #

불법행위 (민법 제750조, 제763조→제396조)

Constructors

TortAct
Fields taVictim :: PersonId taTortfeasor :: PersonId taActId :: ActId

Instances

Instances details

Show TortAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> TortAct -> ShowS # show :: TortAct -> String # showList :: [TortAct] -> ShowS #
Eq TortAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: TortAct -> TortAct -> Bool # (/=) :: TortAct -> TortAct -> Bool #
Adjudicate TortAct '[Base] Source #
Instance details Defined in Deontic.Civil.Tort Methods adjudicate :: TortAct -> Facts TortAct -> Judgment '[Base] Source #
Adjudicate TortAct rest => Adjudicate TortAct (ContributoryNeg ': rest) Source #
Instance details Defined in Deontic.Civil.Tort Methods adjudicate :: TortAct -> Facts TortAct -> Judgment (ContributoryNeg ': rest) Source #
type Resolvable TortAct Source #
Instance details Defined in Deontic.Civil.Tort type Resolvable TortAct = '[ContributoryNeg, Base]
type Facts TortAct Source #
Instance details Defined in Deontic.Civil.Types type Facts TortAct = TortFacts

data RescissionAct Source #

취소의 제척기간 (민법 제146조)

Constructors

RescissionAct
Fields raActor :: PersonId raActId :: ActId

Instances

Instances details

Show RescissionAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> RescissionAct -> ShowS # show :: RescissionAct -> String # showList :: [RescissionAct] -> ShowS #
Eq RescissionAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: RescissionAct -> RescissionAct -> Bool # (/=) :: RescissionAct -> RescissionAct -> Bool #
Adjudicate RescissionAct '[Base] Source #
Instance details Defined in Deontic.Civil.Rescission Methods adjudicate :: RescissionAct -> Facts RescissionAct -> Judgment '[Base] Source #
type Resolvable RescissionAct Source #
Instance details Defined in Deontic.Civil.Rescission type Resolvable RescissionAct = '[Base]
type Facts RescissionAct Source #
Instance details Defined in Deontic.Civil.Types type Facts RescissionAct = RescissionFacts

data PropertyTransferAct Source #

물권변동 (민법 제186조, 제187조, 제188조)

Constructors

PropertyTransferAct
Fields ptActor :: PersonId ptActId :: ActId

Instances

Instances details

Show PropertyTransferAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PropertyTransferAct -> ShowS # show :: PropertyTransferAct -> String # showList :: [PropertyTransferAct] -> ShowS #
Eq PropertyTransferAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PropertyTransferAct -> PropertyTransferAct -> Bool # (/=) :: PropertyTransferAct -> PropertyTransferAct -> Bool #
Adjudicate PropertyTransferAct '[Base] Source #
Instance details Defined in Deontic.Civil.PropertyTransfer Methods adjudicate :: PropertyTransferAct -> Facts PropertyTransferAct -> Judgment '[Base] Source #
Adjudicate PropertyTransferAct rest => Adjudicate PropertyTransferAct (FormException ': rest) Source #
Instance details Defined in Deontic.Civil.PropertyTransfer Methods adjudicate :: PropertyTransferAct -> Facts PropertyTransferAct -> Judgment (FormException ': rest) Source #
type Resolvable PropertyTransferAct Source #
Instance details Defined in Deontic.Civil.PropertyTransfer type Resolvable PropertyTransferAct = '[FormException, Base]
type Facts PropertyTransferAct Source #
Instance details Defined in Deontic.Civil.Types type Facts PropertyTransferAct = Set CivilFact

data AcqPrescriptionAct Source #

취득시효 (민법 제245조, 제246조)

Constructors

AcqPrescriptionAct
Fields apActor :: PersonId apActId :: ActId

Instances

Instances details

Show AcqPrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> AcqPrescriptionAct -> ShowS # show :: AcqPrescriptionAct -> String # showList :: [AcqPrescriptionAct] -> ShowS #
Eq AcqPrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: AcqPrescriptionAct -> AcqPrescriptionAct -> Bool # (/=) :: AcqPrescriptionAct -> AcqPrescriptionAct -> Bool #
Adjudicate AcqPrescriptionAct '[Base] Source #
Instance details Defined in Deontic.Civil.AcquisitivePrescription Methods adjudicate :: AcqPrescriptionAct -> Facts AcqPrescriptionAct -> Judgment '[Base] Source #
Adjudicate AcqPrescriptionAct rest => Adjudicate AcqPrescriptionAct (ShortPrescription ': rest) Source #
Instance details Defined in Deontic.Civil.AcquisitivePrescription Methods adjudicate :: AcqPrescriptionAct -> Facts AcqPrescriptionAct -> Judgment (ShortPrescription ': rest) Source #
type Resolvable AcqPrescriptionAct Source #
Instance details Defined in Deontic.Civil.AcquisitivePrescription type Resolvable AcqPrescriptionAct = '[ShortPrescription, Base]
type Facts AcqPrescriptionAct Source #
Instance details Defined in Deontic.Civil.Types type Facts AcqPrescriptionAct = AcqPrescFacts

data DefaultAct Source #

채무불이행 (민법 제387조-제390조)

Constructors

DefaultAct
Fields dfCreditor :: PersonId dfDebtor :: PersonId dfActId :: ActId

Instances

Instances details

Show DefaultAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> DefaultAct -> ShowS # show :: DefaultAct -> String # showList :: [DefaultAct] -> ShowS #
Eq DefaultAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: DefaultAct -> DefaultAct -> Bool # (/=) :: DefaultAct -> DefaultAct -> Bool #
Adjudicate DefaultAct '[Base] Source #
Instance details Defined in Deontic.Civil.DefaultObligation Methods adjudicate :: DefaultAct -> Facts DefaultAct -> Judgment '[Base] Source #
Adjudicate DefaultAct rest => Adjudicate DefaultAct (CreditorDefense ': rest) Source #
Instance details Defined in Deontic.Civil.DefaultObligation Methods adjudicate :: DefaultAct -> Facts DefaultAct -> Judgment (CreditorDefense ': rest) Source #
type Resolvable DefaultAct Source #
Instance details Defined in Deontic.Civil.DefaultObligation type Resolvable DefaultAct = '[CreditorDefense, Base]
type Facts DefaultAct Source #
Instance details Defined in Deontic.Civil.Types type Facts DefaultAct = DefaultFacts

data WarrantyAct Source #

하자담보책임 (민법 제580조-제582조)

Constructors

WarrantyAct
Fields waActor :: PersonId waActId :: ActId

Instances

Instances details

Show WarrantyAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> WarrantyAct -> ShowS # show :: WarrantyAct -> String # showList :: [WarrantyAct] -> ShowS #
Eq WarrantyAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: WarrantyAct -> WarrantyAct -> Bool # (/=) :: WarrantyAct -> WarrantyAct -> Bool #
Adjudicate WarrantyAct '[Base] Source #
Instance details Defined in Deontic.Civil.SaleWarranty Methods adjudicate :: WarrantyAct -> Facts WarrantyAct -> Judgment '[Base] Source #
Adjudicate WarrantyAct rest => Adjudicate WarrantyAct (BuyerKnowledge ': rest) Source #
Instance details Defined in Deontic.Civil.SaleWarranty Methods adjudicate :: WarrantyAct -> Facts WarrantyAct -> Judgment (BuyerKnowledge ': rest) Source #
type Resolvable WarrantyAct Source #
Instance details Defined in Deontic.Civil.SaleWarranty type Resolvable WarrantyAct = '[BuyerKnowledge, Base]
type Facts WarrantyAct Source #
Instance details Defined in Deontic.Civil.Types type Facts WarrantyAct = WarrantyFacts

data LeaseAct Source #

임대차 (민법 제618조, 제623조, 제639조, 제640조)

Constructors

LeaseAct
Fields laLessor :: PersonId laLessee :: PersonId laActId :: ActId

Instances

Instances details

Show LeaseAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> LeaseAct -> ShowS # show :: LeaseAct -> String # showList :: [LeaseAct] -> ShowS #
Eq LeaseAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: LeaseAct -> LeaseAct -> Bool # (/=) :: LeaseAct -> LeaseAct -> Bool #
Adjudicate LeaseAct '[Base] Source #
Instance details Defined in Deontic.Civil.Lease Methods adjudicate :: LeaseAct -> Facts LeaseAct -> Judgment '[Base] Source #
Adjudicate LeaseAct rest => Adjudicate LeaseAct (RenewalRight ': rest) Source #
Instance details Defined in Deontic.Civil.Lease Methods adjudicate :: LeaseAct -> Facts LeaseAct -> Judgment (RenewalRight ': rest) Source #
type Resolvable LeaseAct Source #
Instance details Defined in Deontic.Civil.Lease type Resolvable LeaseAct = '[RenewalRight, Base]
type Facts LeaseAct Source #
Instance details Defined in Deontic.Civil.Types type Facts LeaseAct = LeaseFacts

data CivilFact Source #

민법 사실관계 (Korean Civil Act facts)

Instances

Instances details

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

data PrescriptionFacts Source #

소멸시효 판단에 필요한 시간적 사실관계 §157에 따라 역(曆)에 의한 계산: 기간을 연으로 정한 때에는 기산일에 해당하는 날의 전일로 만료한다.

Constructors

PrescriptionFacts
Fields pfClaimDate :: Day pfCurrentDate :: Day pfPeriodYears :: Int pfInterruptedOn :: Maybe Day

Instances

Instances details

Show PrescriptionFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PrescriptionFacts -> ShowS # show :: PrescriptionFacts -> String # showList :: [PrescriptionFacts] -> ShowS #
Eq PrescriptionFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PrescriptionFacts -> PrescriptionFacts -> Bool # (/=) :: PrescriptionFacts -> PrescriptionFacts -> Bool #

data CoOwnershipFacts Source #

공유물 처분 판단에 필요한 사실관계 (demonstrates universal quantification: ∀ owner ∈ owners, owner ∈ consented)

Constructors

CoOwnershipFacts
Fields cofOwners :: [PersonId] cofConsented :: Set PersonId

Instances

Instances details

Show CoOwnershipFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> CoOwnershipFacts -> ShowS # show :: CoOwnershipFacts -> String # showList :: [CoOwnershipFacts] -> ShowS #
Eq CoOwnershipFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: CoOwnershipFacts -> CoOwnershipFacts -> Bool # (/=) :: CoOwnershipFacts -> CoOwnershipFacts -> Bool #

data TortFacts Source #

불법행위 판단에 필요한 사실관계

Constructors

TortFacts
Fields tfFault :: Bool tfUnlawful :: Bool tfDamage :: Bool tfCausation :: Bool tfVictimNeg :: Bool

Instances

Instances details

Show TortFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> TortFacts -> ShowS # show :: TortFacts -> String # showList :: [TortFacts] -> ShowS #
Eq TortFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: TortFacts -> TortFacts -> Bool # (/=) :: TortFacts -> TortFacts -> Bool #

data RescissionFacts Source #

제척기간 판단에 필요한 시간적 사실관계 §157에 따라 역(曆)에 의한 계산.

Constructors

RescissionFacts
Fields rfKnowledgeDate :: Day rfActDate :: Day rfCurrentDate :: Day

Instances

Instances details

Show RescissionFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> RescissionFacts -> ShowS # show :: RescissionFacts -> String # showList :: [RescissionFacts] -> ShowS #
Eq RescissionFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: RescissionFacts -> RescissionFacts -> Bool # (/=) :: RescissionFacts -> RescissionFacts -> Bool #

data AcqPrescFacts Source #

취득시효 판단에 필요한 사실관계 §157에 따라 역(曆)에 의한 계산.

Constructors

AcqPrescFacts
Fields apfStartDate :: Day apfCurrentDate :: Day apfGoodFaith :: Bool apfNoNegligence :: Bool apfPeaceful :: Bool apfPublic :: Bool apfSelfPossession :: Bool

Instances

Instances details

Show AcqPrescFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> AcqPrescFacts -> ShowS # show :: AcqPrescFacts -> String # showList :: [AcqPrescFacts] -> ShowS #
Eq AcqPrescFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: AcqPrescFacts -> AcqPrescFacts -> Bool # (/=) :: AcqPrescFacts -> AcqPrescFacts -> Bool #

data DefaultFacts Source #

채무불이행 판단에 필요한 사실관계

Constructors

DefaultFacts
Fields dfPerformanceDue :: Bool dfNonPerformance :: Bool dfDebtorFault :: Bool dfImpossible :: Bool dfCreditorFault :: Bool

Instances

Instances details

Show DefaultFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> DefaultFacts -> ShowS # show :: DefaultFacts -> String # showList :: [DefaultFacts] -> ShowS #
Eq DefaultFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: DefaultFacts -> DefaultFacts -> Bool # (/=) :: DefaultFacts -> DefaultFacts -> Bool #

data WarrantyFacts Source #

하자담보 판단에 필요한 사실관계

Constructors

WarrantyFacts
Fields wfDefectExists :: Bool wfSignificant :: Bool wfBuyerKnew :: Bool wfNotifiedInTime :: Bool

Instances

Instances details

Show WarrantyFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> WarrantyFacts -> ShowS # show :: WarrantyFacts -> String # showList :: [WarrantyFacts] -> ShowS #
Eq WarrantyFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: WarrantyFacts -> WarrantyFacts -> Bool # (/=) :: WarrantyFacts -> WarrantyFacts -> Bool #

data LeaseFacts Source #

임대차 판단에 필요한 사실관계

Constructors

LeaseFacts
Fields lfValidContract :: Bool lfRentPaid :: Bool lfPeriodExpired :: Bool lfContinuedUse :: Bool lfNoObjection :: Bool lfTwoRentsLate :: Bool

Instances

Instances details

Show LeaseFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> LeaseFacts -> ShowS # show :: LeaseFacts -> String # showList :: [LeaseFacts] -> ShowS #
Eq LeaseFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: LeaseFacts -> LeaseFacts -> Bool # (/=) :: LeaseFacts -> LeaseFacts -> Bool #

data Ratification Source #

Instances

Instances details

Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (Ratification ': rest) Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (Ratification ': rest) Source #

data ApparentAuth Source #

Instances

Instances details

Adjudicate UnauthAgencyAct rest => Adjudicate UnauthAgencyAct (ApparentAuth ': rest) Source #
Instance details Defined in Deontic.Civil.Agency Methods adjudicate :: UnauthAgencyAct -> Facts UnauthAgencyAct -> Judgment (ApparentAuth ': rest) Source #

data Presumption Source #

Instances

Instances details

Adjudicate PossessionAct '[Presumption] Source #
Instance details Defined in Deontic.Civil.Possession Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment '[Presumption] Source #

data Rebuttal Source #

Instances

Instances details

Adjudicate PossessionAct rest => Adjudicate PossessionAct (Rebuttal ': rest) Source #
Instance details Defined in Deontic.Civil.Possession Methods adjudicate :: PossessionAct -> Facts PossessionAct -> Judgment (Rebuttal ': rest) Source #

data Expiration Source #

Instances

Instances details

Adjudicate PrescriptionAct '[Expiration] Source #
Instance details Defined in Deontic.Civil.Prescription Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment '[Expiration] Source #

data Interruption Source #

Instances

Instances details

Adjudicate PrescriptionAct rest => Adjudicate PrescriptionAct (Interruption ': rest) Source #
Instance details Defined in Deontic.Civil.Prescription Methods adjudicate :: PrescriptionAct -> Facts PrescriptionAct -> Judgment (Interruption ': rest) Source #

data ContributoryNeg Source #

Instances

Instances details

Adjudicate TortAct rest => Adjudicate TortAct (ContributoryNeg ': rest) Source #
Instance details Defined in Deontic.Civil.Tort Methods adjudicate :: TortAct -> Facts TortAct -> Judgment (ContributoryNeg ': rest) Source #

data FormException Source #

Instances

Instances details

Adjudicate PropertyTransferAct rest => Adjudicate PropertyTransferAct (FormException ': rest) Source #
Instance details Defined in Deontic.Civil.PropertyTransfer Methods adjudicate :: PropertyTransferAct -> Facts PropertyTransferAct -> Judgment (FormException ': rest) Source #

data ShortPrescription Source #

Instances

Instances details

Adjudicate AcqPrescriptionAct rest => Adjudicate AcqPrescriptionAct (ShortPrescription ': rest) Source #
Instance details Defined in Deontic.Civil.AcquisitivePrescription Methods adjudicate :: AcqPrescriptionAct -> Facts AcqPrescriptionAct -> Judgment (ShortPrescription ': rest) Source #

data CreditorDefense Source #

Instances

Instances details

Adjudicate DefaultAct rest => Adjudicate DefaultAct (CreditorDefense ': rest) Source #
Instance details Defined in Deontic.Civil.DefaultObligation Methods adjudicate :: DefaultAct -> Facts DefaultAct -> Judgment (CreditorDefense ': rest) Source #

data BuyerKnowledge Source #

Instances

Instances details

Adjudicate WarrantyAct rest => Adjudicate WarrantyAct (BuyerKnowledge ': rest) Source #
Instance details Defined in Deontic.Civil.SaleWarranty Methods adjudicate :: WarrantyAct -> Facts WarrantyAct -> Judgment (BuyerKnowledge ': rest) Source #

data RenewalRight Source #

Instances

Instances details

Adjudicate LeaseAct rest => Adjudicate LeaseAct (RenewalRight ': rest) Source #
Instance details Defined in Deontic.Civil.Lease Methods adjudicate :: LeaseAct -> Facts LeaseAct -> Judgment (RenewalRight ': rest) Source #

data AgencyWithdrawalAct Source #

상대방의 철회권 (민법 제134조)

Constructors

AgencyWithdrawalAct
Fields awPrincipal :: PersonId awCounterparty :: PersonId awActId :: ActId

Instances

Instances details

Show AgencyWithdrawalAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> AgencyWithdrawalAct -> ShowS # show :: AgencyWithdrawalAct -> String # showList :: [AgencyWithdrawalAct] -> ShowS #
Eq AgencyWithdrawalAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: AgencyWithdrawalAct -> AgencyWithdrawalAct -> Bool # (/=) :: AgencyWithdrawalAct -> AgencyWithdrawalAct -> Bool #
Adjudicate AgencyWithdrawalAct '[Base] Source #
Instance details Defined in Deontic.Civil.AgencyRemedies Methods adjudicate :: AgencyWithdrawalAct -> Facts AgencyWithdrawalAct -> Judgment '[Base] Source #
Adjudicate AgencyWithdrawalAct rest => Adjudicate AgencyWithdrawalAct (CounterpartyKnowledge ': rest) Source #
Instance details Defined in Deontic.Civil.AgencyRemedies Methods adjudicate :: AgencyWithdrawalAct -> Facts AgencyWithdrawalAct -> Judgment (CounterpartyKnowledge ': rest) Source #
type Resolvable AgencyWithdrawalAct Source #
Instance details Defined in Deontic.Civil.AgencyRemedies type Resolvable AgencyWithdrawalAct = '[CounterpartyKnowledge, Base]
type Facts AgencyWithdrawalAct Source #
Instance details Defined in Deontic.Civil.Types type Facts AgencyWithdrawalAct = Set CivilFact

data AgentLiabilityAct Source #

무권대리인의 책임 (민법 제135조)

Constructors

AgentLiabilityAct
Fields alAgent :: PersonId alCounterparty :: PersonId alActId :: ActId

Instances

Instances details

Show AgentLiabilityAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> AgentLiabilityAct -> ShowS # show :: AgentLiabilityAct -> String # showList :: [AgentLiabilityAct] -> ShowS #
Eq AgentLiabilityAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: AgentLiabilityAct -> AgentLiabilityAct -> Bool # (/=) :: AgentLiabilityAct -> AgentLiabilityAct -> Bool #
Adjudicate AgentLiabilityAct '[Base] Source #
Instance details Defined in Deontic.Civil.AgencyRemedies Methods adjudicate :: AgentLiabilityAct -> Facts AgentLiabilityAct -> Judgment '[Base] Source #
Adjudicate AgentLiabilityAct rest => Adjudicate AgentLiabilityAct (Proviso ': rest) Source #
Instance details Defined in Deontic.Civil.AgencyRemedies Methods adjudicate :: AgentLiabilityAct -> Facts AgentLiabilityAct -> Judgment (Proviso ': rest) Source #
type Resolvable AgentLiabilityAct Source #
Instance details Defined in Deontic.Civil.AgencyRemedies type Resolvable AgentLiabilityAct = '[Proviso, Base]
type Facts AgentLiabilityAct Source #
Instance details Defined in Deontic.Civil.Types type Facts AgentLiabilityAct = Set CivilFact

data PartialInvalidityAct Source #

법률행위의 일부무효전환추인 (민법 제137조-제139조)

Constructors

PartialInvalidityAct
Fields piActId :: ActId

Instances

Instances details

Show PartialInvalidityAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PartialInvalidityAct -> ShowS # show :: PartialInvalidityAct -> String # showList :: [PartialInvalidityAct] -> ShowS #
Eq PartialInvalidityAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PartialInvalidityAct -> PartialInvalidityAct -> Bool # (/=) :: PartialInvalidityAct -> PartialInvalidityAct -> Bool #
Adjudicate PartialInvalidityAct '[Base] Source #
Instance details Defined in Deontic.Civil.Invalidity Methods adjudicate :: PartialInvalidityAct -> Facts PartialInvalidityAct -> Judgment '[Base] Source #
Adjudicate PartialInvalidityAct rest => Adjudicate PartialInvalidityAct (Conversion ': rest) Source #
Instance details Defined in Deontic.Civil.Invalidity Methods adjudicate :: PartialInvalidityAct -> Facts PartialInvalidityAct -> Judgment (Conversion ': rest) Source #
Adjudicate PartialInvalidityAct rest => Adjudicate PartialInvalidityAct (HypotheticalIntent ': rest) Source #
Instance details Defined in Deontic.Civil.Invalidity Methods adjudicate :: PartialInvalidityAct -> Facts PartialInvalidityAct -> Judgment (HypotheticalIntent ': rest) Source #
type Resolvable PartialInvalidityAct Source #
Instance details Defined in Deontic.Civil.Invalidity type Resolvable PartialInvalidityAct = '[Conversion, HypotheticalIntent, Base]
type Facts PartialInvalidityAct Source #
Instance details Defined in Deontic.Civil.Types type Facts PartialInvalidityAct = PartialInvalidityFacts

data PartialInvalidityFacts Source #

일부무효 판단에 필요한 사실관계

Constructors

PartialInvalidityFacts
Fields pifPartVoid :: Bool pifHypotheticalIntent :: Bool pifMeetsOtherReqs :: Bool pifConversionIntent :: Bool pifRatifiedWithKnowledge :: Bool

Instances

Instances details

Show PartialInvalidityFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> PartialInvalidityFacts -> ShowS # show :: PartialInvalidityFacts -> String # showList :: [PartialInvalidityFacts] -> ShowS #
Eq PartialInvalidityFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: PartialInvalidityFacts -> PartialInvalidityFacts -> Bool # (/=) :: PartialInvalidityFacts -> PartialInvalidityFacts -> Bool #

data CancellableAct Source #

취소할 수 있는 행위의 취소/추인 (민법 제141조, 제143조-제145조) 다른 act type의 query 결과(Verdict)를 입력으로 받는 wrapper pattern.

Constructors

CancellableAct
Fields caActId :: ActId caPriorVerdict :: Verdict

Instances

Instances details

Show CancellableAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> CancellableAct -> ShowS # show :: CancellableAct -> String # showList :: [CancellableAct] -> ShowS #
Eq CancellableAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: CancellableAct -> CancellableAct -> Bool # (/=) :: CancellableAct -> CancellableAct -> Bool #
Adjudicate CancellableAct '[Base] Source #
Instance details Defined in Deontic.Civil.Cancellation Methods adjudicate :: CancellableAct -> Facts CancellableAct -> Judgment '[Base] Source #
Adjudicate CancellableAct rest => Adjudicate CancellableAct (ConstructiveRatification ': rest) Source #
Instance details Defined in Deontic.Civil.Cancellation Methods adjudicate :: CancellableAct -> Facts CancellableAct -> Judgment (ConstructiveRatification ': rest) Source #
Adjudicate CancellableAct rest => Adjudicate CancellableAct (GeneralRatification ': rest) Source #
Instance details Defined in Deontic.Civil.Cancellation Methods adjudicate :: CancellableAct -> Facts CancellableAct -> Judgment (GeneralRatification ': rest) Source #
type Resolvable CancellableAct Source #
Instance details Defined in Deontic.Civil.Cancellation type Resolvable CancellableAct = '[ConstructiveRatification, GeneralRatification, Base]
type Facts CancellableAct Source #
Instance details Defined in Deontic.Civil.Types type Facts CancellableAct = CancellationFacts

data CancellationFacts Source #

취소/추인 판단에 필요한 사실관계

Constructors

CancellationFacts
Fields cnfCancelled :: Bool cnfRatified :: Bool cnfCauseCeased :: Bool cnfRatifierIsGuardian :: Bool cnfConstructive :: Maybe ConstructiveRatificationEvent cnfObjectionReserved :: Bool

Instances

Instances details

Show CancellationFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> CancellationFacts -> ShowS # show :: CancellationFacts -> String # showList :: [CancellationFacts] -> ShowS #
Eq CancellationFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: CancellationFacts -> CancellationFacts -> Bool # (/=) :: CancellationFacts -> CancellationFacts -> Bool #

data ConstructiveRatificationEvent Source #

법정추인 사유 (민법 제145조)

Constructors

FullOrPartialPerformance
DemandForPerformance
Novation
SecurityProvision
RightAssignment
CompulsoryExecution

Instances

Instances details

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

data ConditionalAct Source #

조건부/기한부 법률행위 (민법 제147조, 제150조-제152조)

Constructors

ConditionalAct
Fields condActId :: ActId

Instances

Instances details

Show ConditionalAct Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> ConditionalAct -> ShowS # show :: ConditionalAct -> String # showList :: [ConditionalAct] -> ShowS #
Eq ConditionalAct Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: ConditionalAct -> ConditionalAct -> Bool # (/=) :: ConditionalAct -> ConditionalAct -> Bool #
Adjudicate ConditionalAct '[Base] Source #
Instance details Defined in Deontic.Civil.ConditionalAct Methods adjudicate :: ConditionalAct -> Facts ConditionalAct -> Judgment '[Base] Source #
Adjudicate ConditionalAct rest => Adjudicate ConditionalAct (BadFaithCondition ': rest) Source #
Instance details Defined in Deontic.Civil.ConditionalAct Methods adjudicate :: ConditionalAct -> Facts ConditionalAct -> Judgment (BadFaithCondition ': rest) Source #
Adjudicate ConditionalAct rest => Adjudicate ConditionalAct (IllegalCondition ': rest) Source #
Instance details Defined in Deontic.Civil.ConditionalAct Methods adjudicate :: ConditionalAct -> Facts ConditionalAct -> Judgment (IllegalCondition ': rest) Source #
type Resolvable ConditionalAct Source #
Instance details Defined in Deontic.Civil.ConditionalAct type Resolvable ConditionalAct = '[BadFaithCondition, IllegalCondition, Base]
type Facts ConditionalAct Source #
Instance details Defined in Deontic.Civil.Types type Facts ConditionalAct = ConditionalFacts

data ConditionType Source #

조건의 유형

Constructors

Suspensive
Resolutive
StartDate
EndDate

Instances

Instances details

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

data ConditionState Source #

조건의 상태

Constructors

CondPending
CondFulfilled
CondImpossible
CondIllegal

Instances

Instances details

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

data BadFaithKind Source #

반신의행위의 유형 (민법 제150조)

Constructors

BadFaithPrevention
BadFaithCausation

Instances

Instances details

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

data ConditionalFacts Source #

조건부 법률행위 판단에 필요한 사실관계

Constructors

ConditionalFacts
Fields condType :: ConditionType condState :: ConditionState condBadFaith :: Maybe BadFaithKind

Instances

Instances details

Show ConditionalFacts Source #
Instance details Defined in Deontic.Civil.Types Methods showsPrec :: Int -> ConditionalFacts -> ShowS # show :: ConditionalFacts -> String # showList :: [ConditionalFacts] -> ShowS #
Eq ConditionalFacts Source #
Instance details Defined in Deontic.Civil.Types Methods (==) :: ConditionalFacts -> ConditionalFacts -> Bool # (/=) :: ConditionalFacts -> ConditionalFacts -> Bool #

data CounterpartyKnowledge Source #

Instances

Instances details

Adjudicate AgencyWithdrawalAct rest => Adjudicate AgencyWithdrawalAct (CounterpartyKnowledge ': rest) Source #
Instance details Defined in Deontic.Civil.AgencyRemedies Methods adjudicate :: AgencyWithdrawalAct -> Facts AgencyWithdrawalAct -> Judgment (CounterpartyKnowledge ': rest) Source #

data HypotheticalIntent Source #

Instances

Instances details

Adjudicate PartialInvalidityAct rest => Adjudicate PartialInvalidityAct (HypotheticalIntent ': rest) Source #
Instance details Defined in Deontic.Civil.Invalidity Methods adjudicate :: PartialInvalidityAct -> Facts PartialInvalidityAct -> Judgment (HypotheticalIntent ': rest) Source #

data Conversion Source #

Instances

Instances details

Adjudicate PartialInvalidityAct rest => Adjudicate PartialInvalidityAct (Conversion ': rest) Source #
Instance details Defined in Deontic.Civil.Invalidity Methods adjudicate :: PartialInvalidityAct -> Facts PartialInvalidityAct -> Judgment (Conversion ': rest) Source #

data GeneralRatification Source #

Instances

Instances details

Adjudicate CancellableAct rest => Adjudicate CancellableAct (GeneralRatification ': rest) Source #
Instance details Defined in Deontic.Civil.Cancellation Methods adjudicate :: CancellableAct -> Facts CancellableAct -> Judgment (GeneralRatification ': rest) Source #

data ConstructiveRatification Source #

Instances

Instances details

Adjudicate CancellableAct rest => Adjudicate CancellableAct (ConstructiveRatification ': rest) Source #
Instance details Defined in Deontic.Civil.Cancellation Methods adjudicate :: CancellableAct -> Facts CancellableAct -> Judgment (ConstructiveRatification ': rest) Source #

data IllegalCondition Source #

Instances

Instances details

Adjudicate ConditionalAct rest => Adjudicate ConditionalAct (IllegalCondition ': rest) Source #
Instance details Defined in Deontic.Civil.ConditionalAct Methods adjudicate :: ConditionalAct -> Facts ConditionalAct -> Judgment (IllegalCondition ': rest) Source #

data BadFaithCondition Source #

Instances

Instances details

Adjudicate ConditionalAct rest => Adjudicate ConditionalAct (BadFaithCondition ': rest) Source #
Instance details Defined in Deontic.Civil.ConditionalAct Methods adjudicate :: ConditionalAct -> Facts ConditionalAct -> Judgment (BadFaithCondition ': rest) Source #

data DomainKey a where Source #

Heterogeneous key for domain-specific fact records. Each constructor determines the value type in the DMap.

Instances

Instances details

GCompare DomainKey Source #
Instance details Defined in Deontic.Civil.Types Methods gcompare :: forall (a :: k) (b :: k). DomainKey a -> DomainKey b -> GOrdering a b Source #
GEq DomainKey Source #
Instance details Defined in Deontic.Civil.Types Methods geq :: forall (a :: k) (b :: k). DomainKey a -> DomainKey b -> Maybe (a :~: b) Source #
GShow DomainKey Source #
Instance details Defined in Deontic.Civil.Types Methods gshowsPrec :: forall (a :: k). Int -> DomainKey a -> ShowS Source #

data Day #

The Modified Julian Day is a standard count of days, with zero being the day 1858-11-17.

Instances

Instances details

Data Day
Instance details Defined in Data.Time.Calendar.Days Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Day -> c Day # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Day # toConstr :: Day -> Constr # dataTypeOf :: Day -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Day) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Day) # gmapT :: (forall b. Data b => b -> b) -> Day -> Day # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r # gmapQ :: (forall d. Data d => d -> u) -> Day -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Day -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Day -> m Day # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day #
Enum Day
Instance details Defined in Data.Time.Calendar.Days Methods succ :: Day -> Day # pred :: Day -> Day # toEnum :: Int -> Day # fromEnum :: Day -> Int # enumFrom :: Day -> [Day] # enumFromThen :: Day -> Day -> [Day] # enumFromTo :: Day -> Day -> [Day] # enumFromThenTo :: Day -> Day -> Day -> [Day] #
Ix Day
Instance details Defined in Data.Time.Calendar.Days Methods range :: (Day, Day) -> [Day] # index :: (Day, Day) -> Day -> Int # unsafeIndex :: (Day, Day) -> Day -> Int # inRange :: (Day, Day) -> Day -> Bool # rangeSize :: (Day, Day) -> Int # unsafeRangeSize :: (Day, Day) -> Int #
NFData Day
Instance details Defined in Data.Time.Calendar.Days Methods rnf :: Day -> () #
Eq Day
Instance details Defined in Data.Time.Calendar.Days Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Ord Day
Instance details Defined in Data.Time.Calendar.Days Methods compare :: Day -> Day -> Ordering # (<) :: Day -> Day -> Bool # (<=) :: Day -> Day -> Bool # (>) :: Day -> Day -> Bool # (>=) :: Day -> Day -> Bool # max :: Day -> Day -> Day # min :: Day -> Day -> Day #
DayPeriod Day
Instance details Defined in Data.Time.Calendar.Days Methods periodFirstDay :: Day -> Day # periodLastDay :: Day -> Day # dayPeriod :: Day -> Day #

addGregorianYearsClip :: Integer -> Day -> Day #

Add years, matching month and day, with Feb 29th clipped to Feb 28th if necessary. For instance, 2004-02-29 + 2 years = 2006-02-28.

IsNaturalPerson PersonId
IsJuristicPerson PersonId
IsMinor PersonId
IsAdult PersonId
HasGuardian PersonId PersonId
HasConsent PersonId ActId
PerformsAct PersonId ActId
MerelyAcquiresRight
ContraBonorsMores
ExploitativeAct
HiddenIntention
CounterpartyKnew
BonaFideThirdParty
GrossNegligence
ThirdPartyFraud
CounterpartyKnewFraud
SelfDealing
IndicatedAuthority
ExceededScope
AuthorityExpired
Ratified
CounterpartyKnewNoAuthority
AgentIsLimitedCapacity
CounterpartyCouldHaveKnown
BadFaith
ViolentPossession
ClandestinePossession
NoOwnershipIntent
HasRegistration
HasDelivery
IsRealProperty
IsMovableProperty
ByInheritance
ByCourtOrder
ByPublicAuction
ByExpropriation

PrescriptionK :: DomainKey PrescriptionFacts
TortK :: DomainKey TortFacts
CoOwnershipK :: DomainKey CoOwnershipFacts
RescissionK :: DomainKey RescissionFacts
AcqPrescK :: DomainKey AcqPrescFacts
DefaultK :: DomainKey DefaultFacts
WarrantyK :: DomainKey WarrantyFacts
LeaseK :: DomainKey LeaseFacts
InvalidityK :: DomainKey PartialInvalidityFacts
CancellationK :: DomainKey CancellationFacts
ConditionalK :: DomainKey ConditionalFacts