Documentation

spec ∷ (AlonzoEraTest era, ShelleyEraTxCert era) ⇒ Spec Source #

witsEmptyField ∷ Int → Enc Source #

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

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

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

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 #

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 #