storage-test
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Storage.LedgerDB.StateMachine.TestBlock

Documentation

type TestBlock = TestBlockWith Tx Source #

extLedgerDbConfig ∷ SecurityParam → LedgerDbCfg (ExtLedgerState TestBlock) Source #

genBlocks ∷ Word64 → Point TestBlock → [TestBlock] Source #

genesis ∷ ExtLedgerState TestBlock ValuesMK Source #

Orphan instances

ToExpr Length Source # 
Instance details

Methods

toExpr ∷ Length → Expr Source #

listToExpr ∷ [Length] → Expr Source #

ToExpr SlotNoLB Source # 
Instance details

Methods

toExpr ∷ SlotNoLB → Expr Source #

listToExpr ∷ [SlotNoLB] → Expr Source #

ToExpr SlotNoUB Source # 
Instance details

Methods

toExpr ∷ SlotNoUB → Expr Source #

listToExpr ∷ [SlotNoUB] → Expr Source #

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

Methods

toExpr ∷ StrictMaybe v → Expr Source #

listToExpr ∷ [StrictMaybe v] → Expr Source #

ToExpr v ⇒ ToExpr (Delta v) Source # 
Instance details

Methods

toExpr ∷ Delta v → Expr Source #

listToExpr ∷ [Delta v] → Expr Source #

ToExpr v ⇒ ToExpr (DeltaHistory v) Source # 
Instance details

Methods

toExpr ∷ DeltaHistory v → Expr Source #

listToExpr ∷ [DeltaHistory v] → Expr Source #

(ToExpr k, ToExpr v) ⇒ ToExpr (Diff k v) Source # 
Instance details

Methods

toExpr ∷ Diff k v → Expr Source #

listToExpr ∷ [Diff k v] → Expr Source #

(ToExpr k, ToExpr v) ⇒ ToExpr (Element k v) Source # 
Instance details

Methods

toExpr ∷ Element k v → Expr Source #

listToExpr ∷ [Element k v] → Expr Source #

(ToExpr k, ToExpr v) ⇒ ToExpr (InternalMeasure k v) Source # 
Instance details

Methods

toExpr ∷ InternalMeasure k v → Expr Source #

listToExpr ∷ [InternalMeasure k v] → Expr Source #

(ToExpr k, ToExpr v) ⇒ ToExpr (RootMeasure k v) Source # 
Instance details

Methods

toExpr ∷ RootMeasure k v → Expr Source #

listToExpr ∷ [RootMeasure k v] → Expr Source #