Safe Haskell	Safe-Inferred
Language	GHC2021

Deontic.Core.Layer

Description

Layer tokens and the Resolvable type family.

Layers are uninhabited types that serve as type-level tags in the Judgment GADT. Jurisdictions may define their own layer tokens in addition to the built-in ones.

Synopsis

data Base
data Proviso
data SpecialRule
type family Resolvable act :: [Type]

Documentation

data Base Source #

원칙 (general rule)

data Proviso Source #

단서 (proviso/exception)

data SpecialRule Source #

특칙 (lex specialis)

type family Resolvable act :: [Type] Source #

Maps an act type to its full override layer stack. Each act type provides a type instance.