Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Core

Synopsis

data AllIssuerKeys v (r ∷ KeyRole) = AllIssuerKeys {
- aikCold ∷ KeyPair r v
- aikVrf ∷ VRFKeyPair v
- aikHot ∷ NonEmpty (KESPeriod, KESKeyPair v)
- aikColdKeyHash ∷ KeyHash r v
}
data VRFKeyPair c = VRFKeyPair {
- vrfSignKey ∷ !(SignKeyVRF c)
- vrfVerKey ∷ !(VerKeyVRF c)
}
data KESKeyPair c = KESKeyPair {
- kesSignKey ∷ !(SignKeyKES c)
- kesVerKey ∷ !(VerKeyKES 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 (EraCrypto era)) (TwoPhase3ArgInfo era)
- ssHash2 ∷ Map (ScriptHash (EraCrypto era)) (TwoPhase2ArgInfo era)
}
data TwoPhase3ArgInfo era = TwoPhase3ArgInfo {
- getScript3 ∷ Script era
- getHash3 ∷ ScriptHash (EraCrypto era)
- getData3 ∷ Data
- getRedeemer3 ∷ (Data, Natural, Natural)
- getSucceeds3 ∷ Bool
}
data TwoPhase2ArgInfo era = TwoPhase2ArgInfo {
- getScript2 ∷ Script era
- getHash2 ∷ ScriptHash (EraCrypto era)
- getRedeemer2 ∷ (Data, Natural, Natural)
- getSucceeds2 ∷ Bool
}
type ScriptInfo era = (Map (ScriptHash (EraCrypto era)) (TwoPhase3ArgInfo era), Map (ScriptHash (EraCrypto era)) (TwoPhase2ArgInfo era))
data KeySpace era = KeySpace_ {
- ksCoreNodes ∷ [(GenesisKeyPair (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)]
- ksGenesisDelegates ∷ [AllIssuerKeys (EraCrypto era) 'GenesisDelegate]
- ksStakePools ∷ [AllIssuerKeys (EraCrypto era) 'StakePool]
- ksKeyPairs ∷ KeyPairs (EraCrypto era)
- ksMSigScripts ∷ [(Script era, Script era)]
- ksIndexedPaymentKeys ∷ Map (KeyHash 'Payment (EraCrypto era)) (KeyPair 'Payment (EraCrypto era))
- ksIndexedStakingKeys ∷ Map (KeyHash 'Staking (EraCrypto era)) (KeyPair 'Staking (EraCrypto era))
- ksIndexedGenDelegates ∷ Map (KeyHash 'GenesisDelegate (EraCrypto era)) (AllIssuerKeys (EraCrypto era) 'GenesisDelegate)
- ksIndexedPayScripts ∷ Map (ScriptHash (EraCrypto era)) (Script era, Script era)
- ksIndexedStakeScripts ∷ Map (ScriptHash (EraCrypto era)) (Script era, Script era)
}
pattern KeySpace ∷ ∀ era. ScriptClass era ⇒ [(GenesisKeyPair (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)] → [AllIssuerKeys (EraCrypto era) 'GenesisDelegate] → [AllIssuerKeys (EraCrypto era) 'StakePool] → KeyPairs (EraCrypto era) → [(Script era, Script era)] → KeySpace era
newtype NatNonce = NatNonce Natural
findPayKeyPairAddr ∷ ∀ era. Addr (EraCrypto era) → Map (KeyHash 'Payment (EraCrypto era)) (KeyPair 'Payment (EraCrypto era)) → KeyPair 'Payment (EraCrypto era)
findPayKeyPairCred ∷ ∀ era kr. Credential kr (EraCrypto era) → Map (KeyHash kr (EraCrypto era)) (KeyPair kr (EraCrypto era)) → KeyPair kr (EraCrypto era)
findPayScriptFromCred ∷ ∀ era. Credential 'Witness (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (Script era, Script era) → (Script era, Script era)
findStakeScriptFromCred ∷ Credential 'Witness (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (Script era, Script era) → (Script era, Script era)
findPayScriptFromAddr ∷ ∀ era. Addr (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (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 (EraCrypto era)] → Gen [TxOut era]
genesisCoins ∷ TxId (EraCrypto era) → [TxOut era] → UTxO era
increasingProbabilityAt ∷ Gen a → (a, a) → Gen a
pickStakeKey ∷ KeyPairs c → Gen (VKey 'Staking c)
mkAddr ∷ Crypto c ⇒ (KeyPair 'Payment c, KeyPair 'Staking c) → Addr c
mkCred ∷ ∀ c (kr ∷ KeyRole). Crypto c ⇒ KeyPair kr c → Credential kr c
unitIntervalToNatural ∷ UnitInterval → Natural
mkBlock ∷ ∀ era (r ∷ KeyRole). (EraSegWits era, Signable (VRF (EraCrypto era)) Seed, Signable (KES (EraCrypto era)) (BHBody (EraCrypto era))) ⇒ HashHeader (EraCrypto era) → AllIssuerKeys (EraCrypto era) r → [Tx era] → SlotNo → BlockNo → Nonce → Word → Word → OCert (EraCrypto era) → Block (BHeader (EraCrypto era)) era
mkBlockHeader ∷ Mock c ⇒ ProtVer → HashHeader c → AllIssuerKeys c r → SlotNo → BlockNo → Nonce → Word → Word → OCert c → Word32 → Hash c EraIndependentBlockBody → BHeader c
mkBlockFakeVRF ∷ ∀ era (r ∷ KeyRole). (EraSegWits era, Signable (VRF (EraCrypto era)) (WithResult Seed), Signable (KES (EraCrypto era)) (BHBody (EraCrypto era))) ⇒ HashHeader (EraCrypto era) → AllIssuerKeys (EraCrypto era) r → [Tx era] → SlotNo → BlockNo → Nonce → NatNonce → UnitInterval → Word → Word → OCert (EraCrypto era) → Block (BHeader (EraCrypto era)) era
mkOCert ∷ ∀ c (r ∷ KeyRole). (Crypto c, Signable (DSIGN c) (OCertSignable 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 ∷ ∀ c kd. DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c)
mkKeyPairs ∷ DSIGNAlgorithm (DSIGN c) ⇒ Word64 → (KeyPair kr c, KeyPair kr' c)
mkGenKey ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c)
genesisAccountState ∷ AccountState
genCoin ∷ Integer → Integer → Gen Coin
type PreAlonzo era = TxWits era ~ ShelleyTxWits era
hashData ∷ ∀ era. Era era ⇒ Data → DataHash (EraCrypto era)
findPlutus ∷ ∀ era. Era era ⇒ GenEnv era → ScriptHash (EraCrypto era) → (Script era, StrictMaybe (DataHash (EraCrypto era)))

Documentation

data AllIssuerKeys v (r ∷ KeyRole) Source #

Constructors

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

Instances

Instances details

Crypto v ⇒ Show (AllIssuerKeys v r)
Instance details Defined in Test.Cardano.Protocol.TPraos.Create Methods showsPrec ∷ Int → AllIssuerKeys v r → ShowS Source # show ∷ AllIssuerKeys v r → String Source # showList ∷ [AllIssuerKeys v r] → ShowS Source #

data VRFKeyPair c Source #

Constructors

VRFKeyPair
Fields vrfSignKey ∷ !(SignKeyVRF c) vrfVerKey ∷ !(VerKeyVRF 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 Source # show ∷ VRFKeyPair c → String Source # showList ∷ [VRFKeyPair c] → ShowS Source #

data KESKeyPair c Source #

Constructors

KESKeyPair
Fields kesSignKey ∷ !(SignKeyKES c) kesVerKey ∷ !(VerKeyKES c)

Instances

Instances details

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

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, Mock (EraCrypto 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, Mock (EraCrypto 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, Mock (EraCrypto 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 (EraCrypto era)) 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 (EraCrypto era)) (TwoPhase3ArgInfo era) ssHash2 ∷ Map (ScriptHash (EraCrypto era)) (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 Source # show ∷ ScriptSpace era → String Source # showList ∷ [ScriptSpace era] → ShowS Source #

data TwoPhase3ArgInfo era Source #

Constructors

TwoPhase3ArgInfo
Fields getScript3 ∷ Script era A Plutus Script getHash3 ∷ ScriptHash (EraCrypto era) 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 Source # show ∷ TwoPhase3ArgInfo era → String Source # showList ∷ [TwoPhase3ArgInfo era] → ShowS Source #

data TwoPhase2ArgInfo era Source #

Constructors

TwoPhase2ArgInfo
Fields getScript2 ∷ Script era A Plutus Script getHash2 ∷ ScriptHash (EraCrypto era) 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 Source # show ∷ TwoPhase2ArgInfo era → String Source # showList ∷ [TwoPhase2ArgInfo era] → ShowS Source #

type ScriptInfo era = (Map (ScriptHash (EraCrypto era)) (TwoPhase3ArgInfo era), Map (ScriptHash (EraCrypto era)) (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 (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)]
ksGenesisDelegates ∷ [AllIssuerKeys (EraCrypto era) 'GenesisDelegate]
Bag of keys to be used for future genesis delegates
ksStakePools ∷ [AllIssuerKeys (EraCrypto era) 'StakePool]
Bag of keys to be used for future stake pools
ksKeyPairs ∷ KeyPairs (EraCrypto era)
Bag of keys to be used for future payment/staking addresses
ksMSigScripts ∷ [(Script era, Script era)]
ksIndexedPaymentKeys ∷ Map (KeyHash 'Payment (EraCrypto era)) (KeyPair 'Payment (EraCrypto era))
Index over the payment keys in ksKeyPairs
ksIndexedStakingKeys ∷ Map (KeyHash 'Staking (EraCrypto era)) (KeyPair 'Staking (EraCrypto era))
Index over the staking keys in ksKeyPairs
ksIndexedGenDelegates ∷ Map (KeyHash 'GenesisDelegate (EraCrypto era)) (AllIssuerKeys (EraCrypto era) 'GenesisDelegate)
Index over the cold key hashes in Genesis Delegates
ksIndexedPayScripts ∷ Map (ScriptHash (EraCrypto era)) (Script era, Script era)
Index over the pay script hashes in Script pairs
ksIndexedStakeScripts ∷ Map (ScriptHash (EraCrypto era)) (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 Source # show ∷ KeySpace era → String Source # showList ∷ [KeySpace era] → ShowS Source #

pattern KeySpace ∷ ∀ era. ScriptClass era ⇒ [(GenesisKeyPair (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)] → [AllIssuerKeys (EraCrypto era) 'GenesisDelegate] → [AllIssuerKeys (EraCrypto era) 'StakePool] → KeyPairs (EraCrypto era) → [(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 ∷ ∀ era. Addr (EraCrypto era) → Map (KeyHash 'Payment (EraCrypto era)) (KeyPair 'Payment (EraCrypto era)) → KeyPair 'Payment (EraCrypto era) 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 ∷ ∀ era kr. Credential kr (EraCrypto era) → Map (KeyHash kr (EraCrypto era)) (KeyPair kr (EraCrypto era)) → KeyPair kr (EraCrypto era) 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 (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (Script era, Script era) → (Script era, Script era) Source #

Find matching multisig scripts for a credential.

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

Find first matching script for a credential.

findPayScriptFromAddr ∷ ∀ era. Addr (EraCrypto era) → Map (ScriptHash (EraCrypto era)) (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 (EraCrypto era)] → 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 (EraCrypto era) → [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 c → Gen (VKey 'Staking c) Source #

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

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

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

unitIntervalToNatural ∷ UnitInterval → Natural Source #

Deprecated: This function has been made private in cardano-protocol-tpraos:testlib. Open an issue if you need it

Try to map the unit interval to a natural number. We don't care whether this is surjective. But it should be right inverse to fromNatural - that is, one should be able to recover the UnitInterval value used here.

mkBlock Source #

Arguments

∷ ∀ era (r ∷ KeyRole). (EraSegWits era, Signable (VRF (EraCrypto era)) Seed, Signable (KES (EraCrypto era)) (BHBody (EraCrypto era)))
⇒ HashHeader (EraCrypto era)	Hash of previous block
→ AllIssuerKeys (EraCrypto era) 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 (EraCrypto era)	Operational certificate
→ Block (BHeader (EraCrypto era)) era

mkBlockHeader Source #

Arguments

∷ Mock c
⇒ ProtVer
→ HashHeader c	Hash of previous block
→ AllIssuerKeys c r	All keys in the stake pool
→ 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
→ Word32	Block size
→ Hash c EraIndependentBlockBody	Block body hash
→ BHeader c

Deprecated: In favor of mkBHeader and mkBHBody

mkBlockFakeVRF Source #

Arguments

∷ ∀ era (r ∷ KeyRole). (EraSegWits era, Signable (VRF (EraCrypto era)) (WithResult Seed), Signable (KES (EraCrypto era)) (BHBody (EraCrypto era)))
⇒ HashHeader (EraCrypto era)	Hash of previous block
→ AllIssuerKeys (EraCrypto era) 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 (EraCrypto era)	Operational certificate
→ Block (BHeader (EraCrypto era)) era

Create a block with a faked VRF result.

mkOCert ∷ ∀ c (r ∷ KeyRole). (Crypto c, Signable (DSIGN c) (OCertSignable 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 Source # show ∷ RawSeed → String Source # showList ∷ [RawSeed] → ShowS Source #
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 Source # (/=) ∷ RawSeed → RawSeed → Bool Source #

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

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

mkKeyPairs ∷ DSIGNAlgorithm (DSIGN c) ⇒ Word64 → (KeyPair kr c, KeyPair kr' c) Source #

mkGenKey ∷ DSIGNAlgorithm (DSIGN c) ⇒ RawSeed → (SignKeyDSIGN (DSIGN c), VKey kd c) 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 ∷ ∀ era. Era era ⇒ Data → DataHash (EraCrypto era) Source #

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

Find the preallocated Script from its Hash.