ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
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-mock-0.1.1.2-56dd5218d18e0c32e3cc31307f909a83e4b4886f0c7246c3bee458892421e5cb" 'False) (C1 ('MetaCons "FollowerBackTo" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "FollowerForwardFrom" 'PrefixI 'False) (U1TypeType))
ToExpr FsError Source # 
Instance details

ToExpr CRC Source # 
Instance details

Methods

toExprCRCExpr Source #

listToExpr ∷ [CRC] → Expr Source #

ToExpr SecurityParam Source # 
Instance details

ToExpr TicketNo Source # 
Instance details

ToExpr ChunkInfo Source # 
Instance details

ToExpr ChunkNo Source # 
Instance details

ToExpr ChunkSize Source # 
Instance details

ToExpr RelativeSlot Source # 
Instance details

ToExpr ChunkSlot Source # 
Instance details

ToExpr DiskSnapshot Source # 
Instance details

ToExpr Fingerprint Source # 
Instance details

ToExpr MaxSlotNo Source # 
Instance details

ToExpr FollowerNext Source # 
Instance details

ToExpr Time Source # 
Instance details

Methods

toExprTimeExpr Source #

listToExpr ∷ [Time] → 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-56dd5218d18e0c32e3cc31307f909a83e4b4886f0c7246c3bee458892421e5cb" 'False) (C1 ('MetaCons "Genesis" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons ":>" ('InfixI 'LeftAssociative 5) 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Chain blk)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 blk)))

Methods

fromChain blk → Rep (Chain blk) x #

toRep (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-56dd5218d18e0c32e3cc31307f909a83e4b4886f0c7246c3bee458892421e5cb" '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))))
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-56dd5218d18e0c32e3cc31307f909a83e4b4886f0c7246c3bee458892421e5cb" '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

fromFollowerState blk → Rep (FollowerState blk) x #

toRep (FollowerState blk) x → FollowerState blk #

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

Methods

toExprRealPoint blk → Expr Source #

listToExpr ∷ [RealPoint blk] → Expr Source #

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

Methods

toExprAnnTip blk → Expr Source #

listToExpr ∷ [AnnTip blk] → Expr Source #

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

Methods

toExprHeaderState blk → Expr Source #

listToExpr ∷ [HeaderState blk] → Expr Source #

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

Methods

toExprTxId (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

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

Methods

toExprLoE a → Expr Source #

listToExpr ∷ [LoE a] → Expr Source #

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

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

Methods

toExprAnchor blk → Expr Source #

listToExpr ∷ [Anchor blk] → Expr Source #

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

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

Methods

toExprChain blk → Expr Source #

listToExpr ∷ [Chain blk] → Expr Source #

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

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

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

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

Methods

toExprTxTicket measure (Validated (GenTx blk)) → Expr Source #

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

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

Methods

toExprChainHash blk → Expr Source #

listToExpr ∷ [ChainHash blk] → Expr Source #

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

Methods

toExprPoint blk → Expr Source #

listToExpr ∷ [Point blk] → Expr Source #

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

Methods

toExprBlock 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 #