Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Conway.BinarySpec
Documentation
spec ∷ ∀ era. (ConwayEraImp era, DecCBOR (TxAuxData era), DecCBOR (TxWits era), DecCBOR (TxBody era), DecCBOR (Tx era), Arbitrary (PlutusPurpose AsIx era), RuleListEra era, StashedAVVMAddresses era ~ (), SafeToHash (TxWits era)) ⇒ Spec Source #