Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Core

Synopsis

data AllIssuerKeys
data VRFKeyPair
data KESKeyPair
data GenEnv
data ScriptSpace
data TwoPhase3ArgInfo
data TwoPhase2ArgInfo
type ScriptInfo
data KeySpace
pattern KeySpace
newtype NatNonce
value findPayKeyPairAddr
value findPayKeyPairCred
value findPayScriptFromCred
value findStakeScriptFromCred
value findPayScriptFromAddr
value genBool
value genCoinList
value genInteger
value genNatural
value genWord64
value genTxOut
value genesisCoins
value increasingProbabilityAt
value pickStakeKey
value mkAddr
method mkCredential
value mkBlock
value mkBlockFakeVRF
value mkOCert
value getKESPeriodRenewalNo
value tooLateInEpoch
data RawSeed
value mkKeyPair
value mkKeyPairs
value mkGenKey
value genesisChainAccountState
value genCoin
type PreAlonzo
value hashData
value findPlutus

Packagecardano-ledger-shelley-test-1.9.0.0
Exports41
LanguageHaskell2010
LicenceApache-2.0
SourceCore.hs

datadata AllIssuerKeys c (r :: KeyRole)

Constructors

AllIssuerKeys
- aikCold :: KeyPair r
- aikVrf :: VRFKeyPair c
- aikHot :: NonEmpty (KESPeriod, KESKeyPair c)
- aikColdKeyHash :: KeyHash r

datadata VRFKeyPair c

Constructors

VRFKeyPair
- vrfSignKey :: !SignKeyVRF (VRF c)
- vrfVerKey :: !VerKeyVRF (VRF c)

datadata KESKeyPair c

Constructors

KESKeyPair
- kesSignKey :: !UnsoundPureSignKeyKES (KES c)
- kesVerKey :: !VerKeyKES (KES c)

datadata GenEnv c era

Source#

Generator environment.

Constructors

GenEnv
- geKeySpace :: KeySpace c era
- geScriptSpapce :: ScriptSpace era
- geConstants :: Constants

Instances4HasTrace

(ApplyTx era, EraGen era, EraGov era, EraUTxO era, EraCertState era, ShelleyEraAccounts era, MinLEDGER_STS era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Embed (EraRule "DELEGS" era) (LEDGER era), Embed (EraRule "UTXOW" era) (LEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ StAnnTx TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ LEDGER era, Crypto c) => HasTrace (LEDGER era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger · orphan
(EraGen era, EraBlockBody era, EraBlockHeader (BHeader MockCrypto) era, ApplyBlock TestBlockHeader era, ShelleyEraForecast era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ BbodySignal era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv MockCrypto era), PredicateFailure (EraRule "TICKF" era) ~ Void) => HasTrace (CHAIN era) (GenEnv MockCrypto era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Chain · orphan
(EraGen era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, AtMostEra "Babbage" era, EraCertState era, Crypto c) => HasTrace (CERTS era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert
(Crypto c, ApplyTx era, EraGen era, EraGov era, EraUTxO era, EraStake era, EraCertState era, ShelleyEraAccounts era, MinLEDGER_STS era, Embed (EraRule "DELPL" era) (CERTS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Embed (EraRule "DELEG" era) (DELPL era), Embed (EraRule "LEDGER" era) (LEDGERS era), AtMostEra "Babbage" era) => HasTrace (LEDGERS era) (GenEnv c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger · orphan

datadata ScriptSpace era

Constructors

ScriptSpace
- ssScripts3 :: [TwoPhase3ArgInfo era]
  A list of Two Phase 3 Arg Scripts and their associated data we can use.
- ssScripts2 :: [TwoPhase2ArgInfo era]
  A list of Two Phase 2 Arg Scripts and their associated data we can use.
- ssHash3 :: Map ScriptHash (TwoPhase3ArgInfo era)
- ssHash2 :: Map ScriptHash (TwoPhase2ArgInfo era)

Instances1Show

Show (Script era) => Show (ScriptSpace era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

datadata TwoPhase3ArgInfo era

Constructors

TwoPhase3ArgInfo
- getScript3 :: Script era
  A Plutus Script
- getHash3 :: ScriptHash
  Its ScriptHash
- getData3 :: Data
  A Data that will make it succeed
- getRedeemer3 :: (Data, Natural, Natural)
  A Redeemer that will make it succeed
- getSucceeds3 :: Bool

Instances1Show

Show (Script era) => Show (TwoPhase3ArgInfo era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

datadata TwoPhase2ArgInfo era

Constructors

TwoPhase2ArgInfo
- getScript2 :: Script era
  A Plutus Script
- getHash2 :: ScriptHash
  Its ScriptHash
- getRedeemer2 :: (Data, Natural, Natural)
  A Redeemer that will make it succeed
- getSucceeds2 :: Bool

Instances1Show

Show (Script era) => Show (TwoPhase2ArgInfo era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

typetype ScriptInfo era = (Map ScriptHash (TwoPhase3ArgInfo era), Map ScriptHash (TwoPhase2ArgInfo era))

datadata KeySpace c era

Source#

Collection of all keys which are required to generate a trace.

These are the _only_ keys which should be involved in the trace.

Constructors

KeySpace_
- ksCoreNodes :: [(GenesisKeyPair c, AllIssuerKeys c GenesisDelegate)]
- ksGenesisDelegates :: [AllIssuerKeys c GenesisDelegate]
  Bag of keys to be used for future genesis delegates
- ksStakePools :: [AllIssuerKeys c StakePool]
  Bag of keys to be used for future stake pools
- ksKeyPairs :: KeyPairs
  Bag of keys to be used for future payment/staking addresses
- ksMSigScripts :: [(Script era, Script era)]
- ksIndexedPaymentKeys :: Map (KeyHash Payment) (KeyPair Payment)
  Index over the payment keys in ksKeyPairs
- ksIndexedStakingKeys :: Map (KeyHash Staking) (KeyPair Staking)
  Index over the staking keys in ksKeyPairs
- ksIndexedGenDelegates :: Map (KeyHash GenesisDelegate) (AllIssuerKeys c GenesisDelegate)
  Index over the cold key hashes in Genesis Delegates
- ksIndexedPayScripts :: Map ScriptHash (Script era, Script era)
  Index over the pay script hashes in Script pairs
- ksIndexedStakeScripts :: Map ScriptHash (Script era, Script era)
  Index over the stake script hashes in Script pairs

Instances1Show

(Era era, Show (Script era), Crypto c) => Show (KeySpace c era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Core

pattern

pattern KeySpace :: ScriptClass era => [(GenesisKeyPair c, AllIssuerKeys c GenesisDelegate)] -> [AllIssuerKeys c GenesisDelegate] -> [AllIssuerKeys c StakePool] -> KeyPairs -> [(Script era, Script era)] -> KeySpace c era

newtypenewtype NatNonce

Constructors

NatNonce Natural

valuefindPayKeyPairAddr

:: Addr
-> Map (KeyHash Payment) (KeyPair Payment)
-> KeyPair Payment

Source#

Find first matching key pair for address. Returns the matching key pair where the first element of the pair matched the hash in addr.

valuefindPayKeyPairCred

:: Credential kr
-> Map (KeyHash kr) (KeyPair kr)
-> KeyPair kr

Source#

Find first matching key pair for a credential. Returns the matching key pair where the first element of the pair matched the hash in addr.

valuefindPayScriptFromCred

:: Credential Witness
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

Source#

Find matching multisig scripts for a credential.

valuefindStakeScriptFromCred

:: Credential Witness
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

Source#

Find first matching script for a credential.

valuefindPayScriptFromAddr

:: Addr
-> Map ScriptHash (Script era, Script era)
-> (Script era, Script era)

Source#

Find first matching multisig script for an address.

valuegenBool :: Gen Bool

valuegenCoinList :: Integer -> Integer -> Int -> Gen [Coin]

Source#

Generates a list of Coin values of length between lower and upper and with values between minCoin and maxCoin.

valuegenInteger :: Integer -> Integer -> Gen Integer

valuegenNatural :: Natural -> Natural -> Gen Natural

Source#

Generator for a natural number between lower and upper

valuegenWord64 :: Word64 -> Word64 -> Gen Word64

Source#

Generator for a Word64 between lower and upper

valuegenTxOut :: EraTxOut era => Gen (Value era) -> [Addr] -> Gen [TxOut era]

Source#

Generates a list of coins for the given Addr and produced a TxOut for each Addr

Note: we need to keep the initial utxo coin sizes large enough so that when we simulate sequences of transactions, we have enough funds available to include certificates that require deposits.

valuegenesisCoins :: TxId -> [TxOut era] -> UTxO era

Source#

Creates the UTxO for a new ledger with the specified genesis TxId and transaction outputs.

valueincreasingProbabilityAt :: Gen a -> (a, a) -> Gen a

Source#

Generate values the given distribution in 90% of the cases, and values at the bounds of the range in 10% of the cases.

This can be used to generate enough extreme values. The exponential and linear distributions provided by hedgehog will generate a small percentage of these (0-1%).

valuepickStakeKey :: KeyPairs -> Gen (VKey Staking)

Source#

Select one random verification staking key from list of pairs of KeyPair.

valuemkAddr :: (MakeCredential p Payment, MakeStakeReference s) => p -> s -> Addr

methodmkCredential :: c -> Credential r

valuemkBlock

:: (Crypto c, EraBlockBody era, Signable (VRF c) Seed, Signable (KES c) (BHBody c))
=> HashHeader
-> AllIssuerKeys c r
-> [Tx TopTx era]
-> SlotNo
-> BlockNo
-> Nonce
-> Word
-> Word
-> OCert c
-> Block (BHeader c) era

valuemkBlockFakeVRF

:: (Crypto c, EraBlockBody era, Signable (VRF c) (WithResult Seed), Signable (KES c) (BHBody c))
=> HashHeader
-> AllIssuerKeys c r
-> [Tx TopTx era]
-> SlotNo
-> BlockNo
-> Nonce
-> NatNonce
-> UnitInterval
-> Word
-> Word
-> OCert c
-> Block (BHeader c) era

valuemkOCert :: Crypto c => AllIssuerKeys c r -> Word64 -> KESPeriod -> OCert c

valuegetKESPeriodRenewalNo :: AllIssuerKeys h r -> KESPeriod -> Integer

Source#

Takes a sequence of KES hot keys and checks to see whether there is one whose range contains the current KES period. If so, return its index in the list of hot keys.

valuetooLateInEpoch :: SlotNo -> Bool

Source#

True if the given slot is within the last `2 * stabilityWindow` slots of the current epoch.

datadata RawSeed