cardano-ledger-shelley-test-1.8.0.0: Test helpers from cardano-ledger-shelley exposed to other packages

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

Synopsis

data CERTS era
genTxCerts ∷ (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, Crypto c) ⇒ GenEnv c era → PParams era → CertState era → SlotNo → TxIx → ChainAccountState → Gen ([TxCert era], Coin, Coin, CertState era, [KeyPair 'Witness], [(Script era, Script era)])

Documentation

data CERTS era Source #

This is a non-spec STS used to generate a sequence of certificates with witnesses.

Instances

Instances details

(Era 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) ⇒ STS (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

Associated Types

type State (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type State (CERTS era) = (CertState era, CertIx)
type Signal (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type Signal (CERTS era) = Maybe (TxCert era, CertCred era)
type Environment (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type Environment (CERTS era) = (SlotNo, TxIx, PParams era, ChainAccountState)
type BaseM (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type BaseM (CERTS era) = ShelleyBase
type Event (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type Event (CERTS era)
type PredicateFailure (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type PredicateFailure (CERTS era)

Methods

initialRules ∷ [InitialRule (CERTS era)] Source #

transitionRules ∷ [TransitionRule (CERTS era)] Source #

assertions ∷ [Assertion (CERTS era)] Source #

renderAssertionViolation ∷ AssertionViolation (CERTS era) → String Source #

(Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

Methods

wrapFailed ∷ PredicateFailure (ShelleyDELPL era) → PredicateFailure (CERTS era) Source #

wrapEvent ∷ Event (ShelleyDELPL era) → Event (CERTS 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, AtMostEra "Babbage" era, EraCertState era, Crypto c) ⇒ HasTrace (CERTS era) (GenEnv c era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

Associated Types

type BaseEnv (CERTS era)
Instance details Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert type BaseEnv (CERTS era) = Globals

Methods

interpretSTS ∷ HasCallStack ⇒ BaseEnv (CERTS era) → BaseM (CERTS era) a → a Source #

envGen ∷ GenEnv c era → Gen (Environment (CERTS era)) Source #

sigGen ∷ GenEnv c era → Environment (CERTS era) → State (CERTS era) → Gen (Signal (CERTS era)) Source #

shrinkSignal ∷ Signal (CERTS era) → [Signal (CERTS era)] Source #

type BaseM (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type BaseM (CERTS era) = ShelleyBase

type Environment (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type Environment (CERTS era) = (SlotNo, TxIx, PParams era, ChainAccountState)

type Event (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type Event (CERTS era)

type PredicateFailure (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type PredicateFailure (CERTS era)

type Signal (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type Signal (CERTS era) = Maybe (TxCert era, CertCred era)

type State (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type State (CERTS era) = (CertState era, CertIx)

type BaseEnv (CERTS era) Source #

Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type BaseEnv (CERTS era) = Globals

genTxCerts ∷ (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, Crypto c) ⇒ GenEnv c era → PParams era → CertState era → SlotNo → TxIx → ChainAccountState → Gen ([TxCert era], Coin, Coin, CertState era, [KeyPair 'Witness], [(Script era, Script era)]) Source #

Generate certificates and also return the associated witnesses and deposits and refunds required.