ouroboros-consensus-0.28.0.0: Consensus layer for the Ouroboros blockchain protocol

Safe Haskell	None
Language	Haskell2010

Test.Util.Orphans.ToExpr

Contents

Orphan instances

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-mock-0.1.1.2-328985421eb1708ff4ec6c753818218f68070a99be56f4532ddfc8815b8a6625" '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 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 PerasRoundNo Source #

Instance details

Methods

toExpr ∷ PerasRoundNo → Expr Source #

listToExpr ∷ [PerasRoundNo] → Expr Source #

ToExpr PerasWeight Source #

Instance details

Methods

toExpr ∷ PerasWeight → Expr Source #

listToExpr ∷ [PerasWeight] → 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 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-mock-0.1.1.2-328985421eb1708ff4ec6c753818218f68070a99be56f4532ddfc8815b8a6625" '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-mock-0.1.1.2-328985421eb1708ff4ec6c753818218f68070a99be56f4532ddfc8815b8a6625" '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-mock-0.1.1.2-328985421eb1708ff4ec6c753818218f68070a99be56f4532ddfc8815b8a6625" '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 (HeaderHash blk) ⇒ ToExpr (RealPoint blk) Source #

Instance details

Methods

toExpr ∷ RealPoint blk → Expr Source #

listToExpr ∷ [RealPoint blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (PerasCert blk) Source #

Instance details

Methods

toExpr ∷ PerasCert blk → Expr Source #

listToExpr ∷ [PerasCert blk] → Expr Source #

ToExpr (HeaderHash blk) ⇒ ToExpr (ValidatedPerasCert blk) Source #

Instance details

Methods

toExpr ∷ ValidatedPerasCert blk → Expr Source #

listToExpr ∷ [ValidatedPerasCert blk] → 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 (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 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 #

(ToExpr (LedgerState blk EmptyMK), ToExpr (ChainDepState (BlockProtocol blk)), ToExpr (TipInfo 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 #