Modulecuddle-1.8.1.0GHC2021

Codec.CBOR.Cuddle.CBOR.Validator.Trace

Synopsis

data SValidity
data Validity
data ValidationTrace
data ListValidationTrace
data MapValidationTrace
data Evidenced
class IsValidationTrace
data ControlInfo
newtype TraceOptions
data Progress
value defaultTraceOptions
value isValid
value prettyValidationTrace
value showValidationTrace
value mapTrace
value compareEvidencedProgress
value evidence
value foldEvidenced

Packagecuddle-1.8.1.0
Exports18
LanguageGHC2021
LicenceApache-2.0

datadata SValidity (v :: Validity) where

Instances4TestEquality, Eq, Ord, Show

TestEquality SValidityDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Eq (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Ord (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Show (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata Validity

IsValid IsInvalid

Instances1TestEquality

TestEquality SValidityDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata ValidationTrace (v :: Validity) where

Constructors

UnapplicableRule :: CTree MonoSimplePhase -> ValidationTrace IsInvalid
TerminalRule :: CTree MonoSimplePhase -> ValidationTrace IsValid
ControlTrace :: ControlInfo -> ValidationTrace IsValid -> ValidationTrace IsValid
ReferenceRule :: Name -> ValidationTrace v -> ValidationTrace v
CustomFailure :: Text -> ValidationTrace IsInvalid
CustomSuccess :: ValidationTrace IsValid
UnsatisfiedControl :: CtlOp -> CTree MonoSimplePhase -> ValidationTrace IsInvalid
ChoiceBranch :: Int -> ValidationTrace IsValid -> ValidationTrace IsValid
ListTrace :: ListValidationTrace v -> ValidationTrace v
MapTrace :: MapValidationTrace v -> ValidationTrace v
TagTrace :: Word64 -> ValidationTrace v -> ValidationTrace v
InvalidTag :: Word64 -> Word64 -> ValidationTrace IsInvalid

Instances2IsValidationTrace, Show

IsValidationTrace ValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Show (ValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata ListValidationTrace (v :: Validity) where

Instances2IsValidationTrace, Show

IsValidationTrace ListValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Show (ListValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata MapValidationTrace (v :: Validity) where

Instances2IsValidationTrace, Show

IsValidationTrace MapValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Show (MapValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata Evidenced (t :: Validity -> Type) where

Constructors

Evidenced :: SValidity v -> t v -> Evidenced t
- eValidity :: SValidity v
- eTrace :: t v

Instances2Show, Semigroup

(forall (v :: Validity). Show (t v)) => Show (Evidenced t)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
IsValidationTrace t => Semigroup (Evidenced t)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

classclass IsValidationTrace (t :: Validity -> Type) where

Methods

traceValidity :: t v -> SValidity v
measureProgress :: t v -> Progress

Instances3IsValidationTrace

IsValidationTrace ListValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
IsValidationTrace MapValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
IsValidationTrace ValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

datadata ControlInfo

Constructors

ControlInfo
- ciOp :: CtlOp
- ciRule :: CTree MonoSimplePhase

Instances2Show, Pretty

Show ControlInfoDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Pretty ControlInfoDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

newtypenewtype TraceOptions

Constructors

TraceOptions
- toFoldValid :: Bool

datadata Progress

Constructors

Progress
- termProgress :: !Int
- refProgress :: !Int

Instances4Eq, Ord, Semigroup, Monoid

Eq ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Ord ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Semigroup ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace
Monoid ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace

valuedefaultTraceOptions :: TraceOptions

valueisValid :: Evidenced t -> Bool

valueprettyValidationTrace :: TraceOptions -> ValidationTrace v -> Doc AnsiStyle

valueshowValidationTrace :: ValidationTrace v -> String

valuemapTrace

:: forall (v :: Validity). Show (u v)
=> forall (v :: Validity). t v -> u v
-> Evidenced t
-> Evidenced u

valuecompareEvidencedProgress

:: IsValidationTrace t
=> Evidenced t
-> Evidenced t
-> Ordering

valueevidence :: (Show (t v), IsValidationTrace t) => t v -> Evidenced t

valuefoldEvidenced :: (forall (v :: Validity). t v -> a) -> Evidenced t -> a