Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Dijkstra.Arbitrary

Contents

Orphan instances

Orphan instances

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 (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 "CERTS" era)), Arbitrary (PredicateFailure (EraRule "GOV" era))) ⇒ Arbitrary (DijkstraLedgerPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (DijkstraLedgerPredFailure era) Source # shrink ∷ DijkstraLedgerPredFailure era → [DijkstraLedgerPredFailure 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 (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 (DijkstraContextError era) Source #
Instance details Methods arbitrary ∷ Gen (DijkstraContextError era) Source # shrink ∷ DijkstraContextError era → [DijkstraContextError era] 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 #