| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Alonzo.Arbitrary
Contents
Synopsis
- mkPlutusScript' ∷ ∀ era l. (HasCallStack, AlonzoEraScript era, PlutusLanguage l) ⇒ Plutus l → Script era
- alwaysSucceeds ∷ ∀ l era. (HasCallStack, EraPlutusTxInfo l era) ⇒ Natural → Script era
- alwaysSucceedsLang ∷ SupportedLanguage era → Natural → PlutusScript era
- alwaysFails ∷ ∀ l era. (HasCallStack, EraPlutusTxInfo l era) ⇒ Natural → Script era
- alwaysFailsLang ∷ SupportedLanguage era → Natural → PlutusScript era
- genEraLanguage ∷ ∀ era. AlonzoEraScript era ⇒ Gen Language
- genAlonzoScript ∷ (EraPlutusContext era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SupportedLanguage era → Gen (AlonzoScript era)
- genNativeScript ∷ Arbitrary (NativeScript era) ⇒ Gen (NativeScript era)
- genNonEmptyRedeemers ∷ (AlonzoEraScript era, Arbitrary (PlutusPurpose AsIx era)) ⇒ Gen (Redeemers era)
- genNonEmptyTxDats ∷ Era era ⇒ Gen (TxDats era)
- genPlutusScript ∷ SupportedLanguage era → Gen (PlutusScript era)
- genScripts ∷ ∀ era. (EraScript era, Arbitrary (Script era)) ⇒ Gen (Map ScriptHash (Script era))
- genValidCostModel ∷ Language → Gen CostModel
- genValidAndUnknownCostModels ∷ Gen CostModels
- genAlonzoPlutusPurposePointer ∷ Word32 → Gen (AlonzoPlutusPurpose AsIx era)
Documentation
mkPlutusScript' ∷ ∀ era l. (HasCallStack, AlonzoEraScript era, PlutusLanguage l) ⇒ Plutus l → Script era Source #
Deprecated: In favor of fromPlutusScript . mkSupportedPlutusScript
Partial version of mkPlutusScript
alwaysSucceeds ∷ ∀ l era. (HasCallStack, EraPlutusTxInfo l era) ⇒ Natural → Script era Source #
alwaysSucceedsLang ∷ SupportedLanguage era → Natural → PlutusScript era Source #
alwaysFails ∷ ∀ l era. (HasCallStack, EraPlutusTxInfo l era) ⇒ Natural → Script era Source #
alwaysFailsLang ∷ SupportedLanguage era → Natural → PlutusScript era Source #
genEraLanguage ∷ ∀ era. AlonzoEraScript era ⇒ Gen Language Source #
genAlonzoScript ∷ (EraPlutusContext era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SupportedLanguage era → Gen (AlonzoScript era) Source #
genNativeScript ∷ Arbitrary (NativeScript era) ⇒ Gen (NativeScript era) Source #
genNonEmptyRedeemers ∷ (AlonzoEraScript era, Arbitrary (PlutusPurpose AsIx era)) ⇒ Gen (Redeemers era) Source #
genPlutusScript ∷ SupportedLanguage era → Gen (PlutusScript era) Source #
genScripts ∷ ∀ era. (EraScript era, Arbitrary (Script era)) ⇒ Gen (Map ScriptHash (Script era)) Source #