deontic-core-0.2.0.0: Type-level stratified deontic logic framework

Index

ActId 
1 (Type/Class)Deontic.Core.Types
2 (Data Constructor)Deontic.Core.Types
AdjudicateDeontic.Core.Adjudicate
adjudicateDeontic.Core.Adjudicate
AppliedDeontic.Render
articleNumberDeontic.Core.Types
articleParagraphDeontic.Core.Types
ArticleRef 
1 (Type/Class)Deontic.Core.Types
2 (Data Constructor)Deontic.Core.Types
articleStatuteDeontic.Core.Types
BaseDeontic.Core.Layer
combineVerdictsDeontic.Core.Adjudicate
CounterfactualDeontic.Render
DelegatedDeontic.Render
FactsDeontic.Core.Types
JBaseDeontic.Core.Adjudicate
JCounterfactualDeontic.Core.Adjudicate
JDelegateDeontic.Core.Adjudicate
JOverrideDeontic.Core.Adjudicate
JudgmentDeontic.Core.Adjudicate
judgmentStepsDeontic.Render
OverriddenDeontic.Render
PendingDeontic.Core.Verdict
PersonId 
1 (Type/Class)Deontic.Core.Types
2 (Data Constructor)Deontic.Core.Types
ProvisoDeontic.Core.Layer
queryDeontic.Core.Adjudicate
RendererDeontic.Render
renderJudgmentDeontic.Render
ResolvableDeontic.Core.Layer
SomeJudgment 
1 (Type/Class)Deontic.Core.Adjudicate
2 (Data Constructor)Deontic.Core.Adjudicate
someJudgmentStepsDeontic.Render
someVerdictDeontic.Core.Adjudicate
SpecialRuleDeontic.Core.Layer
Step 
1 (Type/Class)Deontic.Render
2 (Data Constructor)Deontic.Render
stepArticleDeontic.Render
StepKindDeontic.Render
stepKindDeontic.Render
stepSourceTextDeontic.Render
stepVerdictDeontic.Render
ThingId 
1 (Type/Class)Deontic.Core.Types
2 (Data Constructor)Deontic.Core.Types
ValidDeontic.Core.Verdict
VerdictDeontic.Core.Verdict
verdictDeontic.Core.Adjudicate
verdictMeetDeontic.Core.Verdict
VoidDeontic.Core.Verdict
VoidableDeontic.Core.Verdict