Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Allegra.Arbitrary

Contents

Documentation

Orphan instances

Arbitrary ValidityInterval Source #
Instance details Methods arbitrary ∷ Gen ValidityInterval Source # shrink ∷ ValidityInterval → [ValidityInterval] Source #
(Era era, Arbitrary (Value era), Arbitrary (TxOut era), Arbitrary (EraRuleFailure "PPUP" era)) ⇒ Arbitrary (AllegraUtxoPredFailure era) Source #
Instance details Methods arbitrary ∷ Gen (AllegraUtxoPredFailure era) Source # shrink ∷ AllegraUtxoPredFailure era → [AllegraUtxoPredFailure era] Source #
(AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ Arbitrary (Timelock era) Source #
Instance details Methods arbitrary ∷ Gen (Timelock era) Source # shrink ∷ Timelock era → [Timelock era] Source #
(AllegraEraScript era, NativeScript era ~ Timelock era, Arbitrary (Script era), Era era) ⇒ Arbitrary (AllegraTxAuxData era) Source #
Instance details Methods arbitrary ∷ Gen (AllegraTxAuxData era) Source # shrink ∷ AllegraTxAuxData era → [AllegraTxAuxData era] Source #
(EraTxOut era, EraTxCert era, Arbitrary (TxOut era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era)) ⇒ Arbitrary (AllegraTxBody era) Source #
Instance details Methods arbitrary ∷ Gen (AllegraTxBody era) Source # shrink ∷ AllegraTxBody era → [AllegraTxBody era] Source #