ouroboros-consensus:unstable-consensus-testlib
Safe HaskellNone
LanguageHaskell2010

Test.Util.Orphans.ToExpr

Orphan instances

Generic FollowerNext Source # 
Instance details

Associated Types

type Rep FollowerNext 
Instance details

Defined in Test.Util.Orphans.ToExpr

type Rep FollowerNext = D1 ('MetaData "FollowerNext" "Ouroboros.Network.Mock.ProducerState" "ouroboros-network-1.2.0.0-l-protocols-tests-lib-943f0a7c8177a2150896e0504f30a5d1e927bd34e6bb191bc0e8ae011fb0a287" 'False) (C1 ('MetaCons "FollowerBackTo" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FollowerForwardFrom" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ FollowerNext → Rep FollowerNext x #

to ∷ Rep FollowerNext x → FollowerNext #

ToExpr RelativeTime Source # 
Instance details

Methods

toExpr ∷ RelativeTime → Expr Source #

listToExpr ∷ [RelativeTime] → Expr Source #

ToExpr FsError Source # 
Instance details

Methods

toExpr ∷ FsError → Expr Source #

listToExpr ∷ [FsError] → Expr Source #

ToExpr CRC Source # 
Instance details

Methods

toExpr ∷ CRC → Expr Source #

listToExpr ∷ [CRC] → Expr Source #

ToExpr Time Source # 
Instance details

Methods

toExpr ∷ Time → Expr Source #

listToExpr ∷ [Time] → Expr Source #

ToExpr VoteWeight Source # 
Instance details

Methods

toExpr ∷ VoteWeight → Expr Source #

listToExpr ∷ [VoteWeight] → Expr Source #

ToExpr SeatIndex Source # 
Instance details

Methods

toExpr ∷ SeatIndex → Expr Source #

listToExpr ∷ [SeatIndex] → Expr Source #

ToExpr SecurityParam Source # 
Instance details

Methods

toExpr ∷ SecurityParam → Expr Source #

listToExpr ∷ [SecurityParam] → Expr Source #

ToExpr TicketNo Source # 
Instance details

Methods

toExpr ∷ TicketNo → Expr Source #

listToExpr ∷ [TicketNo] → Expr Source #

ToExpr PerasEpochContextNotFoundForRound Source # 
Instance details

Methods

toExpr ∷ PerasEpochContextNotFoundForRound → Expr Source #

listToExpr ∷ [PerasEpochContextNotFoundForRound] → Expr Source #

ToExpr PerasWeight Source # 
Instance details

Methods

toExpr ∷ PerasWeight → Expr Source #

listToExpr ∷ [PerasWeight] → Expr Source #

ToExpr PerasRoundNo Source # 
Instance details

Methods

toExpr ∷ PerasRoundNo → Expr Source #

listToExpr ∷ [PerasRoundNo] → Expr Source #

ToExpr PerasSeatIndex Source # 
Instance details

Methods

toExpr ∷ PerasSeatIndex → Expr Source #

listToExpr ∷ [PerasSeatIndex] → Expr Source #

ToExpr PerasVoteId Source # 
Instance details

Methods

toExpr ∷ PerasVoteId → Expr Source #

listToExpr ∷ [PerasVoteId] → Expr Source #

ToExpr PerasConversionError Source # 
Instance details

Methods

toExpr ∷ PerasConversionError → Expr Source #

listToExpr ∷ [PerasConversionError] → Expr Source #

ToExpr ChunkInfo Source # 
Instance details

Methods

toExpr ∷ ChunkInfo → Expr Source #

listToExpr ∷ [ChunkInfo] → Expr Source #

ToExpr ChunkNo Source # 
Instance details

Methods

toExpr ∷ ChunkNo → Expr Source #

listToExpr ∷ [ChunkNo] → Expr Source #

ToExpr ChunkSize Source # 
Instance details

Methods

toExpr ∷ ChunkSize → Expr Source #

listToExpr ∷ [ChunkSize] → Expr Source #

ToExpr RelativeSlot Source # 
Instance details

Methods

toExpr ∷ RelativeSlot → Expr Source #

listToExpr ∷ [RelativeSlot] → Expr Source #

ToExpr ChunkSlot Source # 
Instance details

Methods

toExpr ∷ ChunkSlot → Expr Source #

listToExpr ∷ [ChunkSlot] → Expr Source #

ToExpr DiskSnapshot Source # 
Instance details

Methods

toExpr ∷ DiskSnapshot → Expr Source #

listToExpr ∷ [DiskSnapshot] → Expr Source #

ToExpr MaxSlotNo Source # 
Instance details

Methods

toExpr ∷ MaxSlotNo → Expr Source #

listToExpr ∷ [MaxSlotNo] → Expr Source #

ToExpr Fingerprint Source # 
Instance details

Methods

toExpr ∷ Fingerprint → Expr Source #

listToExpr ∷ [Fingerprint] → Expr Source #

ToExpr FollowerNext Source # 
Instance details

Methods

toExpr ∷ FollowerNext → Expr Source #

listToExpr ∷ [FollowerNext] → Expr Source #

Generic (Chain blk) Source # 
Instance details

Associated Types

type Rep (Chain blk) 
Instance details

Defined in Test.Util.Orphans.ToExpr

type Rep (Chain blk) = D1 ('MetaData "Chain" "Ouroboros.Network.Mock.Chain" "ouroboros-network-1.2.0.0-l-api-tests-lib-f2b2cf811aff366a754c6fe70aaace14b5a1006bedfd3fa19a10d05a8846ae64" 'False) (C1 ('MetaCons "Genesis" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons ":>" ('InfixI 'LeftAssociative 5) 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Chain blk)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 blk)))

Methods

from ∷ Chain blk → Rep (Chain blk) x #

to ∷ Rep (Chain blk) x → Chain blk #

Generic (ChainProducerState blk) Source # 
Instance details

Associated Types

type Rep (ChainProducerState blk) 
Instance details

Defined in Test.Util.Orphans.ToExpr

type Rep (ChainProducerState blk) = D1 ('MetaData "ChainProducerState" "Ouroboros.Network.Mock.ProducerState" "ouroboros-network-1.2.0.0-l-protocols-tests-lib-943f0a7c8177a2150896e0504f30a5d1e927bd34e6bb191bc0e8ae011fb0a287" 'False) (C1 ('MetaCons "ChainProducerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "chainState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Chain blk)) :*: (S1 ('MetaSel ('Just "chainFollowers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FollowerStates blk)) :*: S1 ('MetaSel ('Just "nextFollowerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FollowerId))))

Methods

from ∷ ChainProducerState blk → Rep (ChainProducerState blk) x #

to ∷ Rep (ChainProducerState blk) x → ChainProducerState blk #

Generic (FollowerState blk) Source # 
Instance details

Associated Types

type Rep (FollowerState blk) 
Instance details

Defined in Test.Util.Orphans.ToExpr

type Rep (FollowerState blk) = D1 ('MetaData "FollowerState" "Ouroboros.Network.Mock.ProducerState" "ouroboros-network-1.2.0.0-l-protocols-tests-lib-943f0a7c8177a2150896e0504f30a5d1e927bd34e6bb191bc0e8ae011fb0a287" 'False) (C1 ('MetaCons "FollowerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "followerPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "followerNext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FollowerNext)))

Methods

from ∷ FollowerState blk → Rep (FollowerState blk) x #

to ∷ Rep (FollowerState blk) x → FollowerState blk #

ToExpr a ⇒ ToExpr (StrictMaybe a) Source # 
Instance details

Methods

toExpr ∷ StrictMaybe a → Expr Source #

listToExpr ∷ [StrictMaybe a] → Expr Source #

ToExpr a ⇒ ToExpr (NESet a) Source # 
Instance details

Methods

toExpr ∷ NESet a → Expr Source #

listToExpr ∷ [NESet a] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (RealPoint blk) Source # 
Instance details

Methods

toExpr ∷ RealPoint blk → Expr Source #

listToExpr ∷ [RealPoint blk] → Expr Source #

ToExpr a ⇒ ToExpr (WithArrivalTime a) Source # 
Instance details

Methods

toExpr ∷ WithArrivalTime a → Expr Source #

listToExpr ∷ [WithArrivalTime a] → Expr Source #

ToExpr (TipInfo blk) ⇒ ToExpr (AnnTip blk) Source # 
Instance details

Methods

toExpr ∷ AnnTip blk → Expr Source #

listToExpr ∷ [AnnTip blk] → Expr Source #

(ToExpr (ChainDepState (BlockProtocol blk)), ToExpr (TipInfo blk)) ⇒ ToExpr (HeaderState blk) Source # 
Instance details

Methods

toExpr ∷ HeaderState blk → Expr Source #

listToExpr ∷ [HeaderState blk] → Expr Source #

Show (PerasVotingCommittee blk) ⇒ ToExpr (PerasState blk) Source # 
Instance details

Methods

toExpr ∷ PerasState blk → Expr Source #

listToExpr ∷ [PerasState blk] → Expr Source #

Show (TxId (GenTx blk)) ⇒ ToExpr (TxId (GenTx blk)) Source # 
Instance details

Methods

toExpr ∷ TxId (GenTx blk) → Expr Source #

listToExpr ∷ [TxId (GenTx blk)] → Expr Source #

(ToExpr (GenTx blk), LedgerSupportsMempool blk, ToExpr (Validated (GenTx blk))) ⇒ ToExpr (MempoolAddTxResult blk) Source # 
Instance details

Methods

toExpr ∷ MempoolAddTxResult blk → Expr Source #

listToExpr ∷ [MempoolAddTxResult blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (MockPerasCert blk) Source # 
Instance details

Methods

toExpr ∷ MockPerasCert blk → Expr Source #

listToExpr ∷ [MockPerasCert blk] → Expr Source #

Show (PerasVotingCommittee blk) ⇒ ToExpr (PerasEpochContextResolver blk) Source # 
Instance details

Methods

toExpr ∷ PerasEpochContextResolver blk → Expr Source #

listToExpr ∷ [PerasEpochContextResolver blk] → Expr Source #

ToExpr (PerasVotingCommitteeError blk) ⇒ ToExpr (MockPerasError blk) Source # 
Instance details

Methods

toExpr ∷ MockPerasError blk → Expr Source #

listToExpr ∷ [MockPerasError blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (MockPerasVote blk) Source # 
Instance details

Methods

toExpr ∷ MockPerasVote blk → Expr Source #

listToExpr ∷ [MockPerasVote blk] → Expr Source #

ToExpr a ⇒ ToExpr (LoE a) Source # 
Instance details

Methods

toExpr ∷ LoE a → Expr Source #

listToExpr ∷ [LoE a] → Expr Source #

(ToExpr blk, ToExpr (HeaderHash blk)) ⇒ ToExpr (Anchor blk) Source # 
Instance details

Methods

toExpr ∷ Anchor blk → Expr Source #

listToExpr ∷ [Anchor blk] → Expr Source #

(ToExpr blk, ToExpr (HeaderHash blk)) ⇒ ToExpr (AnchoredFragment blk) Source # 
Instance details

Methods

toExpr ∷ AnchoredFragment blk → Expr Source #

listToExpr ∷ [AnchoredFragment blk] → Expr Source #

ToExpr a ⇒ ToExpr (WithFingerprint a) Source # 
Instance details

Methods

toExpr ∷ WithFingerprint a → Expr Source #

listToExpr ∷ [WithFingerprint a] → Expr Source #

ToExpr blk ⇒ ToExpr (Chain blk) Source # 
Instance details

Methods

toExpr ∷ Chain blk → Expr Source #

listToExpr ∷ [Chain blk] → Expr Source #

(ToExpr blk, ToExpr (HeaderHash blk)) ⇒ ToExpr (ChainProducerState blk) Source # 
Instance details

Methods

toExpr ∷ ChainProducerState blk → Expr Source #

listToExpr ∷ [ChainProducerState blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (FollowerState blk) Source # 
Instance details

Methods

toExpr ∷ FollowerState blk → Expr Source #

listToExpr ∷ [FollowerState blk] → Expr Source #

Show (PerasVotingCommittee blk) ⇒ ToExpr (VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)) Source # 
Instance details

Methods

toExpr ∷ VotingCommittee crypto (MockPerasVotingCommitteeScheme blk) → Expr Source #

listToExpr ∷ [VotingCommittee crypto (MockPerasVotingCommitteeScheme blk)] → Expr Source #

(ToExpr (LedgerState blk EmptyMK), ToExpr (ChainDepState (BlockProtocol blk)), ToExpr (TipInfo blk), Show (PerasVotingCommittee blk)) ⇒ ToExpr (ExtLedgerState blk EmptyMK) Source # 
Instance details

Methods

toExpr ∷ ExtLedgerState blk EmptyMK → Expr Source #

listToExpr ∷ [ExtLedgerState blk EmptyMK] → Expr Source #

(ToExpr (GenTx blk), LedgerSupportsMempool blk, measure ~ TxMeasure blk, ToExpr measure, ToExpr (Validated (GenTx blk))) ⇒ ToExpr (TxTicket measure (Validated (GenTx blk))) Source # 
Instance details

Methods

toExpr ∷ TxTicket measure (Validated (GenTx blk)) → Expr Source #

listToExpr ∷ [TxTicket measure (Validated (GenTx blk))] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (ChainHash blk) Source # 
Instance details

Methods

toExpr ∷ ChainHash blk → Expr Source #

listToExpr ∷ [ChainHash blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (Point blk) Source # 
Instance details

Methods

toExpr ∷ Point blk → Expr Source #

listToExpr ∷ [Point blk] → Expr Source #

(ToExpr slot, ToExpr hash) ⇒ ToExpr (Block slot hash) Source # 
Instance details

Methods

toExpr ∷ Block slot hash → Expr Source #

listToExpr ∷ [Block slot hash] → Expr Source #

(ToExpr a, ToExpr b, ToExpr c, ToExpr d, ToExpr e, ToExpr f, ToExpr g, ToExpr h, ToExpr i, ToExpr j) ⇒ ToExpr (a, b, c, d, e, f, g, h, i, j) Source # 
Instance details

Methods

toExpr ∷ (a, b, c, d, e, f, g, h, i, j) → Expr Source #

listToExpr ∷ [(a, b, c, d, e, f, g, h, i, j)] → Expr Source #