Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Storage.LedgerDB.StateMachine.TestBlock

Contents

Orphan instances

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 #