Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Conway.Binary.Golden

Synopsis

spec ∷ ConwayEraTest era ⇒ Spec
listRedeemersEnc ∷ Enc
goldenListRedeemers ∷ ConwayEraTest era ⇒ Spec
witsEmptyFieldWithSetTag ∷ Int → Enc
conwayDecodeDuplicateDelegCertFails ∷ ConwayEraTest era ⇒ Version → Spec
expectFailureOnTxWitsEmptyFieldWithTag ∷ (ToExpr (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ Version → Int → DecoderError → Expectation
allegraDecodeDuplicateDelegCertSucceeds ∷ (AllegraEraTest era, ShelleyEraTxCert era) ⇒ Version → Spec
cborAnnGoldenSpec ∷ (Eq a, Show a, ToCBOR a, DecCBOR (Annotator a), HasCallStack) ⇒ (FilePath → IO FilePath) → FilePath → Version → a → Spec
cborGoldenSpec ∷ (Eq a, Show a, EncCBOR a, DecCBOR a, HasCallStack) ⇒ (FilePath → IO FilePath) → FilePath → Version → a → Spec
decodeEnc ∷ DecCBOR (Annotator a) ⇒ Version → Enc → Either DecoderError a
expectDecoderFailureAnn ∷ (ToExpr a, DecCBOR (Annotator a), HasCallStack) ⇒ Version → Enc → DecoderError → Expectation
expectDecoderResultOn ∷ (DecCBOR (Annotator a), Eq b, HasCallStack, Show b) ⇒ Version → Enc → a → (a → b) → Expectation
expectDecoderSuccessAnn ∷ (DecCBOR (Annotator a), Eq a, HasCallStack, Show a) ⇒ Version → Enc → a → Expectation
expectDecoderSuccessAnnWith ∷ (DecCBOR (Annotator a), HasCallStack, Show a, Eq a) ⇒ (a → a → Bool) → Version → Enc → a → Expectation
goldenForEncCBOR ∷ EncCBOR a ⇒ FilePath → Version → a → Golden ByteString
goldenForToCBOR ∷ ToCBOR a ⇒ FilePath → a → Golden ByteString
toPackageGolden ∷ (FilePath → IO FilePath) → Golden g → IO (Golden g)
duplicateDelegCertsTxBody ∷ ShelleyEraTest era ⇒ Version → Enc
goldenNewEpochStateExpectation ∷ (HasCallStack, EraTxOut era, EraGov era, EraStake era, ToCBOR (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), EraCertState era) ⇒ NewEpochState era → Expectation
shelleyDecodeDuplicateDelegCertSucceeds ∷ Version → Spec
witsEmptyField ∷ Int → Enc
expectFailureOnTxWitsEmptyField ∷ AlonzoEraTest era ⇒ Version → Int → DecoderError → Expectation
txWitsDecodingFailsOnInvalidField ∷ AlonzoEraTest era ⇒ Version → [Int] → Spec

Documentation

spec ∷ ConwayEraTest era ⇒ Spec Source #

listRedeemersEnc ∷ Enc Source #

A simple redeemer encoded as a list

goldenListRedeemers ∷ ConwayEraTest era ⇒ Spec Source #

witsEmptyFieldWithSetTag ∷ Int → Enc Source #

conwayDecodeDuplicateDelegCertFails ∷ ConwayEraTest era ⇒ Version → Spec Source #

expectFailureOnTxWitsEmptyFieldWithTag ∷ (ToExpr (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ Version → Int → DecoderError → Expectation Source #

allegraDecodeDuplicateDelegCertSucceeds ∷ (AllegraEraTest era, ShelleyEraTxCert era) ⇒ Version → Spec Source #

cborAnnGoldenSpec Source #

Arguments

∷ (Eq a, Show a, ToCBOR a, DecCBOR (Annotator a), HasCallStack)
⇒ (FilePath → IO FilePath)	Action to get the full path, usually will be `Paths_package_name.getDataFileName`
→ FilePath	File path to the golden file relative to the root of the package
→ Version	Protocol version to be used for decoding
→ a	Value, which in an encoded form will be expected to produce the same contents as in the golden file.
→ Spec

Check ToCBOR golden spec as well as roundtripping of the golden example with DecCBOR for its Annotator version.

cborGoldenSpec Source #

Arguments

∷ (Eq a, Show a, EncCBOR a, DecCBOR a, HasCallStack)
⇒ (FilePath → IO FilePath)	Action to get the full path, usually will be `Paths_package_name.getDataFileName`
→ FilePath	File path to the golden file relative to the root of the package
→ Version	Protocol version to be used for encoding
→ a	Value, which in an encoded form will be expected to produce the same contents as in the golden file.
→ Spec

Check EncCBOR golden spec as well as roundtripping of the golden example with DecCBOR

decodeEnc ∷ DecCBOR (Annotator a) ⇒ Version → Enc → Either DecoderError a Source #

expectDecoderFailureAnn ∷ (ToExpr a, DecCBOR (Annotator a), HasCallStack) ⇒ Version → Enc → DecoderError → Expectation Source #

expectDecoderResultOn ∷ (DecCBOR (Annotator a), Eq b, HasCallStack, Show b) ⇒ Version → Enc → a → (a → b) → Expectation Source #

expectDecoderSuccessAnn ∷ (DecCBOR (Annotator a), Eq a, HasCallStack, Show a) ⇒ Version → Enc → a → Expectation Source #

expectDecoderSuccessAnnWith ∷ (DecCBOR (Annotator a), HasCallStack, Show a, Eq a) ⇒ (a → a → Bool) → Version → Enc → a → Expectation Source #

goldenForEncCBOR Source #

Arguments

∷ EncCBOR a
⇒ FilePath	Path to the golden file relative to the package
→ Version	Protocol version to be used for encoding
→ a	Value, which in an encoded form will be expected to produce the same contents as in the golden file.
→ Golden ByteString

Golden specification for EncCBOR

goldenForToCBOR Source #

Arguments

∷ ToCBOR a
⇒ FilePath	Path to the golden file relative to the root of the package
→ a	Value, which in an encoded form will be expected to produce the same contents as in the golden file.
→ Golden ByteString

Golden specification for ToCBOR

toPackageGolden ∷ (FilePath → IO FilePath) → Golden g → IO (Golden g) Source #

duplicateDelegCertsTxBody ∷ ShelleyEraTest era ⇒ Version → Enc Source #

goldenNewEpochStateExpectation ∷ (HasCallStack, EraTxOut era, EraGov era, EraStake era, ToCBOR (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), EraCertState era) ⇒ NewEpochState era → Expectation Source #

shelleyDecodeDuplicateDelegCertSucceeds ∷ Version → Spec Source #

witsEmptyField ∷ Int → Enc Source #

expectFailureOnTxWitsEmptyField ∷ AlonzoEraTest era ⇒ Version → Int → DecoderError → Expectation Source #

txWitsDecodingFailsOnInvalidField ∷ AlonzoEraTest era ⇒ Version → [Int] → Spec Source #