ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.Orphans.ToExpr

Orphan instances

Generic FollowerNext Source # 
Instance details

Associated Types

type Rep FollowerNextTypeType #

ToExpr FsError Source # 
Instance details

ToExpr SecurityParam 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) ∷ TypeType #

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) ∷ TypeType #

Generic (FollowerState blk) Source # 
Instance details

Associated Types

type Rep (FollowerState blk) ∷ TypeType #

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 #

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

(ToExpr (HeaderHash blk), ToExpr (ExtValidationError blk)) ⇒ ToExpr (InvalidBlockReason blk) Source # 
Instance details

ToExpr a ⇒ ToExpr (WithFingerprint a) 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 (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 #