cardano-ledger-core-1.15.1.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Plutus

Synopsis

Documentation

data PlutusArgs Source #

Constructors

PlutusArgs 

Fields

Instances

Instances details
Generic PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Associated Types

type Rep PlutusArgs ∷ Type → Type Source #

Methods

from ∷ PlutusArgs → Rep PlutusArgs x Source #

to ∷ Rep PlutusArgs x → PlutusArgs Source #

Show PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

showsPrec ∷ Int → PlutusArgs → ShowS Source #

show ∷ PlutusArgs → String Source #

showList ∷ [PlutusArgs] → ShowS Source #

NFData PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

rnf ∷ PlutusArgs → () Source #

type Rep PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

type Rep PlutusArgs = D1 ('MetaData "PlutusArgs" "Test.Cardano.Ledger.Plutus.ScriptTestContext" "cardano-ledger-core-1.15.1.0-inplace-testlib" 'False) (C1 ('MetaCons "PlutusArgs" 'PrefixI 'True) (S1 ('MetaSel ('Just "paData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Data) :*: S1 ('MetaSel ('Just "paSpendDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Data))))

data ScriptTestContext Source #

Constructors

∀ l.PlutusLanguage l ⇒ ScriptTestContext 

Fields

Instances

Instances details
Show ScriptTestContext Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

showsPrec ∷ Int → ScriptTestContext → ShowS Source #

show ∷ ScriptTestContext → String Source #

showList ∷ [ScriptTestContext] → ShowS Source #

NFData ScriptTestContext Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

rnf ∷ ScriptTestContext → () Source #

Plutus

alwaysSucceedsPlutus ∷ Natural → Plutus l Source #

alwaysFailsPlutus ∷ Natural → Plutus l Source #

CostModel

mkCostModelConst ∷ HasCallStack ⇒ Language → Int64 → CostModel Source #

Construct a test cost model where all parameters are set to the same value

zeroTestingCostModel ∷ HasCallStack ⇒ Language → CostModel Source #

zeroTestingCostModelV1 ∷ HasCallStack ⇒ CostModel Source #

zeroTestingCostModelV2 ∷ HasCallStack ⇒ CostModel Source #

zeroTestingCostModelV3 ∷ HasCallStack ⇒ CostModel Source #

testingCostModel ∷ HasCallStack ⇒ Language → CostModel Source #

testingCostModelV1 ∷ HasCallStack ⇒ CostModel Source #

testingCostModelV2 ∷ HasCallStack ⇒ CostModel Source #

testingCostModelV3 ∷ HasCallStack ⇒ CostModel Source #

testingEvaluationContext ∷ Language → EvaluationContext Source #

CostModels

testingCostModels ∷ HasCallStack ⇒ [Language] → CostModels Source #

Test CostModels for all available languages

zeroTestingCostModels ∷ HasCallStack ⇒ [Language] → CostModels Source #

Test CostModels for all available languages with zero values for all parameters