Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.Cardano.Generators

Contents

Orphan instances

Description

Arbitrary instances intended for serialisation roundtrip tests for CardanoBlock and its related types.

Because the generated values are only used in serialisation roundtrip tests, they don't need to be valid blocks, transactions, etc.

We combine the Byron and Shelley-based instances defined elsewhere into Cardano instances by picking randomly from one of the eras.

Documentation

module Test.Consensus.Byron.Generators

Orphan instances

Arbitrary EraParams Source #
Instance details Methods arbitrary ∷ Gen EraParams Source # shrink ∷ EraParams → [EraParams] Source #
Arbitrary SafeZone Source #
Instance details Methods arbitrary ∷ Gen SafeZone Source # shrink ∷ SafeZone → [SafeZone] Source #
Arbitrary EraEnd Source #
Instance details Methods arbitrary ∷ Gen EraEnd Source # shrink ∷ EraEnd → [EraEnd] Source #
Arbitrary EraSummary Source #
Instance details Methods arbitrary ∷ Gen EraSummary Source # shrink ∷ EraSummary → [EraSummary] Source #
Arbitrary (EraIndex (CardanoEras c)) Source #
Instance details Methods arbitrary ∷ Gen (EraIndex (CardanoEras c)) Source # shrink ∷ EraIndex (CardanoEras c) → [EraIndex (CardanoEras c)] Source #
Arbitrary (BlockNodeToClientVersion blk) ⇒ Arbitrary (EraNodeToClientVersion blk) Source #
Instance details Methods arbitrary ∷ Gen (EraNodeToClientVersion blk) Source # shrink ∷ EraNodeToClientVersion blk → [EraNodeToClientVersion blk] Source #
CardanoHardForkConstraints c ⇒ Arbitrary (HardForkNodeToClientVersion (CardanoEras c)) Source #
Instance details Methods arbitrary ∷ Gen (HardForkNodeToClientVersion (CardanoEras c)) Source # shrink ∷ HardForkNodeToClientVersion (CardanoEras c) → [HardForkNodeToClientVersion (CardanoEras c)] Source #
CardanoHardForkConstraints c ⇒ Arbitrary (HardForkNodeToNodeVersion (CardanoEras c)) Source #
Instance details Methods arbitrary ∷ Gen (HardForkNodeToNodeVersion (CardanoEras c)) Source # shrink ∷ HardForkNodeToNodeVersion (CardanoEras c) → [HardForkNodeToNodeVersion (CardanoEras c)] Source #
Arbitrary (Interpreter (CardanoEras c)) Source #
Instance details Methods arbitrary ∷ Gen (Interpreter (CardanoEras c)) Source # shrink ∷ Interpreter (CardanoEras c) → [Interpreter (CardanoEras c)] Source #
(c ~ MockCryptoCompatByron, ShelleyBasedEra (ShelleyEra c)) ⇒ Arbitrary (AnnTip (CardanoBlock c)) Source #
Instance details Methods arbitrary ∷ Gen (AnnTip (CardanoBlock c)) Source # shrink ∷ AnnTip (CardanoBlock c) → [AnnTip (CardanoBlock c)] Source #
Arbitrary (BlockNodeToNodeVersion blk) ⇒ Arbitrary (WrapNodeToNodeVersion blk) Source #
Instance details Methods arbitrary ∷ Gen (WrapNodeToNodeVersion blk) Source # shrink ∷ WrapNodeToNodeVersion blk → [WrapNodeToNodeVersion blk] Source #
Arbitrary (Coherent (CardanoBlock MockCryptoCompatByron)) Source #
Instance details Methods arbitrary ∷ Gen (Coherent (CardanoBlock MockCryptoCompatByron)) Source # shrink ∷ Coherent (CardanoBlock MockCryptoCompatByron) → [Coherent (CardanoBlock MockCryptoCompatByron)] Source #
Arbitrary (CardanoBlock MockCryptoCompatByron) Source #
Instance details Methods arbitrary ∷ Gen (CardanoBlock MockCryptoCompatByron) Source # shrink ∷ CardanoBlock MockCryptoCompatByron → [CardanoBlock MockCryptoCompatByron] Source #
Arbitrary (CardanoHeader MockCryptoCompatByron) Source #
Instance details Methods arbitrary ∷ Gen (CardanoHeader MockCryptoCompatByron) Source # shrink ∷ CardanoHeader MockCryptoCompatByron → [CardanoHeader MockCryptoCompatByron] Source #
(CanMock (TPraos c) (ShelleyEra c), CardanoHardForkConstraints c) ⇒ Arbitrary (OneEraHash (CardanoEras c)) Source #
Instance details Methods arbitrary ∷ Gen (OneEraHash (CardanoEras c)) Source # shrink ∷ OneEraHash (CardanoEras c) → [OneEraHash (CardanoEras c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeSecond BlockQuery (CardanoBlock c))) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeSecond BlockQuery (CardanoBlock c))) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeSecond BlockQuery (CardanoBlock c)) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeSecond BlockQuery (CardanoBlock c))] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeResult (CardanoBlock c))) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeResult (CardanoBlock c))) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeResult (CardanoBlock c)) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (SomeResult (CardanoBlock c))] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoApplyTxErr c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoApplyTxErr c)) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoApplyTxErr c) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoApplyTxErr c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoBlock c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoBlock c)) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoBlock c) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoBlock c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoGenTx c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoGenTx c)) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoGenTx c) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (CardanoGenTx c)] Source #
CardanoHardForkConstraints c ⇒ Arbitrary (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (Some (QueryHardFork (CardanoEras c)))) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (Some (QueryHardFork (CardanoEras c)))) Source # shrink ∷ WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (Some (QueryHardFork (CardanoEras c))) → [WithVersion (HardForkNodeToClientVersion (CardanoEras c)) (Some (QueryHardFork (CardanoEras c)))] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (SomeSecond (NestedCtxt Header) (CardanoBlock c))) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (SomeSecond (NestedCtxt Header) (CardanoBlock c))) Source # shrink ∷ WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (SomeSecond (NestedCtxt Header) (CardanoBlock c)) → [WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (SomeSecond (NestedCtxt Header) (CardanoBlock c))] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoBlock c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoBlock c)) Source # shrink ∷ WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoBlock c) → [WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoBlock c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTx c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTx c)) Source # shrink ∷ WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTx c) → [WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTx c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTxId c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTxId c)) Source # shrink ∷ WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTxId c) → [WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoGenTxId c)] Source #
c ~ MockCryptoCompatByron ⇒ Arbitrary (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoHeader c)) Source #
Instance details Methods arbitrary ∷ Gen (WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoHeader c)) Source # shrink ∷ WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoHeader c) → [WithVersion (HardForkNodeToNodeVersion (CardanoEras c)) (CardanoHeader c)] Source #
Arbitrary (Some QueryAnytime) Source #
Instance details Methods arbitrary ∷ Gen (Some QueryAnytime) Source # shrink ∷ Some QueryAnytime → [Some QueryAnytime] Source #
(Arbitrary a, SListI xs) ⇒ Arbitrary (NonEmpty xs a) Source #
Instance details Methods arbitrary ∷ Gen (NonEmpty xs a) Source # shrink ∷ NonEmpty xs a → [NonEmpty xs a] Source #