cardano-ledger-alonzo-1.12.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Arbitrary

Synopsis

Documentation

mkPlutusScript' ∷ ∀ era l. (HasCallStack, AlonzoEraScript era, PlutusLanguage l) ⇒ Plutus l → Script era Source #

Partial version of mkPlutusScript

alwaysSucceeds ∷ ∀ l era. (HasCallStack, PlutusLanguage l, AlonzoEraScript era) ⇒ Natural → Script era Source #

alwaysSucceedsLang ∷ (HasCallStack, AlonzoEraScript era) ⇒ Language → Natural → Script era Source #

alwaysFails ∷ ∀ l era. (HasCallStack, PlutusLanguage l, AlonzoEraScript era) ⇒ Natural → Script era Source #

alwaysFailsLang ∷ (HasCallStack, AlonzoEraScript era) ⇒ Language → Natural → Script era Source #

genEraLanguage ∷ ∀ era. AlonzoEraScript era ⇒ Gen Language Source #

genAlonzoScript ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ Language → Gen (AlonzoScript era) Source #

genNativeScript ∷ (AlonzoEraScript era, NativeScript era ~ Timelock era) ⇒ Gen (AlonzoScript era) Source #

genPlutusScript ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Language → Gen (AlonzoScript era) Source #

genScripts ∷ ∀ era. (EraScript era, Arbitrary (Script era)) ⇒ Gen (Map (ScriptHash (EraCrypto era)) (Script era)) Source #

genValidCostModel ∷ Language → Gen CostModel Source #

genValidAndUnknownCostModels ∷ Gen CostModels Source #

genAlonzoPlutusPurposePointer ∷ Word32 → Gen (AlonzoPlutusPurpose AsIx era) Source #

Orphan instances

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 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 #

Arbitrary Data Source # 
Instance details

Methods

arbitrary ∷ Gen Data Source #

shrink ∷ Data → [Data] 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 #

Era era ⇒ Arbitrary (AlonzoContextError era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoContextError era) Source #

shrink ∷ AlonzoContextError era → [AlonzoContextError 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 #

(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ Arbitrary (AlonzoScript era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoScript era) Source #

shrink ∷ AlonzoScript era → [AlonzoScript era] Source #

(Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era)) ⇒ Arbitrary (AlonzoTx era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoTx era) Source #

shrink ∷ AlonzoTx era → [AlonzoTx 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), AlonzoEraScript era) ⇒ Arbitrary (AlonzoTxAuxData era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoTxAuxData era) Source #

shrink ∷ AlonzoTxAuxData era → [AlonzoTxAuxData era] Source #

(EraTxOut era, EraTxCert era, Arbitrary (TxOut era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era)) ⇒ Arbitrary (AlonzoTxBody era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoTxBody era) Source #

shrink ∷ AlonzoTxBody era → [AlonzoTxBody 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 #

Era era ⇒ Arbitrary (BinaryData era) Source # 
Instance details

Methods

arbitrary ∷ Gen (BinaryData era) Source #

shrink ∷ BinaryData era → [BinaryData era] Source #

Era era ⇒ Arbitrary (Data era) Source # 
Instance details

Methods

arbitrary ∷ Gen (Data era) Source #

shrink ∷ Data era → [Data era] Source #

Era era ⇒ Arbitrary (Datum era) Source # 
Instance details

Methods

arbitrary ∷ Gen (Datum era) Source #

shrink ∷ Datum era → [Datum era] Source #

Arbitrary (AlonzoPParams Identity era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoPParams Identity era) Source #

shrink ∷ AlonzoPParams Identity era → [AlonzoPParams Identity era] Source #

Arbitrary (AlonzoPParams StrictMaybe era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AlonzoPParams StrictMaybe era) Source #

shrink ∷ AlonzoPParams StrictMaybe era → [AlonzoPParams StrictMaybe 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 #