| 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
- 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
- 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 #
expectFailureOnTxWitsEmptyFieldWithTag ∷ (ToExpr (TxWits era), DecCBOR (Annotator (TxWits era))) ⇒ Version → Int → DecoderError → Expectation Source #
allegraDecodeDuplicateDelegCertSucceeds ∷ (AllegraEraTest era, ShelleyEraTxCert era) ⇒ Version → Spec 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 #
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 #
witsEmptyField ∷ Int → Enc Source #
expectFailureOnTxWitsEmptyField ∷ AlonzoEraTest era ⇒ Version → Int → DecoderError → Expectation Source #
txWitsDecodingFailsOnInvalidField ∷ AlonzoEraTest era ⇒ Version → [Int] → Spec Source #