Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Synopsis

data CERTS era
genTxCerts ∷ ∀ era. (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) ⇒ GenEnv era → PParams era → CertState era → SlotNo → TxIx → AccountState → Gen ([TxCert era], Coin, Coin, CertState era, [KeyPair 'Witness (EraCrypto era)], [(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) Source # type Signal (CERTS era) Source # type Environment (CERTS era) Source # type BaseM (CERTS era) ∷ Type → Type Source # type Event (CERTS era) Source # type PredicateFailure (CERTS era) Source # 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, 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 #
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, AccountState)
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 ∷ ∀ era. (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) ⇒ GenEnv era → PParams era → CertState era → SlotNo → TxIx → AccountState → Gen ([TxCert era], Coin, Coin, CertState era, [KeyPair 'Witness (EraCrypto era)], [(Script era, Script era)]) Source #

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