| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Binary.Golden
Synopsis
- expectDecoderResultOn ∷ ∀ a b. (ToExpr b, DecCBOR (Annotator a), Eq b, HasCallStack) ⇒ Version → Enc → a → (a → b) → Expectation
- expectDecoderFailureAnn ∷ (ToExpr a, DecCBOR (Annotator a), Typeable a, HasCallStack) ⇒ Version → Enc → DecoderError → Expectation
- listRedeemersEnc ∷ Enc
- goldenListRedeemers ∷ ConwayEraTest era ⇒ Spec
Documentation
expectDecoderResultOn ∷ ∀ a b. (ToExpr b, DecCBOR (Annotator a), Eq b, HasCallStack) ⇒ Version → Enc → a → (a → b) → Expectation Source #
expectDecoderFailureAnn ∷ (ToExpr a, DecCBOR (Annotator a), Typeable a, HasCallStack) ⇒ Version → Enc → DecoderError → Expectation Source #
listRedeemersEnc ∷ Enc Source #
A simple redeemer encoded as a list
goldenListRedeemers ∷ ConwayEraTest era ⇒ Spec Source #