Arbitrary AlonzoExtraConfig Source #
Instance details Methods arbitrary ∷ Gen AlonzoExtraConfig Source # shrink ∷ AlonzoExtraConfig → [AlonzoExtraConfig] Source #
Arbitrary AlonzoGenesis Source #
Instance details Methods arbitrary ∷ Gen AlonzoGenesis Source # shrink ∷ AlonzoGenesis → [AlonzoGenesis] Source #
Arbitrary CoinPerWord Source #
Instance details Methods arbitrary ∷ Gen CoinPerWord Source # shrink ∷ CoinPerWord → [CoinPerWord] Source #
Arbitrary LangDepView Source #
Instance details Methods arbitrary ∷ Gen LangDepView Source # shrink ∷ LangDepView → [LangDepView] Source #
Arbitrary OrdExUnits Source #
Instance details Methods arbitrary ∷ Gen OrdExUnits Source # shrink ∷ OrdExUnits → [OrdExUnits] Source #
Arbitrary FailureDescription Source #
Instance details Methods arbitrary ∷ Gen FailureDescription Source # shrink ∷ FailureDescription → [FailureDescription] Source #
Arbitrary TagMismatchDescription Source #
Instance details Methods arbitrary ∷ Gen TagMismatchDescription Source # shrink ∷ TagMismatchDescription → [TagMismatchDescription] Source #
Arbitrary IsValid Source #
Instance details Methods arbitrary ∷ Gen IsValid Source # shrink ∷ IsValid → [IsValid] Source #
(EraBlockBody era, AlonzoEraTx era, Arbitrary (Tx 'TopTx era), SafeToHash (TxWits era)) ⇒ Arbitrary (AlonzoBlockBody era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoBlockBody era) Source # shrink ∷ AlonzoBlockBody era → [AlonzoBlockBody era] Source #
EraPlutusContext era ⇒ Arbitrary (SupportedLanguage era) Source #
Instance details Methods arbitrary ∷ Gen (SupportedLanguage era) Source # shrink ∷ SupportedLanguage era → [SupportedLanguage era] Source #
(Era era, Arbitrary (PlutusPurpose AsItem era), Arbitrary (ContextError era)) ⇒ Arbitrary (CollectError era) Source #
Instance details Methods arbitrary ∷ Gen (CollectError era) Source # shrink ∷ CollectError era → [CollectError era] Source #
(EraTxOut era, Arbitrary (Value era), Arbitrary (TxOut era), Arbitrary (PredicateFailure (EraRule "UTXOS" era))) ⇒ Arbitrary (AlonzoUtxoPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoUtxoPredFailure era) Source # shrink ∷ AlonzoUtxoPredFailure era → [AlonzoUtxoPredFailure era] Source #
(Era era, Arbitrary (EraRuleFailure "PPUP" era), Arbitrary (PlutusPurpose AsItem era), Arbitrary (ContextError era)) ⇒ Arbitrary (AlonzoUtxosPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoUtxosPredFailure era) Source # shrink ∷ AlonzoUtxosPredFailure era → [AlonzoUtxosPredFailure era] Source #
(Era era, Arbitrary (PredicateFailure (EraRule "UTXO" era)), Arbitrary (ShelleyUtxowPredFailure era), Arbitrary (TxCert era), Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (AlonzoUtxowPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoUtxowPredFailure era) Source # shrink ∷ AlonzoUtxowPredFailure era → [AlonzoUtxowPredFailure era] Source #
(EraPlutusContext era, Script era ~ AlonzoScript era, Arbitrary (NativeScript era)) ⇒ Arbitrary (AlonzoScript era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoScript era) Source # shrink ∷ AlonzoScript era → [AlonzoScript era] Source #
(AlonzoEraScript era, AlonzoEraPParams era, Arbitrary (PParams era), Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (ScriptIntegrity era) Source #
Instance details Methods arbitrary ∷ Gen (ScriptIntegrity era) Source # shrink ∷ ScriptIntegrity era → [ScriptIntegrity era] Source #
(Arbitrary (AlonzoScript era), Arbitrary (NativeScript era), AlonzoEraScript era) ⇒ Arbitrary (AlonzoTxAuxData era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoTxAuxData era) Source # shrink ∷ AlonzoTxAuxData era → [AlonzoTxAuxData era] Source #
(EraTxOut era, Arbitrary (Value era)) ⇒ Arbitrary (AlonzoTxOut era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoTxOut era) Source # shrink ∷ AlonzoTxOut era → [AlonzoTxOut era] Source #
(Era era, Arbitrary (Script era), AlonzoEraScript era, Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (AlonzoTxWits era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoTxWits era) Source # shrink ∷ AlonzoTxWits era → [AlonzoTxWits era] Source #
(AlonzoEraScript era, Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (Redeemers era) Source #
Instance details Methods arbitrary ∷ Gen (Redeemers era) Source # shrink ∷ Redeemers era → [Redeemers era] Source #
Era era ⇒ Arbitrary (TxDats era) Source #
Instance details Methods arbitrary ∷ Gen (TxDats era) Source # shrink ∷ TxDats era → [TxDats era] Source #
Arbitrary (TransitionConfig AlonzoEra) Source #
Instance details Methods arbitrary ∷ Gen (TransitionConfig AlonzoEra) Source # shrink ∷ TransitionConfig AlonzoEra → [TransitionConfig AlonzoEra] Source #
Arbitrary (AlonzoPParams StrictMaybe era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoPParams StrictMaybe era) Source # shrink ∷ AlonzoPParams StrictMaybe era → [AlonzoPParams StrictMaybe era] Source #
Arbitrary (AlonzoPParams Identity era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoPParams Identity era) Source # shrink ∷ AlonzoPParams Identity era → [AlonzoPParams Identity era] Source #
Era era ⇒ Arbitrary (AlonzoContextError era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoContextError era) Source # shrink ∷ AlonzoContextError era → [AlonzoContextError era] Source #
(Era era, Arbitrary (TxCert era)) ⇒ Arbitrary (AlonzoPlutusPurpose AsItem era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoPlutusPurpose AsItem era) Source # shrink ∷ AlonzoPlutusPurpose AsItem era → [AlonzoPlutusPurpose AsItem era] Source #
Era era ⇒ Arbitrary (AlonzoPlutusPurpose AsIx era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoPlutusPurpose AsIx era) Source # shrink ∷ AlonzoPlutusPurpose AsIx era → [AlonzoPlutusPurpose AsIx era] Source #
(Era era, Arbitrary (TxCert era)) ⇒ Arbitrary (AlonzoPlutusPurpose AsIxItem era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoPlutusPurpose AsIxItem era) Source # shrink ∷ AlonzoPlutusPurpose AsIxItem era → [AlonzoPlutusPurpose AsIxItem era] Source #
Arbitrary it ⇒ Arbitrary (AsItem ix it) Source #
Instance details Methods arbitrary ∷ Gen (AsItem ix it) Source # shrink ∷ AsItem ix it → [AsItem ix it] Source #
Arbitrary ix ⇒ Arbitrary (AsIx ix it) Source #
Instance details Methods arbitrary ∷ Gen (AsIx ix it) Source # shrink ∷ AsIx ix it → [AsIx ix it] Source #
(Arbitrary ix, Arbitrary it) ⇒ Arbitrary (AsIxItem ix it) Source #
Instance details Methods arbitrary ∷ Gen (AsIxItem ix it) Source # shrink ∷ AsIxItem ix it → [AsIxItem ix it] Source #
(Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (TxBody 'TopTx era)) ⇒ Arbitrary (AlonzoTx 'TopTx era) Source #
Instance details Methods arbitrary ∷ Gen (AlonzoTx 'TopTx era) Source # shrink ∷ AlonzoTx 'TopTx era → [AlonzoTx 'TopTx era] Source #
Arbitrary (Tx 'TopTx AlonzoEra) Source #
Instance details Methods arbitrary ∷ Gen (Tx 'TopTx AlonzoEra) Source # shrink ∷ Tx 'TopTx AlonzoEra → [Tx 'TopTx AlonzoEra] Source #
Arbitrary (TxBody 'TopTx AlonzoEra) Source #
Instance details Methods arbitrary ∷ Gen (TxBody 'TopTx AlonzoEra) Source # shrink ∷ TxBody 'TopTx AlonzoEra → [TxBody 'TopTx AlonzoEra] Source #