Documentation

data BinaryUpgradeOpts Source #

specTxOutUpgrade ∷ ∀ era. (EraTxOut (PreviousEra era), EraTxOut era, Arbitrary (TxOut (PreviousEra era)), HasCallStack) ⇒ Spec Source #

specTxCertUpgrade ∷ ∀ era. (EraTxCert (PreviousEra era), EraTxCert era, Arbitrary (TxCert (PreviousEra era)), HasCallStack) ⇒ Spec Source #

specTxAuxDataUpgrade ∷ ∀ era. (EraTxAuxData (PreviousEra era), EraTxAuxData era, Arbitrary (TxAuxData (PreviousEra era)), HasCallStack, ToExpr (TxAuxData era)) ⇒ Spec Source #

specScriptUpgrade ∷ ∀ era. (EraScript (PreviousEra era), EraScript era, Arbitrary (Script (PreviousEra era)), HasCallStack) ⇒ Spec Source #

specTxWitsUpgrade ∷ ∀ era. (EraTxWits (PreviousEra era), EraTxWits era, Arbitrary (TxWits (PreviousEra era)), HasCallStack, ToExpr (TxWits era)) ⇒ Spec Source #

specTxBodyUpgrade ∷ ∀ era. (EraTxBody (PreviousEra era), EraTxBody era, Arbitrary (TxBody (PreviousEra era)), HasCallStack, ToExpr (TxBody era)) ⇒ Spec Source #

specTxUpgrade ∷ ∀ era. (EraTx (PreviousEra era), EraTx era, Arbitrary (Tx (PreviousEra era)), HasCallStack, ToExpr (Tx era)) ⇒ Spec Source #

specUpgrade ∷ ∀ era. (Arbitrary (TxOut (PreviousEra era)), Arbitrary (TxCert (PreviousEra era)), Arbitrary (TxAuxData (PreviousEra era)), Arbitrary (TxWits (PreviousEra era)), Arbitrary (TxBody (PreviousEra era)), EraTx (PreviousEra era), EraTx era, Arbitrary (Tx (PreviousEra era)), Arbitrary (Script (PreviousEra era)), HasCallStack, ToExpr (Tx era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era)) ⇒ BinaryUpgradeOpts → Spec Source #

expectRawEqual ∷ (EqRaw a, ToExpr a, HasCallStack) ⇒ Doc AnsiStyle → a → a → Expectation Source #