cardano-ledger-dijkstra-0.3.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.Arbitrary

Synopsis

Documentation

genNonEmptyAccountBalanceIntervals ∷ Gen (AccountBalanceIntervals era) Source #

genSmallDijkstraTxsBlockBody ∷ (AlonzoEraTx era, Arbitrary (Tx 'TopTx era)) ⇒ Gen (DijkstraBlockBody era) Source #

Generate the TxsRB form of a Dijkstra block body: a few transactions are present and no Leios certificate is attached. Transaction count and per-tx size are kept small so the round-trip is fast under shrinking.

genSmallDijkstraCertBlockBody ∷ AlonzoEraTx era ⇒ Gen (DijkstraBlockBody era) Source #

Generate the CertRB form of a Dijkstra block body: a Leios certificate is present and the transaction sequence is empty (per CIP-164, a CertRB never carries Dijkstra-era transactions). The Peras certificate is also omitted so the wire form is minimal.

Orphan instances

Arbitrary LeiosCert Source # 
Instance details

Methods

arbitrary ∷ Gen LeiosCert Source #

shrink ∷ LeiosCert → [LeiosCert] Source #

Arbitrary PerasCert Source # 
Instance details

Methods

arbitrary ∷ Gen PerasCert Source #

shrink ∷ PerasCert → [PerasCert] Source #

Arbitrary DijkstraGenesis Source # 
Instance details

Methods

arbitrary ∷ Gen DijkstraGenesis Source #

shrink ∷ DijkstraGenesis → [DijkstraGenesis] Source #

Arbitrary DijkstraDelegCert Source # 
Instance details

Methods

arbitrary ∷ Gen DijkstraDelegCert Source #

shrink ∷ DijkstraDelegCert → [DijkstraDelegCert] Source #

(EraBlockBody era, AlonzoEraTx era, Arbitrary (Tx 'TopTx era), SafeToHash (TxWits era)) ⇒ Arbitrary (DijkstraBlockBody era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraBlockBody era) Source #

shrink ∷ DijkstraBlockBody era → [DijkstraBlockBody era] Source #

(Era era, Arbitrary (PredicateFailure (EraRule "LEDGERS" era))) ⇒ Arbitrary (DijkstraBbodyPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraBbodyPredFailure era) Source #

shrink ∷ DijkstraBbodyPredFailure era → [DijkstraBbodyPredFailure era] Source #

(Era era, Arbitrary (PredicateFailure (EraRule "CERTS" era))) ⇒ Arbitrary (EntitiesPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (EntitiesPredFailure era) Source #

shrink ∷ EntitiesPredFailure era → [EntitiesPredFailure era] Source #

(Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (DijkstraGovPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraGovPredFailure era) Source #

shrink ∷ DijkstraGovPredFailure era → [DijkstraGovPredFailure era] Source #

Era era ⇒ Arbitrary (DijkstraGovCertPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraGovCertPredFailure era) Source #

shrink ∷ DijkstraGovCertPredFailure era → [DijkstraGovCertPredFailure era] Source #

(Era era, Arbitrary (PredicateFailure (EraRule "UTXOW" era)), Arbitrary (PredicateFailure (EraRule "ENTITIES" era)), Arbitrary (PredicateFailure (EraRule "GOV" era)), Arbitrary (PredicateFailure (EraRule "SUBLEDGERS" era))) ⇒ Arbitrary (DijkstraLedgerPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraLedgerPredFailure era) Source #

shrink ∷ DijkstraLedgerPredFailure era → [DijkstraLedgerPredFailure era] Source #

Arbitrary (DijkstraMempoolPredFailure DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraMempoolPredFailure DijkstraEra) Source #

shrink ∷ DijkstraMempoolPredFailure DijkstraEra → [DijkstraMempoolPredFailure DijkstraEra] Source #

(Arbitrary (PredicateFailure (EraRule "SUBDELEG" era)), Arbitrary (PredicateFailure (EraRule "SUBPOOL" era)), Arbitrary (PredicateFailure (EraRule "SUBGOVCERT" era))) ⇒ Arbitrary (DijkstraSubCertPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubCertPredFailure era) Source #

shrink ∷ DijkstraSubCertPredFailure era → [DijkstraSubCertPredFailure era] Source #

Arbitrary (PredicateFailure (EraRule "SUBCERT" era)) ⇒ Arbitrary (DijkstraSubCertsPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubCertsPredFailure era) Source #

shrink ∷ DijkstraSubCertsPredFailure era → [DijkstraSubCertsPredFailure era] Source #

Arbitrary (ConwayDelegPredFailure era) ⇒ Arbitrary (DijkstraSubDelegPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubDelegPredFailure era) Source #

shrink ∷ DijkstraSubDelegPredFailure era → [DijkstraSubDelegPredFailure era] Source #

Arbitrary (PredicateFailure (EraRule "SUBCERTS" era)) ⇒ Arbitrary (SubEntitiesPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (SubEntitiesPredFailure era) Source #

shrink ∷ SubEntitiesPredFailure era → [SubEntitiesPredFailure era] Source #

Arbitrary (DijkstraGovPredFailure era) ⇒ Arbitrary (DijkstraSubGovPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubGovPredFailure era) Source #

shrink ∷ DijkstraSubGovPredFailure era → [DijkstraSubGovPredFailure era] Source #

Arbitrary (DijkstraGovCertPredFailure era) ⇒ Arbitrary (DijkstraSubGovCertPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubGovCertPredFailure era) Source #

shrink ∷ DijkstraSubGovCertPredFailure era → [DijkstraSubGovCertPredFailure era] Source #

(Arbitrary (PredicateFailure (EraRule "SUBGOV" era)), Arbitrary (PredicateFailure (EraRule "SUBENTITIES" era)), Arbitrary (PredicateFailure (EraRule "SUBUTXOW" era))) ⇒ Arbitrary (DijkstraSubLedgerPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubLedgerPredFailure era) Source #

shrink ∷ DijkstraSubLedgerPredFailure era → [DijkstraSubLedgerPredFailure era] Source #

Arbitrary (PredicateFailure (EraRule "SUBLEDGER" era)) ⇒ Arbitrary (DijkstraSubLedgersPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubLedgersPredFailure era) Source #

shrink ∷ DijkstraSubLedgersPredFailure era → [DijkstraSubLedgersPredFailure era] Source #

Arbitrary (ShelleyPoolPredFailure era) ⇒ Arbitrary (DijkstraSubPoolPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubPoolPredFailure era) Source #

shrink ∷ DijkstraSubPoolPredFailure era → [DijkstraSubPoolPredFailure era] Source #

(EraTxOut era, Arbitrary (Value era), Arbitrary (TxOut era)) ⇒ Arbitrary (DijkstraSubUtxoPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubUtxoPredFailure era) Source #

shrink ∷ DijkstraSubUtxoPredFailure era → [DijkstraSubUtxoPredFailure era] Source #

(Era era, Arbitrary (PredicateFailure (EraRule "SUBUTXO" era)), Arbitrary (TxCert era), Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (DijkstraSubUtxowPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraSubUtxowPredFailure era) Source #

shrink ∷ DijkstraSubUtxowPredFailure era → [DijkstraSubUtxowPredFailure era] Source #

(EraTxOut era, Arbitrary (Value era), Arbitrary (TxOut era), Arbitrary (PredicateFailure (EraRule "UTXOS" era))) ⇒ Arbitrary (DijkstraUtxoPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraUtxoPredFailure era) Source #

shrink ∷ DijkstraUtxoPredFailure era → [DijkstraUtxoPredFailure era] Source #

(Era era, Arbitrary (PredicateFailure (EraRule "UTXO" era)), Arbitrary (TxCert era), Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era)) ⇒ Arbitrary (DijkstraUtxowPredFailure era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraUtxowPredFailure era) Source #

shrink ∷ DijkstraUtxowPredFailure era → [DijkstraUtxowPredFailure era] Source #

Arbitrary (AccountBalanceInterval era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AccountBalanceInterval era) Source #

shrink ∷ AccountBalanceInterval era → [AccountBalanceInterval era] Source #

Arbitrary (AccountBalanceIntervals era) Source # 
Instance details

Methods

arbitrary ∷ Gen (AccountBalanceIntervals era) Source #

shrink ∷ AccountBalanceIntervals era → [AccountBalanceIntervals era] Source #

Arbitrary (DijkstraNativeScript DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraNativeScript DijkstraEra) Source #

shrink ∷ DijkstraNativeScript DijkstraEra → [DijkstraNativeScript DijkstraEra] Source #

Era era ⇒ Arbitrary (DijkstraTxCert era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraTxCert era) Source #

shrink ∷ DijkstraTxCert era → [DijkstraTxCert era] Source #

(EraPParams era, Arbitrary (PlutusPurpose AsItem era), Arbitrary (PlutusPurpose AsIx era), Arbitrary (PParamsHKD Identity era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era), Arbitrary (TxOut era), Arbitrary (ContextError era)) ⇒ Arbitrary (DijkstraContextError era) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraContextError era) Source #

shrink ∷ DijkstraContextError era → [DijkstraContextError era] Source #

Arbitrary (ApplyTxError DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (ApplyTxError DijkstraEra) Source #

shrink ∷ ApplyTxError DijkstraEra → [ApplyTxError DijkstraEra] Source #

Arbitrary (TransitionConfig DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (TransitionConfig DijkstraEra) Source #

shrink ∷ TransitionConfig DijkstraEra → [TransitionConfig DijkstraEra] Source #

(Arbitrary (TxBody l DijkstraEra), Typeable l) ⇒ Arbitrary (Tx l DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (Tx l DijkstraEra) Source #

shrink ∷ Tx l DijkstraEra → [Tx l DijkstraEra] Source #

Arbitrary (TxBody 'SubTx DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (TxBody 'SubTx DijkstraEra) Source #

shrink ∷ TxBody 'SubTx DijkstraEra → [TxBody 'SubTx DijkstraEra] Source #

Arbitrary (TxBody 'TopTx DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (TxBody 'TopTx DijkstraEra) Source #

shrink ∷ TxBody 'TopTx DijkstraEra → [TxBody 'TopTx DijkstraEra] Source #

Arbitrary (DijkstraPParams StrictMaybe DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPParams StrictMaybe DijkstraEra) Source #

shrink ∷ DijkstraPParams StrictMaybe DijkstraEra → [DijkstraPParams StrictMaybe DijkstraEra] Source #

Arbitrary (DijkstraPParams Identity DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPParams Identity DijkstraEra) Source #

shrink ∷ DijkstraPParams Identity DijkstraEra → [DijkstraPParams Identity DijkstraEra] Source #

Arbitrary (UpgradeDijkstraPParams Identity DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (UpgradeDijkstraPParams Identity DijkstraEra) Source #

shrink ∷ UpgradeDijkstraPParams Identity DijkstraEra → [UpgradeDijkstraPParams Identity DijkstraEra] Source #

(∀ a b. (Arbitrary a, Arbitrary b) ⇒ Arbitrary (f a b)) ⇒ Arbitrary (DijkstraPlutusPurpose f DijkstraEra) Source # 
Instance details

Methods

arbitrary ∷ Gen (DijkstraPlutusPurpose f DijkstraEra) Source #

shrink ∷ DijkstraPlutusPurpose f DijkstraEra → [DijkstraPlutusPurpose f DijkstraEra] Source #