Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.Shelley.Generators

Contents

Orphan instances

Synopsis

data SomeResult blk where
- SomeResult ∷ ∀ result blk. (Eq result, Show result, Typeable result) ⇒ BlockQuery blk result → result → SomeResult blk

Documentation

data SomeResult blk where Source #

To easily generate all the possible results of the Query GADT, we introduce an existential that also bundles the corresponding Query as evidence. We also capture Eq, Show, and Typeable constraints, as we need them in the tests.

Constructors

SomeResult ∷ ∀ result blk. (Eq result, Show result, Typeable result) ⇒ BlockQuery blk result → result → SomeResult blk

Instances

Instances details

CanMock proto era ⇒ Arbitrary (SomeResult (ShelleyBlock proto era)) Source #
Instance details Defined in Test.Consensus.Shelley.Generators Methods arbitrary ∷ Gen (SomeResult (ShelleyBlock proto era)) Source # shrink ∷ SomeResult (ShelleyBlock proto era) → [SomeResult (ShelleyBlock proto era)] Source #
Show (SomeResult blk)
Instance details Defined in Test.Util.Serialisation.SomeResult Methods showsPrec ∷ Int → SomeResult blk → ShowS # show ∷ SomeResult blk → String # showList ∷ [SomeResult blk] → ShowS #
Eq (SomeResult blk)
Instance details Defined in Test.Util.Serialisation.SomeResult Methods (==) ∷ SomeResult blk → SomeResult blk → Bool # (/=) ∷ SomeResult blk → SomeResult blk → Bool #

Orphan instances

Arbitrary ShelleyTransition Source #
Instance details Methods arbitrary ∷ Gen ShelleyTransition Source # shrink ∷ ShelleyTransition → [ShelleyTransition] Source #
Arbitrary ShelleyNodeToClientVersion Source #
Instance details Methods arbitrary ∷ Gen ShelleyNodeToClientVersion Source # shrink ∷ ShelleyNodeToClientVersion → [ShelleyNodeToClientVersion] Source #
Arbitrary ShelleyNodeToNodeVersion Source #
Instance details Methods arbitrary ∷ Gen ShelleyNodeToNodeVersion Source # shrink ∷ ShelleyNodeToNodeVersion → [ShelleyNodeToNodeVersion] Source #
PraosCrypto c ⇒ Arbitrary (ChainDepState c) Source #
Instance details Methods arbitrary ∷ Gen (ChainDepState c) Source # shrink ∷ ChainDepState c → [ChainDepState c] Source #
(CanMock (Praos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (Header (ShelleyBlock (Praos crypto) era)) Source #
Instance details Methods arbitrary ∷ Gen (Header (ShelleyBlock (Praos crypto) era)) Source # shrink ∷ Header (ShelleyBlock (Praos crypto) era) → [Header (ShelleyBlock (Praos crypto) era)] Source #
(CanMock (TPraos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (Header (ShelleyBlock (TPraos crypto) era)) Source #
Instance details Methods arbitrary ∷ Gen (Header (ShelleyBlock (TPraos crypto) era)) Source # shrink ∷ Header (ShelleyBlock (TPraos crypto) era) → [Header (ShelleyBlock (TPraos crypto) era)] Source #
CanMock proto era ⇒ Arbitrary (AnnTip (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (AnnTip (ShelleyBlock proto era)) Source # shrink ∷ AnnTip (ShelleyBlock proto era) → [AnnTip (ShelleyBlock proto era)] Source #
CanMock proto era ⇒ Arbitrary (LedgerState (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (LedgerState (ShelleyBlock proto era)) Source # shrink ∷ LedgerState (ShelleyBlock proto era) → [LedgerState (ShelleyBlock proto era)] Source #
CanMock proto era ⇒ Arbitrary (GenTx (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (GenTx (ShelleyBlock proto era)) Source # shrink ∷ GenTx (ShelleyBlock proto era) → [GenTx (ShelleyBlock proto era)] Source #
CanMock proto era ⇒ Arbitrary (GenTxId (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (GenTxId (ShelleyBlock proto era)) Source # shrink ∷ GenTxId (ShelleyBlock proto era) → [GenTxId (ShelleyBlock proto era)] Source #
(CanMock (Praos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (Coherent (ShelleyBlock (Praos crypto) era)) Source #	Create a coherent Praos block TODO Establish a coherent block without doing this translation from a TPraos header.
Instance details Methods arbitrary ∷ Gen (Coherent (ShelleyBlock (Praos crypto) era)) Source # shrink ∷ Coherent (ShelleyBlock (Praos crypto) era) → [Coherent (ShelleyBlock (Praos crypto) era)] Source #
(CanMock (TPraos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (Coherent (ShelleyBlock (TPraos crypto) era)) Source #	This uses a different upstream generator to ensure the header and block body relate as expected.
Instance details Methods arbitrary ∷ Gen (Coherent (ShelleyBlock (TPraos crypto) era)) Source # shrink ∷ Coherent (ShelleyBlock (TPraos crypto) era) → [Coherent (ShelleyBlock (TPraos crypto) era)] Source #
CanMock proto era ⇒ Arbitrary (SomeResult (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (SomeResult (ShelleyBlock proto era)) Source # shrink ∷ SomeResult (ShelleyBlock proto era) → [SomeResult (ShelleyBlock proto era)] Source #
PraosCrypto c ⇒ Arbitrary (NonMyopicMemberRewards c) Source #
Instance details Methods arbitrary ∷ Gen (NonMyopicMemberRewards c) Source # shrink ∷ NonMyopicMemberRewards c → [NonMyopicMemberRewards c] Source #
Mock c ⇒ Arbitrary (ShelleyHash c) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyHash c) Source # shrink ∷ ShelleyHash c → [ShelleyHash c] Source #
PraosCrypto c ⇒ Arbitrary (TPraosState c) Source #
Instance details Methods arbitrary ∷ Gen (TPraosState c) Source # shrink ∷ TPraosState c → [TPraosState c] Source #
CanMock proto era ⇒ Arbitrary (WithVersion ShelleyNodeToClientVersion (SomeSecond BlockQuery (ShelleyBlock proto era))) Source #	Some `Query`s are only supported by `ShelleyNodeToClientVersion2`, so we make sure to not generate those queries in combination with `ShelleyNodeToClientVersion1`.
Instance details Methods arbitrary ∷ Gen (WithVersion ShelleyNodeToClientVersion (SomeSecond BlockQuery (ShelleyBlock proto era))) Source # shrink ∷ WithVersion ShelleyNodeToClientVersion (SomeSecond BlockQuery (ShelleyBlock proto era)) → [WithVersion ShelleyNodeToClientVersion (SomeSecond BlockQuery (ShelleyBlock proto era))] Source #
(PraosCrypto crypto, CanMock (Praos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (ShelleyBlock (Praos crypto) era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyBlock (Praos crypto) era) Source # shrink ∷ ShelleyBlock (Praos crypto) era → [ShelleyBlock (Praos crypto) era] Source #
(CanMock (TPraos crypto) era, crypto ~ EraCrypto era) ⇒ Arbitrary (ShelleyBlock (TPraos crypto) era) Source #	The upstream `Arbitrary` instance for Shelley blocks does not generate coherent blocks, so neither does this.
Instance details Methods arbitrary ∷ Gen (ShelleyBlock (TPraos crypto) era) Source # shrink ∷ ShelleyBlock (TPraos crypto) era → [ShelleyBlock (TPraos crypto) era] Source #
CanMock proto era ⇒ Arbitrary (ShelleyTip proto era) Source #
Instance details Methods arbitrary ∷ Gen (ShelleyTip proto era) Source # shrink ∷ ShelleyTip proto era → [ShelleyTip proto era] Source #
CanMock proto era ⇒ Arbitrary (Point (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (Point (ShelleyBlock proto era)) Source # shrink ∷ Point (ShelleyBlock proto era) → [Point (ShelleyBlock proto era)] Source #
ShelleyBasedEra era ⇒ Arbitrary (SomeSecond (NestedCtxt f) (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (SomeSecond (NestedCtxt f) (ShelleyBlock proto era)) Source # shrink ∷ SomeSecond (NestedCtxt f) (ShelleyBlock proto era) → [SomeSecond (NestedCtxt f) (ShelleyBlock proto era)] Source #
CanMock proto era ⇒ Arbitrary (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #
Instance details Methods arbitrary ∷ Gen (SomeSecond BlockQuery (ShelleyBlock proto era)) Source # shrink ∷ SomeSecond BlockQuery (ShelleyBlock proto era) → [SomeSecond BlockQuery (ShelleyBlock proto era)] Source #