Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Core

Synopsis

data AllIssuerKeys c (r ∷ KeyRole) = AllIssuerKeys {
- aikCold ∷ KeyPair r
- aikVrf ∷ VRFKeyPair c
- aikHot ∷ NonEmpty (KESPeriod, KESKeyPair c)
- aikColdKeyHash ∷ KeyHash r
}
data VRFKeyPair c = VRFKeyPair {
- vrfSignKey ∷ !(SignKeyVRF (VRF c))
- vrfVerKey ∷ !(VerKeyVRF (VRF c))
}
data KESKeyPair c = KESKeyPair {
- kesSignKey ∷ !(UnsoundPureSignKeyKES (KES c))
- kesVerKey ∷ !(VerKeyKES (KES c))
}
data GenEnv era = GenEnv {
- geKeySpace ∷ KeySpace era
- geScriptSpapce ∷ ScriptSpace era
- geConstants ∷ Constants
}
data ScriptSpace era = ScriptSpace {
- ssScripts3 ∷ [TwoPhase3ArgInfo era]
- ssScripts2 ∷ [TwoPhase2ArgInfo era]
- ssHash3 ∷ Map ScriptHash (TwoPhase3ArgInfo era)
- ssHash2 ∷ Map ScriptHash (TwoPhase2ArgInfo era)
}
data TwoPhase3ArgInfo era = TwoPhase3ArgInfo {
- getScript3 ∷ Script era
- getHash3 ∷ ScriptHash
- getData3 ∷ Data
- getRedeemer3 ∷ (Data, Natural, Natural)
- getSucceeds3 ∷ Bool
}
data TwoPhase2ArgInfo era = TwoPhase2ArgInfo {
- getScript2 ∷ Script era
- getHash2 ∷ ScriptHash
- getRedeemer2 ∷ (Data, Natural, Natural)
- getSucceeds2 ∷ Bool
}
type ScriptInfo era = (Map ScriptHash (TwoPhase3ArgInfo era), Map ScriptHash (TwoPhase2ArgInfo era))
data KeySpace era = KeySpace_ {
- ksCoreNodes ∷ [(GenesisKeyPair MockCrypto, AllIssuerKeys MockCrypto 'GenesisDelegate)]
- ksGenesisDelegates ∷ [AllIssuerKeys MockCrypto 'GenesisDelegate]
- ksStakePools ∷ [AllIssuerKeys MockCrypto 'StakePool]
- ksKeyPairs ∷ KeyPairs
- ksMSigScripts ∷ [(Script era, Script era)]
- ksIndexedPaymentKeys ∷ Map (KeyHash 'Payment) (KeyPair 'Payment)
- ksIndexedStakingKeys ∷ Map (KeyHash 'Staking) (KeyPair 'Staking)
- ksIndexedGenDelegates ∷ Map (KeyHash 'GenesisDelegate) (AllIssuerKeys MockCrypto 'GenesisDelegate)
- ksIndexedPayScripts ∷ Map ScriptHash (Script era, Script era)
- ksIndexedStakeScripts ∷ Map ScriptHash (Script era, Script era)
}
pattern KeySpace ∷ ∀ era. ScriptClass era ⇒ [(GenesisKeyPair MockCrypto, AllIssuerKeys MockCrypto 'GenesisDelegate)] → [AllIssuerKeys MockCrypto 'GenesisDelegate] → [AllIssuerKeys MockCrypto 'StakePool] → KeyPairs → [(Script era, Script era)] → KeySpace era
newtype NatNonce = NatNonce Natural
findPayKeyPairAddr ∷ Addr → Map (KeyHash 'Payment) (KeyPair 'Payment) → KeyPair 'Payment
findPayKeyPairCred ∷ ∀ kr. Credential kr → Map (KeyHash kr) (KeyPair kr) → KeyPair kr
findPayScriptFromCred ∷ ∀ era. Credential 'Witness → Map ScriptHash (Script era, Script era) → (Script era, Script era)
findStakeScriptFromCred ∷ Credential 'Witness → Map ScriptHash (Script era, Script era) → (Script era, Script era)
findPayScriptFromAddr ∷ ∀ era. Addr → Map ScriptHash (Script era, Script era) → (Script era, Script era)
genBool ∷ Gen Bool
genCoinList ∷ Integer → Integer → Int → Gen [Coin]
genInteger ∷ Integer → Integer → Gen Integer
genNatural ∷ Natural → Natural → Gen Natural
genWord64 ∷ Word64 → Word64 → Gen Word64
genTxOut ∷ ∀ era. EraTxOut era ⇒ Gen (Value era) → [Addr] → Gen [TxOut era]
genesisCoins ∷ TxId → [TxOut era] → UTxO era
increasingProbabilityAt ∷ Gen a → (a, a) → Gen a
pickStakeKey ∷ KeyPairs → Gen (VKey 'Staking)
mkAddr ∷ (KeyPair 'Payment, KeyPair 'Staking) → Addr
mkCred ∷ ∀ (kr ∷ KeyRole). KeyPair kr → Credential kr
mkBlock ∷ ∀ era (r ∷ KeyRole) c. (Crypto c, EraSegWits era, Signable (VRF c) Seed, Signable (KES c) (BHBody c)) ⇒ HashHeader → AllIssuerKeys c r → [Tx era] → SlotNo → BlockNo → Nonce → Word → Word → OCert c → Block (BHeader c) era
mkBlockFakeVRF ∷ ∀ era (r ∷ KeyRole) c. (Crypto c, EraSegWits era, Signable (VRF c) (WithResult Seed), Signable (KES c) (BHBody c)) ⇒ HashHeader → AllIssuerKeys c r → [Tx era] → SlotNo → BlockNo → Nonce → NatNonce → UnitInterval → Word → Word → OCert c → Block (BHeader c) era
mkOCert ∷ ∀ c (r ∷ KeyRole). Crypto c ⇒ AllIssuerKeys c r → Word64 → KESPeriod → OCert c
getKESPeriodRenewalNo ∷ AllIssuerKeys h r → KESPeriod → Integer
tooLateInEpoch ∷ SlotNo → Bool
data RawSeed = RawSeed !Word64 !Word64 !Word64 !Word64 !Word64
mkKeyPair ∷ ∀ kd. RawSeed → (SignKeyDSIGN DSIGN, VKey kd)
mkKeyPairs ∷ Word64 → (KeyPair kr, KeyPair kr')
mkGenKey ∷ RawSeed → (SignKeyDSIGN DSIGN, VKey kd)
genesisAccountState ∷ AccountState
genCoin ∷ Integer → Integer → Gen Coin
type PreAlonzo era = TxWits era ~ ShelleyTxWits era
hashData ∷ Data → DataHash
findPlutus ∷ ∀ era. GenEnv era → ScriptHash → (Script era, StrictMaybe DataHash)

Documentation

data AllIssuerKeys c (r ∷ KeyRole) Source #

Constructors

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

Instances

Instances details

(Show (SignKeyVRF (VRF c)), Show (VerKeyVRF (VRF c)), Show (VerKeyKES (KES c))) ⇒ Show (AllIssuerKeys c r)
Instance details Defined in Test.Cardano.Protocol.TPraos.Create Methods showsPrec ∷ Int → AllIssuerKeys c r → ShowS # show ∷ AllIssuerKeys c r → String # showList ∷ [AllIssuerKeys c r] → ShowS #

data VRFKeyPair c Source #

Constructors

VRFKeyPair
Fields vrfSignKey ∷ !(SignKeyVRF (VRF c)) vrfVerKey ∷ !(VerKeyVRF (VRF c))

Instances

Instances details

(Show (SignKeyVRF (VRF c)), Show (VerKeyVRF (VRF c))) ⇒ Show (VRFKeyPair c)
Instance details Defined in Test.Cardano.Protocol.Crypto.VRF Methods showsPrec ∷ Int → VRFKeyPair c → ShowS # show ∷ VRFKeyPair c → String # showList ∷ [VRFKeyPair c] → ShowS #

data KESKeyPair c Source #

Constructors

KESKeyPair
Fields kesSignKey ∷ !(UnsoundPureSignKeyKES (KES c)) kesVerKey ∷ !(VerKeyKES (KES c))

Instances

Instances details

Show (VerKeyKES (KES c)) ⇒ Show (KESKeyPair c)
Instance details Defined in Test.Cardano.Protocol.Crypto.KES Methods showsPrec ∷ Int → KESKeyPair c → ShowS # show ∷ KESKeyPair c → String # showList ∷ [KESKeyPair c] → ShowS #

data GenEnv era Source #

Generator environment.

Constructors

GenEnv
Fields geKeySpace ∷ KeySpace era geScriptSpapce ∷ ScriptSpace era geConstants ∷ Constants

Instances

Instances details

(EraGen era, EraGov era, EraUTxO 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) (ShelleyLEDGER era), Embed (EraRule "UTXOW" era) (ShelleyLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ HasTrace (ShelleyLEDGER era) (GenEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger Associated Types type BaseEnv (ShelleyLEDGER era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (ShelleyLEDGER era) → BaseM (ShelleyLEDGER era) a → a Source # envGen ∷ GenEnv era → Gen (Environment (ShelleyLEDGER era)) Source # sigGen ∷ GenEnv era → Environment (ShelleyLEDGER era) → State (ShelleyLEDGER era) → Gen (Signal (ShelleyLEDGER era)) Source # shrinkSignal ∷ Signal (ShelleyLEDGER era) → [Signal (ShelleyLEDGER era)] Source #
(EraGen era, EraGov era, EraUTxO 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) (ShelleyDELPL era), Embed (EraRule "LEDGER" era) (ShelleyLEDGERS era), ProtVerAtMost era 8) ⇒ HasTrace (ShelleyLEDGERS era) (GenEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger Associated Types type BaseEnv (ShelleyLEDGERS era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (ShelleyLEDGERS era) → BaseM (ShelleyLEDGERS era) a → a Source # envGen ∷ GenEnv era → Gen (Environment (ShelleyLEDGERS era)) Source # sigGen ∷ GenEnv era → Environment (ShelleyLEDGERS era) → State (ShelleyLEDGERS era) → Gen (Signal (ShelleyLEDGERS era)) Source # shrinkSignal ∷ Signal (ShelleyLEDGERS era) → [Signal (ShelleyLEDGERS era)] Source #
(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, ProtVerAtMost era 8) ⇒ HasTrace (CERTS era) (GenEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert Associated Types type BaseEnv (CERTS era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (CERTS era) → BaseM (CERTS era) a → a Source # envGen ∷ GenEnv era → Gen (Environment (CERTS era)) Source # sigGen ∷ GenEnv era → Environment (CERTS era) → State (CERTS era) → Gen (Signal (CERTS era)) Source # shrinkSignal ∷ Signal (CERTS era) → [Signal (CERTS era)] Source #
(EraGen era, EraSegWits era, ApplyBlock era, GetLedgerView 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) ~ Block BHeaderView 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 era)) ⇒ HasTrace (CHAIN era) (GenEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Chain Associated Types type BaseEnv (CHAIN era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (CHAIN era) → BaseM (CHAIN era) a → a Source # envGen ∷ GenEnv era → Gen (Environment (CHAIN era)) Source # sigGen ∷ GenEnv era → Environment (CHAIN era) → State (CHAIN era) → Gen (Signal (CHAIN era)) Source # shrinkSignal ∷ Signal (CHAIN era) → [Signal (CHAIN era)] Source #

data ScriptSpace era Source #

Constructors

ScriptSpace
Fields 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)

Instances

Instances details

Show (Script era) ⇒ Show (ScriptSpace era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Core Methods showsPrec ∷ Int → ScriptSpace era → ShowS # show ∷ ScriptSpace era → String # showList ∷ [ScriptSpace era] → ShowS #

data TwoPhase3ArgInfo era Source #

Constructors

TwoPhase3ArgInfo
Fields 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

Instances

Instances details

Show (Script era) ⇒ Show (TwoPhase3ArgInfo era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Core Methods showsPrec ∷ Int → TwoPhase3ArgInfo era → ShowS # show ∷ TwoPhase3ArgInfo era → String # showList ∷ [TwoPhase3ArgInfo era] → ShowS #

data TwoPhase2ArgInfo era Source #

Constructors

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

Instances

Instances details

Show (Script era) ⇒ Show (TwoPhase2ArgInfo era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Core Methods showsPrec ∷ Int → TwoPhase2ArgInfo era → ShowS # show ∷ TwoPhase2ArgInfo era → String # showList ∷ [TwoPhase2ArgInfo era] → ShowS #

type ScriptInfo era = (Map ScriptHash (TwoPhase3ArgInfo era), Map ScriptHash (TwoPhase2ArgInfo era)) Source #

data KeySpace 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_

Fields

ksCoreNodes ∷ [(GenesisKeyPair MockCrypto, AllIssuerKeys MockCrypto 'GenesisDelegate)]
ksGenesisDelegates ∷ [AllIssuerKeys MockCrypto 'GenesisDelegate]
Bag of keys to be used for future genesis delegates
ksStakePools ∷ [AllIssuerKeys MockCrypto '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 MockCrypto '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

Instances

Instances details

(Era era, Show (Script era)) ⇒ Show (KeySpace era) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Core Methods showsPrec ∷ Int → KeySpace era → ShowS # show ∷ KeySpace era → String # showList ∷ [KeySpace era] → ShowS #

pattern KeySpace ∷ ∀ era. ScriptClass era ⇒ [(GenesisKeyPair MockCrypto, AllIssuerKeys MockCrypto 'GenesisDelegate)] → [AllIssuerKeys MockCrypto 'GenesisDelegate] → [AllIssuerKeys MockCrypto 'StakePool] → KeyPairs → [(Script era, Script era)] → KeySpace era Source #

newtype NatNonce Source #

We provide our own nonces to mkBlock, which we then wish to recover as the output of the VRF functions. In general, however, we just derive them from a natural. Since the nonce is a hash, we do not want to recover it to find a preimage. In testing, therefore, we just wrap the raw natural, which we then encode into the fake VRF implementation.

Constructors

NatNonce Natural

findPayKeyPairAddr ∷ 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.

findPayKeyPairCred ∷ ∀ kr. 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.

findPayScriptFromCred ∷ ∀ era. Credential 'Witness → Map ScriptHash (Script era, Script era) → (Script era, Script era) Source #

Find matching multisig scripts for a credential.

findStakeScriptFromCred ∷ Credential 'Witness → Map ScriptHash (Script era, Script era) → (Script era, Script era) Source #

Find first matching script for a credential.

findPayScriptFromAddr ∷ ∀ era. Addr → Map ScriptHash (Script era, Script era) → (Script era, Script era) Source #

Find first matching multisig script for an address.

genBool ∷ Gen Bool Source #

genCoinList ∷ 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.

genInteger ∷ Integer → Integer → Gen Integer Source #

genNatural ∷ Natural → Natural → Gen Natural Source #

Generator for a natural number between lower and upper

genWord64 ∷ Word64 → Word64 → Gen Word64 Source #

Generator for a Word64 between lower and upper

genTxOut ∷ ∀ era. 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.

genesisCoins ∷ TxId → [TxOut era] → UTxO era Source #

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

increasingProbabilityAt ∷ 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%).

pickStakeKey ∷ KeyPairs → Gen (VKey 'Staking) Source #

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

mkAddr ∷ (KeyPair 'Payment, KeyPair 'Staking) → Addr Source #

mkCred ∷ ∀ (kr ∷ KeyRole). KeyPair kr → Credential kr Source #

mkBlock Source #

Arguments

∷ ∀ era (r ∷ KeyRole) c. (Crypto c, EraSegWits era, Signable (VRF c) Seed, Signable (KES c) (BHBody c))
⇒ HashHeader	Hash of previous block
→ AllIssuerKeys c r	All keys in the stake pool
→ [Tx era]	Transactions to record
→ SlotNo	Current slot
→ BlockNo	Block numberchain lengthchain "difficulty"
→ Nonce	EpochNo nonce
→ Word	Period of KES (key evolving signature scheme)
→ Word	KES period of key registration
→ OCert c	Operational certificate
→ Block (BHeader c) era

mkBlockFakeVRF Source #

Arguments

∷ ∀ era (r ∷ KeyRole) c. (Crypto c, EraSegWits era, Signable (VRF c) (WithResult Seed), Signable (KES c) (BHBody c))
⇒ HashHeader	Hash of previous block
→ AllIssuerKeys c r	All keys in the stake pool
→ [Tx era]	Transactions to record
→ SlotNo	Current slot
→ BlockNo	Block number/chain length/chain "difficulty"
→ Nonce	EpochNo nonce
→ NatNonce	Block nonce
→ UnitInterval	Praos leader value
→ Word	Period of KES (key evolving signature scheme)
→ Word	KES period of key registration
→ OCert c	Operational certificate
→ Block (BHeader c) era

Create a block with a faked VRF result.

mkOCert ∷ ∀ c (r ∷ KeyRole). Crypto c ⇒ AllIssuerKeys c r → Word64 → KESPeriod → OCert c Source #

getKESPeriodRenewalNo ∷ 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.

tooLateInEpoch ∷ SlotNo → Bool Source #

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

data RawSeed Source #

Constructors

RawSeed !Word64 !Word64 !Word64 !Word64 !Word64

Instances

Instances details

Arbitrary RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods arbitrary ∷ Gen RawSeed Source # shrink ∷ RawSeed → [RawSeed] Source #
Show RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods showsPrec ∷ Int → RawSeed → ShowS # show ∷ RawSeed → String # showList ∷ [RawSeed] → ShowS #
EncCBOR RawSeed Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Utils Methods encCBOR ∷ RawSeed → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy RawSeed → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RawSeed] → Size Source #
Eq RawSeed
Instance details Defined in Test.Cardano.Ledger.Shelley.Arbitrary Methods (==) ∷ RawSeed → RawSeed → Bool # (/=) ∷ RawSeed → RawSeed → Bool #

mkKeyPair ∷ ∀ kd. RawSeed → (SignKeyDSIGN DSIGN, VKey kd) Source #

For testing purposes, generate a deterministic key pair given a seed.

mkKeyPairs ∷ Word64 → (KeyPair kr, KeyPair kr') Source #

mkGenKey ∷ RawSeed → (SignKeyDSIGN DSIGN, VKey kd) Source #

For testing purposes, generate a deterministic genesis key pair given a seed.

genesisAccountState ∷ AccountState Source #

Account with empty treasury

genCoin ∷ Integer → Integer → Gen Coin Source #

type PreAlonzo era = TxWits era ~ ShelleyTxWits era Source #

For use in the Serialisation and Example Tests, which assume Shelley, Allegra, or Mary Eras.

hashData ∷ Data → DataHash Source #

findPlutus ∷ ∀ era. GenEnv era → ScriptHash → (Script era, StrictMaybe DataHash) Source #

Find the preallocated Script from its Hash.