Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.ScriptClass

1 type
1 class
15 values

Packagecardano-ledger-shelley-test-1.9.0.0
Exports17
LanguageHaskell2010
LicenceApache-2.0
SourceScriptClass.hs

classclass EraScript era => ScriptClass era where

Methods

basescript :: Proxy era -> KeyHash Witness -> Script era
isKey :: Proxy era -> Script era -> Maybe (KeyHash Witness)
isOnePhase :: Proxy era -> Script era -> Bool
quantify :: Proxy era -> Script era -> Quantifier (Script era)
unQuantify :: Proxy era -> Quantifier (Script era) -> Script era

Instances1ScriptClass

ScriptClass ShelleyEraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.ShelleyEraGen · orphan

datadata Quantifier t

Constructors

AllOf [t]
AnyOf [t]
MOf Int [t]
Leaf t

Instances1Functor

Functor QuantifierDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.ScriptClass

valueexponential :: Integer -> Integer -> Gen Integer

valueanyOf :: ScriptClass era => Proxy era -> [Script era] -> Script era

valueallOf :: ScriptClass era => Proxy era -> [Script era] -> Script era

valuemOf :: ScriptClass era => Proxy era -> Int -> [Script era] -> Script era

valuekeyPairs :: Constants -> KeyPairs

Constant list of KeyPairs intended to be used in the generators.

valuemkPayScriptHashMap

:: ScriptClass era
=> [(Script era, Script era)]
-> Map ScriptHash (Script era, Script era)

valuemkStakeScriptHashMap

:: ScriptClass era
=> [(Script era, Script era)]
-> Map ScriptHash (Script era, Script era)

Generate a mapping from stake script hash to script pair.

valuemkScriptsFromKeyPair

:: ScriptClass era
=> (KeyPair Payment, KeyPair Staking)
-> (Script era, Script era)

valuemkKeyPairs :: Word64 -> (KeyPair kr, KeyPair kr')

valuemkScripts :: ScriptClass era => KeyPairs -> [(Script era, Script era)]

make Scripts based on the given key pairs

valuemkScriptCombinations

:: ScriptClass era
=> [(Script era, Script era)]
-> [(Script era, Script era)]

Combine a list of script pairs into hierarchically structured multi-sig scripts, list must have at least length 3. Be careful not to call with too many pairs in order not to create too many of the possible combinations.

valuecombinedScripts

:: ScriptClass era
=> Constants
-> [(Script era, Script era)]

Make a list of script pairs (payment,staking). Each of these are combined scripts. I.e. All, Any, MofN, etc. These come from combining the the first N (numBaseScripts) baseScripts When N==3, we get about 150 combined scripts.

valuebaseScripts :: ScriptClass era => Constants -> [(Script era, Script era)]

Make list of script pairs (payment,staking). These are non-combined scripts Ie NO quantifer like All, Any, MofN, etc.) scripts. In post Shelley Eras, either Keylock or Require Start-Finish scripts.

valuescriptKeyCombinations

:: ScriptClass era
=> Proxy era
-> Script era
-> [[KeyHash Witness]]

Return all valid lists of KeyHashes that appear in a Script used in testing.

valuescriptKeyCombination

:: ScriptClass era
=> Proxy era
-> Script era
-> [KeyHash Witness]

Produce a valid list of key hashes that appear in a Script. Note: in the case of AnyOf, we just take the first script in the expression. This only works if we generate AnyOf scripts such that all script options are valid scripts (that is, valid in the context of a transaction, at generation time and execution/spend time).