:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Modulecuddle-1.8.1.0GHC2021
TestEquality SValidityDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceEq (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceOrd (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceShow (SValidity v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceTestEquality SValidityDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceUnapplicableRule :: CTree MonoSimplePhase -> ValidationTrace IsInvalidTerminalRule :: CTree MonoSimplePhase -> ValidationTrace IsValidControlTrace :: ControlInfo -> ValidationTrace IsValid -> ValidationTrace IsValidReferenceRule :: Name -> ValidationTrace v -> ValidationTrace vCustomFailure :: Text -> ValidationTrace IsInvalidCustomSuccess :: ValidationTrace IsValidUnsatisfiedControl :: CtlOp -> CTree MonoSimplePhase -> ValidationTrace IsInvalidChoiceBranch :: Int -> ValidationTrace IsValid -> ValidationTrace IsValidListTrace :: ListValidationTrace v -> ValidationTrace vMapTrace :: MapValidationTrace v -> ValidationTrace vTagTrace :: Word64 -> ValidationTrace v -> ValidationTrace vInvalidTag :: Word64 -> Word64 -> ValidationTrace IsInvalidIsValidationTrace ValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceShow (ValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceListValidationDone :: ListValidationTrace IsValidListValidationLeftoverTerms :: NonEmpty Term -> Maybe (CTree MonoSimplePhase, ValidationTrace IsInvalid) -> ListValidationTrace IsInvalidListValidationUnappliedRule :: CTree MonoSimplePhase -> ListValidationTrace IsInvalidListValidationConsume :: CTree MonoSimplePhase -> ValidationTrace IsValid -> ListValidationTrace v -> ListValidationTrace vListValidationMissingRequired :: CTree MonoSimplePhase -> ValidationTrace IsInvalid -> ListValidationTrace IsInvalidListValidationConsumeGroup :: [Name] -> ListValidationTrace IsValid -> ListValidationTrace v -> ListValidationTrace vListValidationBadGroup :: [Name] -> ListValidationTrace IsInvalid -> ListValidationTrace IsInvalidIsValidationTrace ListValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceShow (ListValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceMapValidationDone :: MapValidationTrace IsValidMapValidationLeftoverKVs :: (Term, Term) -> Maybe (CTree MonoSimplePhase, MapValidationTrace IsInvalid) -> MapValidationTrace IsInvalidMapValidationUnappliedRules :: NonEmpty (CTree MonoSimplePhase) -> MapValidationTrace IsInvalidMapValidationInvalidValue :: CTree MonoSimplePhase -> ValidationTrace IsValid -> ValidationTrace IsInvalid -> MapValidationTrace IsInvalidMapValidationConsume :: CTree MonoSimplePhase -> ValidationTrace IsValid -> ValidationTrace IsValid -> MapValidationTrace v -> MapValidationTrace vMapValidationDuplicateKeys :: CTree MonoSimplePhase -> CanonicalTerm -> ValidationTrace IsValid -> MapValidationTrace IsInvalidIsValidationTrace MapValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceShow (MapValidationTrace v)Defined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TracetraceValidity :: t v -> SValidity vmeasureProgress :: t v -> ProgressIsValidationTrace ListValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceIsValidationTrace MapValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceIsValidationTrace ValidationTraceDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceShow ControlInfoDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TracePretty ControlInfoDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceProgresstermProgress :: !IntrefProgress :: !IntEq ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceOrd ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceSemigroup ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.TraceMonoid ProgressDefined in cuddle-1.8.1.0 · Codec.CBOR.Cuddle.CBOR.Validator.Trace