| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Settei.Report
Description
Synopsis
- data BranchTrace = BranchTrace {}
- data Derivation = Derivation {
- rule :: !Text
- explanation :: !Text
- dependencies :: ![Key]
- data ResolutionNode = ResolutionNode {
- key :: !Key
- sensitivity :: !Sensitivity
- outcome :: !ResolutionOutcome
- origin :: !(Maybe Origin)
- shadowed :: ![Origin]
- derivation :: !(Maybe Derivation)
- data ResolutionOutcome
- data ResolutionReport = ResolutionReport {
- nodes :: !(Map Key ResolutionNode)
- branches :: ![BranchTrace]
- reportBranches :: ResolutionReport -> [BranchTrace]
- reportNodes :: ResolutionReport -> [ResolutionNode]
Documentation
data BranchTrace Source #
Whether one selective branch was evaluated for this run.
Constructors
| BranchTrace | |
Instances
data Derivation Source #
A named default rule that produced a setting value.
Constructors
| Derivation | |
Fields
| |
Instances
| Generic Derivation Source # | |||||
Defined in Settei.Report Associated Types
| |||||
| Show Derivation Source # | |||||
Defined in Settei.Report Methods showsPrec :: Int -> Derivation -> ShowS # show :: Derivation -> String # showList :: [Derivation] -> ShowS # | |||||
| Eq Derivation Source # | |||||
Defined in Settei.Report | |||||
| type Rep Derivation Source # | |||||
Defined in Settei.Report type Rep Derivation = D1 ('MetaData "Derivation" "Settei.Report" "settei-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Derivation" 'PrefixI 'True) (S1 ('MetaSel ('Just "rule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "explanation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "dependencies") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Key])))) | |||||
data ResolutionNode Source #
One evaluated or skipped setting, keyed independently in the report map.
Constructors
| ResolutionNode | |
Fields
| |
Instances
| Generic ResolutionNode Source # | |||||
Defined in Settei.Report Associated Types
Methods from :: ResolutionNode -> Rep ResolutionNode x # to :: Rep ResolutionNode x -> ResolutionNode # | |||||
| Show ResolutionNode Source # | |||||
Defined in Settei.Report Methods showsPrec :: Int -> ResolutionNode -> ShowS # show :: ResolutionNode -> String # showList :: [ResolutionNode] -> ShowS # | |||||
| Eq ResolutionNode Source # | |||||
Defined in Settei.Report Methods (==) :: ResolutionNode -> ResolutionNode -> Bool # (/=) :: ResolutionNode -> ResolutionNode -> Bool # | |||||
| type Rep ResolutionNode Source # | |||||
Defined in Settei.Report type Rep ResolutionNode = D1 ('MetaData "ResolutionNode" "Settei.Report" "settei-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ResolutionNode" 'PrefixI 'True) ((S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Key) :*: (S1 ('MetaSel ('Just "sensitivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Sensitivity) :*: S1 ('MetaSel ('Just "outcome") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ResolutionOutcome))) :*: (S1 ('MetaSel ('Just "origin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Origin)) :*: (S1 ('MetaSel ('Just "shadowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Origin]) :*: S1 ('MetaSel ('Just "derivation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Derivation)))))) | |||||
data ResolutionOutcome Source #
What happened to a statically possible setting in this run.
Constructors
| Resolved !ReportedValue | |
| MissingValue | |
| NotSelected |
Instances
| Generic ResolutionOutcome Source # | |||||
Defined in Settei.Report Associated Types
Methods from :: ResolutionOutcome -> Rep ResolutionOutcome x # to :: Rep ResolutionOutcome x -> ResolutionOutcome # | |||||
| Show ResolutionOutcome Source # | |||||
Defined in Settei.Report Methods showsPrec :: Int -> ResolutionOutcome -> ShowS # show :: ResolutionOutcome -> String # showList :: [ResolutionOutcome] -> ShowS # | |||||
| Eq ResolutionOutcome Source # | |||||
Defined in Settei.Report Methods (==) :: ResolutionOutcome -> ResolutionOutcome -> Bool # (/=) :: ResolutionOutcome -> ResolutionOutcome -> Bool # | |||||
| type Rep ResolutionOutcome Source # | |||||
Defined in Settei.Report type Rep ResolutionOutcome = D1 ('MetaData "ResolutionOutcome" "Settei.Report" "settei-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Resolved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ReportedValue)) :+: (C1 ('MetaCons "MissingValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotSelected" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data ResolutionReport Source #
Complete, secret-safe trace for one resolution attempt.
Constructors
| ResolutionReport | |
Fields
| |
Instances
| Generic ResolutionReport Source # | |||||
Defined in Settei.Report Associated Types
Methods from :: ResolutionReport -> Rep ResolutionReport x # to :: Rep ResolutionReport x -> ResolutionReport # | |||||
| Show ResolutionReport Source # | |||||
Defined in Settei.Report Methods showsPrec :: Int -> ResolutionReport -> ShowS # show :: ResolutionReport -> String # showList :: [ResolutionReport] -> ShowS # | |||||
| Eq ResolutionReport Source # | |||||
Defined in Settei.Report Methods (==) :: ResolutionReport -> ResolutionReport -> Bool # (/=) :: ResolutionReport -> ResolutionReport -> Bool # | |||||
| type Rep ResolutionReport Source # | |||||
Defined in Settei.Report type Rep ResolutionReport = D1 ('MetaData "ResolutionReport" "Settei.Report" "settei-0.2.0.0-inplace" 'False) (C1 ('MetaCons "ResolutionReport" 'PrefixI 'True) (S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Key ResolutionNode)) :*: S1 ('MetaSel ('Just "branches") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [BranchTrace]))) | |||||
reportBranches :: ResolutionReport -> [BranchTrace] Source #
Return branch decisions in evaluation order.
reportNodes :: ResolutionReport -> [ResolutionNode] Source #
Return resolution nodes in stable key order.