| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Scripts
Synopsis
- allPlutusScripts ∷ Reflect era ⇒ Proof era → Map (ScriptHash (EraCrypto era)) (IsValid, Script era)
- genCoreScript ∷ ∀ era. Proof era → PlutusPurposeTag → KeyMap era → ValidityInterval → Gen (Script era)
- spendPlutusScripts ∷ Reflect era ⇒ Proof era → Map (ScriptHash (EraCrypto era)) (IsValid, Script era)
- sufficientScript ∷ Proof era → Script era → Set (KeyHash 'Witness (EraCrypto era))
Documentation
allPlutusScripts ∷ Reflect era ⇒ Proof era → Map (ScriptHash (EraCrypto era)) (IsValid, Script era) Source #
For any given Era, there are only a finite number of Plutus scripts.
This function computes all of them. There will be two failing scripts
One for the Spend Tag, and another for all other Tags (Mint, Cert, Rewrd).
The non-failing Spend scripts have varying number of arguments (0, 1, 2, 3)
The non-failing (Mint Cert Rewrd) scripts are identical.
Any Plutus script generated by genCoreScript will be in this Map.
genCoreScript ∷ ∀ era. Proof era → PlutusPurposeTag → KeyMap era → ValidityInterval → Gen (Script era) Source #
spendPlutusScripts ∷ Reflect era ⇒ Proof era → Map (ScriptHash (EraCrypto era)) (IsValid, Script era) Source #
There are only 5 plutus scripts that can be used in a Spend context