cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Synopsis

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) ∷ TypeType Source #

type Event (CERTS era) Source #

type PredicateFailure (CERTS era) 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

(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

interpretSTSHasCallStackBaseEnv (CERTS era) → BaseM (CERTS era) a → a Source #

envGenGenEnv era → Gen (Environment (CERTS era)) Source #

sigGenGenEnv era → Environment (CERTS era) → State (CERTS era) → Gen (Signal (CERTS era)) Source #

shrinkSignalSignal (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 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 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 → SlotNoTxIxAccountStateGen ([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.