Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.CanonicalState.Conformance

Synopsis

Documentation

Arguments

∷ CTreeRoot MonoReferenced	CDDL spec to generate CBOR from
→ CTreeRoot MonoReferenced	Reference CDDL spec to validate against
→ Direction	Direction of testing
→ IO (Either FailureInfo ())

Test if a reference CDDL accepts CBOR generated from another spec

Information about a validation failure

Constructors

FailureInfo
Fields failDirection ∷ Direction failCborHex ∷ Text failErrorMessage ∷ Text

Instances details

Show FailureInfo Source #
Instance details Defined in Test.Cardano.Ledger.CanonicalState.Conformance Methods showsPrec ∷ Int → FailureInfo → ShowS # show ∷ FailureInfo → String # showList ∷ [FailureInfo] → ShowS #
Eq FailureInfo Source #
Instance details Defined in Test.Cardano.Ledger.CanonicalState.Conformance Methods (==) ∷ FailureInfo → FailureInfo → Bool # (/=) ∷ FailureInfo → FailureInfo → Bool #

Direction of conformance test

Constructors

HuddleValidating	Reference CDDL generated the CBOR, Huddle validated it
ReferenceValidating	Huddle generated the CBOR, Reference CDDL validated it

Instances details

Show Direction Source #
Instance details Defined in Test.Cardano.Ledger.CanonicalState.Conformance Methods showsPrec ∷ Int → Direction → ShowS # show ∷ Direction → String # showList ∷ [Direction] → ShowS #
Eq Direction Source #
Instance details Defined in Test.Cardano.Ledger.CanonicalState.Conformance Methods (==) ∷ Direction → Direction → Bool # (/=) ∷ Direction → Direction → Bool #