ouroboros-consensus-test-0.1.0.0: Tests of the consensus layer
Safe HaskellNone
LanguageHaskell2010

Test.Util.Orphans.ToExpr

Orphan instances

ToExpr SlotNo Source # 
Instance details

Methods

toExprSlotNo → Expr

listToExpr ∷ [SlotNo] → Expr

ToExpr BlockNo Source # 
Instance details

Methods

toExprBlockNo → Expr

listToExpr ∷ [BlockNo] → Expr

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

Methods

toExprExtLedgerState blk → Expr

listToExpr ∷ [ExtLedgerState blk] → Expr

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

Methods

toExprAnnTip blk → Expr

listToExpr ∷ [AnnTip blk] → Expr

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

Methods

toExprHeaderState blk → Expr

listToExpr ∷ [HeaderState blk] → Expr

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

Methods

toExprRealPoint blk → Expr

listToExpr ∷ [RealPoint blk] → Expr

ToExpr t ⇒ ToExpr (WithOrigin t) Source # 
Instance details

Methods

toExprWithOrigin t → Expr

listToExpr ∷ [WithOrigin t] → Expr

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

Methods

toExprPoint blk → Expr

listToExpr ∷ [Point blk] → Expr

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

Methods

toExprBlock slot hash → Expr

listToExpr ∷ [Block slot hash] → Expr