Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Allegra.Arbitrary

Contents

Orphan instances

Documentation

sizedTimelock ∷ AllegraEraScript era ⇒ Int → Gen (NativeScript era) Source #

maxTimelockDepth ∷ Int Source #

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, Arbitrary (NativeScript era), Arbitrary (Script era), Era era) ⇒ Arbitrary (AllegraTxAuxData era) Source #
Instance details Methods arbitrary ∷ Gen (AllegraTxAuxData era) Source # shrink ∷ AllegraTxAuxData era → [AllegraTxAuxData era] Source #
Arbitrary (TransitionConfig AllegraEra) Source #
Instance details Methods arbitrary ∷ Gen (TransitionConfig AllegraEra) Source # shrink ∷ TransitionConfig AllegraEra → [TransitionConfig AllegraEra] 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 #
Arbitrary (Tx 'TopTx AllegraEra) Source #
Instance details Methods arbitrary ∷ Gen (Tx 'TopTx AllegraEra) Source # shrink ∷ Tx 'TopTx AllegraEra → [Tx 'TopTx AllegraEra] Source #
Arbitrary (TxBody 'TopTx AllegraEra) Source #
Instance details Methods arbitrary ∷ Gen (TxBody 'TopTx AllegraEra) Source # shrink ∷ TxBody 'TopTx AllegraEra → [TxBody 'TopTx AllegraEra] Source #