cardano-ledger-core-1.18.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Core.Binary.Annotator

Documentation

decoderEquivalenceEraSpec ∷ ∀ era t. (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec Source #

decoderEquivalenceCoreEraTypesSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), HasCallStack) ⇒ Spec Source #

Orphan instances

(EraBlockBody era, DecCBOR h, DecCBOR (BlockBody era)) ⇒ DecCBOR (Block h era) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Block h era) Source #

dropCBOR ∷ Proxy (Block h era) → Decoder s () Source #

label ∷ Proxy (Block h era) → Text Source #