cardano-ledger-canonical-state-9.9.9.9: Instances for working with canonical ledger state representation
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.CanonicalState.CDDL.Validate

Description

Various helper functions for CBOR validation against supported CDDL specifications.

Synopsis

Documentation

validateBytesAgainst ∷ ByteString → Text → Text → Maybe (Evidenced ValidationTrace) Source #

Validate raw bytes against a rule in the namespace.

invalidSpecs ∷ Map SomeNamespaceSymbol NameResolutionFailure Source #

Pre-compiled CDDL specifications for all supported namespaces.

validSpecs ∷ Map SomeNamespaceSymbol (CTreeRoot MonoReferenced) Source #