cardano-ledger-core-1.19.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Plutus

Synopsis

Documentation

data PlutusArgs Source #

Constructors

PlutusArgs 

Fields

Instances

Instances details
NFData PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

rnf ∷ PlutusArgs → () #

Generic PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Associated Types

type Rep PlutusArgs 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

type Rep PlutusArgs = D1 ('MetaData "PlutusArgs" "Test.Cardano.Ledger.Plutus.ScriptTestContext" "cardano-ledger-core-1.19.0.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))))

Methods

from ∷ PlutusArgs → Rep PlutusArgs x #

to ∷ Rep PlutusArgs x → PlutusArgs #

Show PlutusArgs Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

showsPrec ∷ Int → PlutusArgs → ShowS #

show ∷ PlutusArgs → String #

showList ∷ [PlutusArgs] → ShowS #

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.19.0.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

PlutusLanguage l ⇒ ScriptTestContext 

Fields

Instances

Instances details
NFData ScriptTestContext Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

rnf ∷ ScriptTestContext → () #

Show ScriptTestContext Source # 
Instance details

Defined in Test.Cardano.Ledger.Plutus.ScriptTestContext

Methods

showsPrec ∷ Int → ScriptTestContext → ShowS #

show ∷ ScriptTestContext → String #

showList ∷ [ScriptTestContext] → ShowS #

Plutus

alwaysSucceedsPlutus ∷ ∀ (l ∷ Language). Natural → Plutus l Source #

alwaysFailsPlutus ∷ ∀ (l ∷ Language). Natural → Plutus l Source #

decodeHexPlutus ∷ ∀ (l ∷ Language). HasCallStack ⇒ Text → 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