Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Ouroboros.Storage.ChainDB.StateMachine.Utils.RunOnRepl

Contents

Running the counterexamples
Patterns needed to disambiguate the At and Command symbols printed
Re-exports needed for compiling a StateMachine inside the repl.

Description

Collection functions and exported symbols to be able to run a 'quickcheck-state-machine' counterexample using the GHC repl.

To test a counterexample first fire up the repl, and enable the FlexibleContexts and TypeFamilies extensions, and set multi-line input.

cabal new-repl test-storage
import Test.Ouroboros.Storage.ChainDB.StateMachine.Utils.RunOnRepl
:set -XFlexibleContexts -XTypeFamilies +m

The commands that are part of the counterexample are usually several lines long. Thus it is better to create a local definition for them:

cmds = (<PASTE THE COMMANDS OF THE COUNTEREXAMPLE HERE>)

Note the use of parentheses to prevent GHCi from ending the multiline input prematurely (the copied counterexample in this case).

Then, the model and system under tests can be tested for lockstep agreement by running:

quickCheckCmdsLockStep someLoE someClockSkew someChunkInfo counterexample

Where someClockSkew and someChunkInfo are the ones given by the counterexample found by quickcheck-statemachine, and someLoE is LoEEnabled () or LoEDisabled.

Synopsis

quickCheckCmdsLockStep ∷ LoE () → SmallChunkInfo → Commands (At Cmd TestBlock IO) (At Resp TestBlock IO) → IO ()
pattern At ∷ Block SlotNo (HeaderHash blk) → Point blk
pattern Command ∷ t1 blk1 (IterRef blk1 m1 Symbolic) (FollowerRef blk1 m1 Symbolic) → t2 blk2 (IterRef blk2 m2 Symbolic) (FollowerRef blk2 m2 Symbolic) → [Var] → Command (At t1 blk1 m1) (At t2 blk2 m2)
newtype Commands (cmd ∷ (Type → Type) → Type) (resp ∷ (Type → Type) → Type) = Commands {
- unCommands ∷ [Command cmd resp]
}
newtype Reference a (r ∷ Type → Type) = Reference (r a)
data Symbolic a where
- Symbolic ∷ ∀ a. Typeable a ⇒ Var → Symbolic a
newtype Var = Var Int
data Cmd blk it flr
- = AddBlock blk
- | GetCurrentChain
- | GetLedgerDB
- | GetTipBlock
- | GetTipHeader
- | GetTipPoint
- | GetBlockComponent (RealPoint blk)
- | GetGCedBlockComponent (RealPoint blk)
- | GetMaxSlotNo
- | GetIsValid (RealPoint blk)
- | Stream (StreamFrom blk) (StreamTo blk)
- | UpdateLoE (AnchoredFragment blk)
- | IteratorNext it
- | IteratorNextGCed it
- | IteratorClose it
- | NewFollower ChainType
- | FollowerInstruction flr
- | FollowerForward flr [Point blk]
- | FollowerClose flr
- | Close
- | Reopen
- | PersistBlks
- | PersistBlksThenGC
- | UpdateLedgerSnapshots
- | WipeVolatileDB
newtype Resp blk it flr = Resp {
- getResp ∷ Either (ChainDbError blk) (Success blk it flr)
}
data Success blk it flr
- = Unit ()
- | Chain (AnchoredFragment (Header blk))
- | LedgerDB (LedgerDB (ExtLedgerState blk))
- | MbBlock (Maybe blk)
- | MbAllComponents (Maybe (AllComponents blk))
- | MbGCedAllComponents (MaybeGCedBlock (AllComponents blk))
- | MbHeader (Maybe (Header blk))
- | Point (Point blk)
- | IsValid IsValidResult
- | UnknownRange (UnknownRange blk)
- | Iter it
- | IterResult (IteratorResult blk (AllComponents blk))
- | IterResultGCed (IteratorResultGCed blk)
- | Flr flr
- | MbChainUpdate (Maybe (ChainUpdate blk (AllComponents blk)))
- | MbPoint (Maybe (Point blk))
- | MaxSlot MaxSlotNo
runCmdsLockstep ∷ LoE () → SmallChunkInfo → Commands (At Cmd Blk IO) (At Resp Blk IO) → Property
newtype ChainLength = ChainLength Int
data EBB
- = EBB !EpochNo
- | RegularBlock
data SmallChunkInfo = SmallChunkInfo ChunkInfo
data TestBlock = TestBlock {
- testHeader ∷ !TestHeader
- testBody ∷ !TestBody
}
data TestBody = TestBody {
- tbForkNo ∷ !Word
- tbIsValid ∷ !Bool
}
newtype TestBodyHash = TestBodyHash Int
data TestHeader = TestHeader {
- thHash ∷ HeaderHash TestHeader
- thPrevHash ∷ !(ChainHash TestHeader)
- thBodyHash ∷ !TestBodyHash
- thSlotNo ∷ !SlotNo
- thBlockNo ∷ !BlockNo
- thChainLength ∷ !ChainLength
- thIsEBB ∷ !EBB
}
newtype TestHeaderHash = TestHeaderHash Int
data Block slot hash = Block {
- blockPointSlot ∷ !slot
- blockPointHash ∷ !hash
}
newtype BlockNo = BlockNo {
- unBlockNo ∷ Word64
}
data ChainHash (b ∷ k)
- = GenesisHash
- | BlockHash !(HeaderHash b)
data ChainType = TentativeChain
data ChainUpdate (block ∷ k) a = RollBack (Point block)
data ChunkInfo = UniformChunkSize !ChunkSize
data ChunkSize = ChunkSize {
- chunkCanContainEBB ∷ !Bool
- numRegularBlocks ∷ !Word64
}
newtype EpochNo = EpochNo Word64
newtype SlotNo = SlotNo {
- unSlotNo ∷ Word64
}

Running the counterexamples

quickCheckCmdsLockStep ∷ LoE () → SmallChunkInfo → Commands (At Cmd TestBlock IO) (At Resp TestBlock IO) → IO () Source #

Patterns needed to disambiguate the `At` and `Command` symbols printed

pattern At ∷ Block SlotNo (HeaderHash blk) → Point blk Source #

pattern Command ∷ t1 blk1 (IterRef blk1 m1 Symbolic) (FollowerRef blk1 m1 Symbolic) → t2 blk2 (IterRef blk2 m2 Symbolic) (FollowerRef blk2 m2 Symbolic) → [Var] → Command (At t1 blk1 m1) (At t2 blk2 m2) Source #

Re-exports needed for compiling a `StateMachine` inside the repl.

quickcheck-state-machine re-exports

newtype Commands (cmd ∷ (Type → Type) → Type) (resp ∷ (Type → Type) → Type) Source #

Constructors

Commands
Fields unCommands ∷ [Command cmd resp]

Instances

Instances details

Monoid (Commands cmd resp)
Instance details Defined in Test.StateMachine.Types Methods mempty ∷ Commands cmd resp # mappend ∷ Commands cmd resp → Commands cmd resp → Commands cmd resp # mconcat ∷ [Commands cmd resp] → Commands cmd resp #
Semigroup (Commands cmd resp)
Instance details Defined in Test.StateMachine.Types Methods (<>) ∷ Commands cmd resp → Commands cmd resp → Commands cmd resp # sconcat ∷ NonEmpty (Commands cmd resp) → Commands cmd resp # stimes ∷ Integral b ⇒ b → Commands cmd resp → Commands cmd resp #
(Read (cmd Symbolic), Read (resp Symbolic)) ⇒ Read (Commands cmd resp)
Instance details Defined in Test.StateMachine.Types Methods readsPrec ∷ Int → ReadS (Commands cmd resp) # readList ∷ ReadS [Commands cmd resp] # readPrec ∷ ReadPrec (Commands cmd resp) # readListPrec ∷ ReadPrec [Commands cmd resp] #
(Show (cmd Symbolic), Show (resp Symbolic)) ⇒ Show (Commands cmd resp)
Instance details Defined in Test.StateMachine.Types Methods showsPrec ∷ Int → Commands cmd resp → ShowS # show ∷ Commands cmd resp → String # showList ∷ [Commands cmd resp] → ShowS #
(Eq (cmd Symbolic), Eq (resp Symbolic)) ⇒ Eq (Commands cmd resp)
Instance details Defined in Test.StateMachine.Types Methods (==) ∷ Commands cmd resp → Commands cmd resp → Bool # (/=) ∷ Commands cmd resp → Commands cmd resp → Bool #

newtype Reference a (r ∷ Type → Type) Source #

Constructors

Reference (r a)

Instances

Instances details

Foldable (Reference a ∷ (Type → Type) → Type)
Instance details Defined in Test.StateMachine.Types.References Methods foldMap ∷ Monoid m ⇒ (∀ (x ∷ k). p x → m) → Reference a p → m Source #
Functor (Reference a ∷ (Type → Type) → Type)
Instance details Defined in Test.StateMachine.Types.References Methods fmap ∷ (∀ (x ∷ k). p x → q x) → Reference a p → Reference a q Source #
Traversable (Reference a ∷ (Type → Type) → Type)
Instance details Defined in Test.StateMachine.Types.References Methods traverse ∷ Applicative f ⇒ (∀ (a0 ∷ k). p a0 → f (q a0)) → Reference a p → f (Reference a q) Source #
Generic (Reference a r)
Instance details Defined in Test.StateMachine.Types.References Associated Types type Rep (Reference a r) ∷ Type → Type # Methods from ∷ Reference a r → Rep (Reference a r) x # to ∷ Rep (Reference a r) x → Reference a r #
Typeable a ⇒ Read (Reference a Symbolic)
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec ∷ Int → ReadS (Reference a Symbolic) # readList ∷ ReadS [Reference a Symbolic] # readPrec ∷ ReadPrec (Reference a Symbolic) # readListPrec ∷ ReadPrec [Reference a Symbolic] #
(Show1 r, Show a) ⇒ Show (Reference a r)
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec ∷ Int → Reference a r → ShowS # show ∷ Reference a r → String # showList ∷ [Reference a r] → ShowS #
(Eq a, Eq1 r) ⇒ Eq (Reference a r)
Instance details Defined in Test.StateMachine.Types.References Methods (==) ∷ Reference a r → Reference a r → Bool # (/=) ∷ Reference a r → Reference a r → Bool #
(Ord a, Ord1 r) ⇒ Ord (Reference a r)
Instance details Defined in Test.StateMachine.Types.References Methods compare ∷ Reference a r → Reference a r → Ordering # (<) ∷ Reference a r → Reference a r → Bool # (<=) ∷ Reference a r → Reference a r → Bool # (>) ∷ Reference a r → Reference a r → Bool # (>=) ∷ Reference a r → Reference a r → Bool # max ∷ Reference a r → Reference a r → Reference a r # min ∷ Reference a r → Reference a r → Reference a r #
type Rep (Reference a r)
Instance details Defined in Test.StateMachine.Types.References type Rep (Reference a r) = D1 ('MetaData "Reference" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.10.1-l-no-vendored-treediff-9c56f317a325dbbe37595d9004904f12ac69339378b0e81a114f568b2b0b66ef" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

data Symbolic a where Source #

Constructors

Symbolic ∷ ∀ a. Typeable a ⇒ Var → Symbolic a

Instances

Instances details

Eq1 Symbolic
Instance details Defined in Test.StateMachine.Types.References Methods liftEq ∷ (a → b → Bool) → Symbolic a → Symbolic b → Bool #
Ord1 Symbolic
Instance details Defined in Test.StateMachine.Types.References Methods liftCompare ∷ (a → b → Ordering) → Symbolic a → Symbolic b → Ordering #
Show1 Symbolic
Instance details Defined in Test.StateMachine.Types.References Methods liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → Symbolic a → ShowS # liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Symbolic a] → ShowS #
Typeable a ⇒ Read (Symbolic a)
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec ∷ Int → ReadS (Symbolic a) # readList ∷ ReadS [Symbolic a] # readPrec ∷ ReadPrec (Symbolic a) # readListPrec ∷ ReadPrec [Symbolic a] #
Show (Symbolic a)
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec ∷ Int → Symbolic a → ShowS # show ∷ Symbolic a → String # showList ∷ [Symbolic a] → ShowS #
Eq (Symbolic a)
Instance details Defined in Test.StateMachine.Types.References Methods (==) ∷ Symbolic a → Symbolic a → Bool # (/=) ∷ Symbolic a → Symbolic a → Bool #
Ord (Symbolic a)
Instance details Defined in Test.StateMachine.Types.References Methods compare ∷ Symbolic a → Symbolic a → Ordering # (<) ∷ Symbolic a → Symbolic a → Bool # (<=) ∷ Symbolic a → Symbolic a → Bool # (>) ∷ Symbolic a → Symbolic a → Bool # (>=) ∷ Symbolic a → Symbolic a → Bool # max ∷ Symbolic a → Symbolic a → Symbolic a # min ∷ Symbolic a → Symbolic a → Symbolic a #
Typeable a ⇒ Read (Reference a Symbolic)
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec ∷ Int → ReadS (Reference a Symbolic) # readList ∷ ReadS [Reference a Symbolic] # readPrec ∷ ReadPrec (Reference a Symbolic) # readListPrec ∷ ReadPrec [Reference a Symbolic] #

newtype Var Source #

Constructors

Var Int

Instances

Instances details

Generic Var
Instance details Defined in Test.StateMachine.Types.References Associated Types type Rep Var ∷ Type → Type # Methods from ∷ Var → Rep Var x # to ∷ Rep Var x → Var #
Read Var
Instance details Defined in Test.StateMachine.Types.References Methods readsPrec ∷ Int → ReadS Var # readList ∷ ReadS [Var] # readPrec ∷ ReadPrec Var # readListPrec ∷ ReadPrec [Var] #
Show Var
Instance details Defined in Test.StateMachine.Types.References Methods showsPrec ∷ Int → Var → ShowS # show ∷ Var → String # showList ∷ [Var] → ShowS #
Eq Var
Instance details Defined in Test.StateMachine.Types.References Methods (==) ∷ Var → Var → Bool # (/=) ∷ Var → Var → Bool #
Ord Var
Instance details Defined in Test.StateMachine.Types.References Methods compare ∷ Var → Var → Ordering # (<) ∷ Var → Var → Bool # (<=) ∷ Var → Var → Bool # (>) ∷ Var → Var → Bool # (>=) ∷ Var → Var → Bool # max ∷ Var → Var → Var # min ∷ Var → Var → Var #
type Rep Var
Instance details Defined in Test.StateMachine.Types.References type Rep Var = D1 ('MetaData "Var" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.10.1-l-no-vendored-treediff-9c56f317a325dbbe37595d9004904f12ac69339378b0e81a114f568b2b0b66ef" 'True) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

ChainDB.StateMachine re-exports

data Cmd blk it flr Source #

Commands

Constructors

AddBlock blk	Advance the current slot to the block's slot (unless smaller than the current slot), add the block and run chain selection.
GetCurrentChain
GetLedgerDB
GetTipBlock
GetTipHeader
GetTipPoint
GetBlockComponent (RealPoint blk)
GetGCedBlockComponent (RealPoint blk)	Only for blocks that may have been garbage collected.
GetMaxSlotNo
GetIsValid (RealPoint blk)
Stream (StreamFrom blk) (StreamTo blk)
UpdateLoE (AnchoredFragment blk)	Update the LoE fragment and run chain selection.
IteratorNext it
IteratorNextGCed it	Only for blocks that may have been garbage collected.
IteratorClose it
NewFollower ChainType
FollowerInstruction flr	`followerInstructionBlocking` is excluded, as it requires multiple threads. Its code path is pretty much the same as `followerInstruction` anyway.
FollowerForward flr [Point blk]
FollowerClose flr
Close
Reopen
PersistBlks	Copy the blocks older than `k` from the Volatile DB to the Immutable DB.
PersistBlksThenGC	Copy the blocks older than `k` from the Volatile DB to the Immutable DB and then perform garbage colllection. The garbage collection procedure of the Chain DB (our system under test) removes the blocks from the volatile DB without caring about whether the removed blocks were persisted. Therefore, this part of the Chain DB logic assumes that copy to the immutable DB took place before garbage collection. The model uses this assumption as well. As a result, we cannot perform garbage collection in isolation, since this will break the model's `invariant`.
UpdateLedgerSnapshots	Write a new `Success` snapshot to disk and remove the oldest ones.
WipeVolatileDB

Instances

Instances details

Bifoldable (Cmd blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bifold ∷ Monoid m ⇒ Cmd blk m m → m # bifoldMap ∷ Monoid m ⇒ (a → m) → (b → m) → Cmd blk a b → m # bifoldr ∷ (a → c → c) → (b → c → c) → c → Cmd blk a b → c # bifoldl ∷ (c → a → c) → (c → b → c) → c → Cmd blk a b → c #
Bifunctor (Cmd blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bimap ∷ (a → b) → (c → d) → Cmd blk a c → Cmd blk b d # first ∷ (a → b) → Cmd blk a c → Cmd blk b c # second ∷ (b → c) → Cmd blk a b → Cmd blk a c #
Bitraversable (Cmd blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bitraverse ∷ Applicative f ⇒ (a → f c) → (b → f d) → Cmd blk a b → f (Cmd blk c d) #
Foldable (Cmd blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fold ∷ Monoid m ⇒ Cmd blk it m → m # foldMap ∷ Monoid m ⇒ (a → m) → Cmd blk it a → m # foldMap' ∷ Monoid m ⇒ (a → m) → Cmd blk it a → m # foldr ∷ (a → b → b) → b → Cmd blk it a → b # foldr' ∷ (a → b → b) → b → Cmd blk it a → b # foldl ∷ (b → a → b) → b → Cmd blk it a → b # foldl' ∷ (b → a → b) → b → Cmd blk it a → b # foldr1 ∷ (a → a → a) → Cmd blk it a → a # foldl1 ∷ (a → a → a) → Cmd blk it a → a # toList ∷ Cmd blk it a → [a] # null ∷ Cmd blk it a → Bool # length ∷ Cmd blk it a → Int # elem ∷ Eq a ⇒ a → Cmd blk it a → Bool # maximum ∷ Ord a ⇒ Cmd blk it a → a # minimum ∷ Ord a ⇒ Cmd blk it a → a # sum ∷ Num a ⇒ Cmd blk it a → a # product ∷ Num a ⇒ Cmd blk it a → a #
Traversable (Cmd blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods traverse ∷ Applicative f ⇒ (a → f b) → Cmd blk it a → f (Cmd blk it b) # sequenceA ∷ Applicative f ⇒ Cmd blk it (f a) → f (Cmd blk it a) # mapM ∷ Monad m ⇒ (a → m b) → Cmd blk it a → m (Cmd blk it b) # sequence ∷ Monad m ⇒ Cmd blk it (m a) → m (Cmd blk it a) #
Functor (Cmd blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fmap ∷ (a → b) → Cmd blk it a → Cmd blk it b # (<$) ∷ a → Cmd blk it b → Cmd blk it a #
CommandNames (At Cmd blk m ∷ (Type → Type) → Type) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods cmdName ∷ ∀ (r ∷ k). At Cmd blk m r → String Source # cmdNames ∷ ∀ (r ∷ k). Proxy (At Cmd blk m r) → [String] Source #
Generic (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Associated Types type Rep (Cmd blk it flr) ∷ Type → Type # Methods from ∷ Cmd blk it flr → Rep (Cmd blk it flr) x # to ∷ Rep (Cmd blk it flr) x → Cmd blk it flr #
(StandardHash blk, Show blk, Show it, Show flr) ⇒ Show (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods showsPrec ∷ Int → Cmd blk it flr → ShowS # show ∷ Cmd blk it flr → String # showList ∷ [Cmd blk it flr] → ShowS #
Generic (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Associated Types type Code (Cmd blk it flr) ∷ [[Type]] Source # Methods from ∷ Cmd blk it flr → Rep (Cmd blk it flr) Source # to ∷ Rep (Cmd blk it flr) → Cmd blk it flr Source #
HasDatatypeInfo (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Associated Types type DatatypeInfoOf (Cmd blk it flr) ∷ DatatypeInfo Source # Methods datatypeInfo ∷ proxy (Cmd blk it flr) → DatatypeInfo (Code (Cmd blk it flr)) Source #
type Rep (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine type Rep (Cmd blk it flr) = D1 ('MetaData "Cmd" "Test.Ouroboros.Storage.ChainDB.StateMachine" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) ((((C1 ('MetaCons "AddBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 blk)) :+: (C1 ('MetaCons "GetCurrentChain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GetLedgerDB" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "GetTipBlock" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "GetTipHeader" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "GetTipPoint" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "GetBlockComponent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: (C1 ('MetaCons "GetGCedBlockComponent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons "GetMaxSlotNo" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "GetIsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))) :+: (C1 ('MetaCons "Stream" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamFrom blk)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StreamTo blk))) :+: C1 ('MetaCons "UpdateLoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredFragment blk))))))) :+: (((C1 ('MetaCons "IteratorNext" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 it)) :+: (C1 ('MetaCons "IteratorNextGCed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 it)) :+: C1 ('MetaCons "IteratorClose" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 it)))) :+: (C1 ('MetaCons "NewFollower" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainType)) :+: (C1 ('MetaCons "FollowerInstruction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 flr)) :+: C1 ('MetaCons "FollowerForward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 flr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Point blk]))))) :+: ((C1 ('MetaCons "FollowerClose" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 flr)) :+: (C1 ('MetaCons "Close" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Reopen" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "PersistBlks" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PersistBlksThenGC" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "UpdateLedgerSnapshots" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "WipeVolatileDB" 'PrefixI 'False) (U1 ∷ Type → Type))))))
type Code (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine type Code (Cmd blk it flr) = GCode (Cmd blk it flr)
type DatatypeInfoOf (Cmd blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine type DatatypeInfoOf (Cmd blk it flr) = GDatatypeInfoOf (Cmd blk it flr)

newtype Resp blk it flr Source #

Responses are either successful termination or an error.

Constructors

Resp
Fields getResp ∷ Either (ChainDbError blk) (Success blk it flr)

Instances

Instances details

Bifoldable (Resp blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bifold ∷ Monoid m ⇒ Resp blk m m → m # bifoldMap ∷ Monoid m ⇒ (a → m) → (b → m) → Resp blk a b → m # bifoldr ∷ (a → c → c) → (b → c → c) → c → Resp blk a b → c # bifoldl ∷ (c → a → c) → (c → b → c) → c → Resp blk a b → c #
Bifunctor (Resp blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bimap ∷ (a → b) → (c → d) → Resp blk a c → Resp blk b d # first ∷ (a → b) → Resp blk a c → Resp blk b c # second ∷ (b → c) → Resp blk a b → Resp blk a c #
Bitraversable (Resp blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bitraverse ∷ Applicative f ⇒ (a → f c) → (b → f d) → Resp blk a b → f (Resp blk c d) #
Foldable (Resp blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fold ∷ Monoid m ⇒ Resp blk it m → m # foldMap ∷ Monoid m ⇒ (a → m) → Resp blk it a → m # foldMap' ∷ Monoid m ⇒ (a → m) → Resp blk it a → m # foldr ∷ (a → b → b) → b → Resp blk it a → b # foldr' ∷ (a → b → b) → b → Resp blk it a → b # foldl ∷ (b → a → b) → b → Resp blk it a → b # foldl' ∷ (b → a → b) → b → Resp blk it a → b # foldr1 ∷ (a → a → a) → Resp blk it a → a # foldl1 ∷ (a → a → a) → Resp blk it a → a # toList ∷ Resp blk it a → [a] # null ∷ Resp blk it a → Bool # length ∷ Resp blk it a → Int # elem ∷ Eq a ⇒ a → Resp blk it a → Bool # maximum ∷ Ord a ⇒ Resp blk it a → a # minimum ∷ Ord a ⇒ Resp blk it a → a # sum ∷ Num a ⇒ Resp blk it a → a # product ∷ Num a ⇒ Resp blk it a → a #
Traversable (Resp blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods traverse ∷ Applicative f ⇒ (a → f b) → Resp blk it a → f (Resp blk it b) # sequenceA ∷ Applicative f ⇒ Resp blk it (f a) → f (Resp blk it a) # mapM ∷ Monad m ⇒ (a → m b) → Resp blk it a → m (Resp blk it b) # sequence ∷ Monad m ⇒ Resp blk it (m a) → m (Resp blk it a) #
Functor (Resp blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fmap ∷ (a → b) → Resp blk it a → Resp blk it b # (<$) ∷ a → Resp blk it b → Resp blk it a #
(TestConstraints blk, Show it, Show flr) ⇒ Show (Resp blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods showsPrec ∷ Int → Resp blk it flr → ShowS # show ∷ Resp blk it flr → String # showList ∷ [Resp blk it flr] → ShowS #
(TestConstraints blk, Eq it, Eq flr) ⇒ Eq (Resp blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods (==) ∷ Resp blk it flr → Resp blk it flr → Bool # (/=) ∷ Resp blk it flr → Resp blk it flr → Bool #
(TestConstraints blk, Eq1 r) ⇒ Eq (At Resp blk m r) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods (==) ∷ At Resp blk m r → At Resp blk m r → Bool # (/=) ∷ At Resp blk m r → At Resp blk m r → Bool #

data Success blk it flr Source #

Return type for successful database operations.

Constructors

Unit ()
Chain (AnchoredFragment (Header blk))
LedgerDB (LedgerDB (ExtLedgerState blk))
MbBlock (Maybe blk)
MbAllComponents (Maybe (AllComponents blk))
MbGCedAllComponents (MaybeGCedBlock (AllComponents blk))
MbHeader (Maybe (Header blk))
Point (Point blk)
IsValid IsValidResult
UnknownRange (UnknownRange blk)
Iter it
IterResult (IteratorResult blk (AllComponents blk))
IterResultGCed (IteratorResultGCed blk)
Flr flr
MbChainUpdate (Maybe (ChainUpdate blk (AllComponents blk)))
MbPoint (Maybe (Point blk))
MaxSlot MaxSlotNo

Instances

Instances details

Bifoldable (Success blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bifold ∷ Monoid m ⇒ Success blk m m → m # bifoldMap ∷ Monoid m ⇒ (a → m) → (b → m) → Success blk a b → m # bifoldr ∷ (a → c → c) → (b → c → c) → c → Success blk a b → c # bifoldl ∷ (c → a → c) → (c → b → c) → c → Success blk a b → c #
Bifunctor (Success blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bimap ∷ (a → b) → (c → d) → Success blk a c → Success blk b d # first ∷ (a → b) → Success blk a c → Success blk b c # second ∷ (b → c) → Success blk a b → Success blk a c #
Bitraversable (Success blk) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods bitraverse ∷ Applicative f ⇒ (a → f c) → (b → f d) → Success blk a b → f (Success blk c d) #
Foldable (Success blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fold ∷ Monoid m ⇒ Success blk it m → m # foldMap ∷ Monoid m ⇒ (a → m) → Success blk it a → m # foldMap' ∷ Monoid m ⇒ (a → m) → Success blk it a → m # foldr ∷ (a → b → b) → b → Success blk it a → b # foldr' ∷ (a → b → b) → b → Success blk it a → b # foldl ∷ (b → a → b) → b → Success blk it a → b # foldl' ∷ (b → a → b) → b → Success blk it a → b # foldr1 ∷ (a → a → a) → Success blk it a → a # foldl1 ∷ (a → a → a) → Success blk it a → a # toList ∷ Success blk it a → [a] # null ∷ Success blk it a → Bool # length ∷ Success blk it a → Int # elem ∷ Eq a ⇒ a → Success blk it a → Bool # maximum ∷ Ord a ⇒ Success blk it a → a # minimum ∷ Ord a ⇒ Success blk it a → a # sum ∷ Num a ⇒ Success blk it a → a # product ∷ Num a ⇒ Success blk it a → a #
Traversable (Success blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods traverse ∷ Applicative f ⇒ (a → f b) → Success blk it a → f (Success blk it b) # sequenceA ∷ Applicative f ⇒ Success blk it (f a) → f (Success blk it a) # mapM ∷ Monad m ⇒ (a → m b) → Success blk it a → m (Success blk it b) # sequence ∷ Monad m ⇒ Success blk it (m a) → m (Success blk it a) #
Functor (Success blk it) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods fmap ∷ (a → b) → Success blk it a → Success blk it b # (<$) ∷ a → Success blk it b → Success blk it a #
(TestConstraints blk, Show it, Show flr) ⇒ Show (Success blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods showsPrec ∷ Int → Success blk it flr → ShowS # show ∷ Success blk it flr → String # showList ∷ [Success blk it flr] → ShowS #
(TestConstraints blk, Eq it, Eq flr) ⇒ Eq (Success blk it flr) Source #
Instance details Defined in Test.Ouroboros.Storage.ChainDB.StateMachine Methods (==) ∷ Success blk it flr → Success blk it flr → Bool # (/=) ∷ Success blk it flr → Success blk it flr → Bool #

runCmdsLockstep ∷ LoE () → SmallChunkInfo → Commands (At Cmd Blk IO) (At Resp Blk IO) → Property Source #

Test packages re-exports

newtype ChainLength Source #

In chain selection, we use BlockNo as a proxy for the block length. This is entirely correct, except for those dreadful EBBs, which share their block number with their predecessor. So it is possible that two chains with the same BlockNo at the tip have a different length because the longer chain contains more EBBs than the shorter.

For example:

.. :> EBB (100, slotNo 10, blockNo 1) :> (400, slotNo 10, blockNo 2)
.. :> (999, slotNo 10, blockNo 2)

The chain selection for this TestBlock looks at the hashes in case of a BlockNo tie (after prefering the chain ending with an EBB) and will pick the block with the highest hash. This is to have a more deterministic chain selection (less implementation specific) which will keep the model better in sync with the implementation.

In the example above, that would mean picking the second chain, /even though it is shorter/! The implementation does not support switching to a shorter chain.

Note that this is not a problem for Byron, because we don't look at the hashes or anything else in case of a tie (we just prefer a chain ending with an EBB, which must be longer).

Note that is not a problem for Shelley either, where we do look at the certificate number and VRF hash in case of a tie, because there are no EBBs.

This is only an issue when: * There can be EBBs in the chain * In case of equal blockNos, we still prefer one over the other because of some additional condition.

Which is the case for this TestBlock.

To solve this, we store the real chain length inside the block. The only difference with the BlockNo is that ChainLength takes EBBs into account.

When there is BlockNo tie as in the example above and we would look at the hashes, we will first look at the ChainLength (and prefer the longest one). Only if that is equal do we actually look at the hashes. This guarantees that we never prefer a chain that is shorter.

NOTE: we start counting from 1 (unlike BlockNo, which starts from 0), because it corresponds to the length.

Constructors

ChainLength Int

Instances

Instances details

Enum ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods succ ∷ ChainLength → ChainLength # pred ∷ ChainLength → ChainLength # toEnum ∷ Int → ChainLength # fromEnum ∷ ChainLength → Int # enumFrom ∷ ChainLength → [ChainLength] # enumFromThen ∷ ChainLength → ChainLength → [ChainLength] # enumFromTo ∷ ChainLength → ChainLength → [ChainLength] # enumFromThenTo ∷ ChainLength → ChainLength → ChainLength → [ChainLength] #
Generic ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep ChainLength ∷ Type → Type # Methods from ∷ ChainLength → Rep ChainLength x # to ∷ Rep ChainLength x → ChainLength #
Show ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → ChainLength → ShowS # show ∷ ChainLength → String # showList ∷ [ChainLength] → ShowS #
Eq ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ ChainLength → ChainLength → Bool # (/=) ∷ ChainLength → ChainLength → Bool #
Ord ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods compare ∷ ChainLength → ChainLength → Ordering # (<) ∷ ChainLength → ChainLength → Bool # (<=) ∷ ChainLength → ChainLength → Bool # (>) ∷ ChainLength → ChainLength → Bool # (>=) ∷ ChainLength → ChainLength → Bool # max ∷ ChainLength → ChainLength → ChainLength # min ∷ ChainLength → ChainLength → ChainLength #
Hashable ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → ChainLength → Int Source # hash ∷ ChainLength → Int Source #
NoThunks ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → ChainLength → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainLength → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainLength → String Source #
Serialise ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ ChainLength → Encoding Source # decode ∷ Decoder s ChainLength Source # encodeList ∷ [ChainLength] → Encoding Source # decodeList ∷ Decoder s [ChainLength] Source #
ToExpr ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ ChainLength → Expr Source # listToExpr ∷ [ChainLength] → Expr Source #
type Rep ChainLength Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep ChainLength = D1 ('MetaData "ChainLength" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'True) (C1 ('MetaCons "ChainLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data EBB Source #

Strict variant of Maybe EpochNo

Constructors

EBB !EpochNo
RegularBlock

Instances

Instances details

Generic EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep EBB ∷ Type → Type # Methods from ∷ EBB → Rep EBB x # to ∷ Rep EBB x → EBB #
Show EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → EBB → ShowS # show ∷ EBB → String # showList ∷ [EBB] → ShowS #
Eq EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ EBB → EBB → Bool # (/=) ∷ EBB → EBB → Bool #
Hashable EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → EBB → Int Source # hash ∷ EBB → Int Source #
NoThunks EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → EBB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EBB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EBB → String Source #
Serialise EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ EBB → Encoding Source # decode ∷ Decoder s EBB Source # encodeList ∷ [EBB] → Encoding Source # decodeList ∷ Decoder s [EBB] Source #
ToExpr EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ EBB → Expr Source # listToExpr ∷ [EBB] → Expr Source #
type Rep EBB Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep EBB = D1 ('MetaData "EBB" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "EBB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "RegularBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

data SmallChunkInfo Source #

Constructors

SmallChunkInfo ChunkInfo

Instances

Instances details

Arbitrary SmallChunkInfo
Instance details Defined in Test.Util.ChunkInfo Methods arbitrary ∷ Gen SmallChunkInfo Source # shrink ∷ SmallChunkInfo → [SmallChunkInfo] Source #
Show SmallChunkInfo
Instance details Defined in Test.Util.ChunkInfo Methods showsPrec ∷ Int → SmallChunkInfo → ShowS # show ∷ SmallChunkInfo → String # showList ∷ [SmallChunkInfo] → ShowS #

data TestBlock Source #

Constructors

TestBlock
Fields testHeader ∷ !TestHeader testBody ∷ !TestBody

Instances

Instances details

Generic TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep TestBlock ∷ Type → Type # Methods from ∷ TestBlock → Rep TestBlock x # to ∷ Rep TestBlock x → TestBlock #
Show TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → TestBlock → ShowS # show ∷ TestBlock → String # showList ∷ [TestBlock] → ShowS #
Eq TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ TestBlock → TestBlock → Bool # (/=) ∷ TestBlock → TestBlock → Bool #
NoThunks TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TestBlock → String Source #
ConvertRawHash TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ByteString Source # fromRawHash ∷ proxy TestBlock → ByteString → HeaderHash TestBlock Source # toShortRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ShortByteString Source # fromShortRawHash ∷ proxy TestBlock → ShortByteString → HeaderHash TestBlock Source # hashSize ∷ proxy TestBlock → Word32 Source #
GetHeader TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getHeader ∷ TestBlock → Header TestBlock Source # blockMatchesHeader ∷ Header TestBlock → TestBlock → Bool Source # headerIsEBB ∷ Header TestBlock → Maybe EpochNo Source #
GetPrevHash TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods headerPrevHash ∷ Header TestBlock → ChainHash TestBlock Source #
BlockSupportsDiffusionPipelining TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type TentativeHeaderState TestBlock Source # type TentativeHeaderView TestBlock Source # Methods initialTentativeHeaderState ∷ Proxy TestBlock → TentativeHeaderState TestBlock Source # tentativeHeaderView ∷ BlockConfig TestBlock → Header TestBlock → TentativeHeaderView TestBlock Source # applyTentativeHeaderView ∷ Proxy TestBlock → TentativeHeaderView TestBlock → TentativeHeaderState TestBlock → Maybe (TentativeHeaderState TestBlock) Source #
BlockSupportsProtocol TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods validateView ∷ BlockConfig TestBlock → Header TestBlock → ValidateView (BlockProtocol TestBlock) Source # selectView ∷ BlockConfig TestBlock → Header TestBlock → SelectView (BlockProtocol TestBlock) Source # projectChainOrderConfig ∷ BlockConfig TestBlock → ChainOrderConfig (SelectView (BlockProtocol TestBlock)) Source #
HasHardForkHistory TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type HardForkIndices TestBlock ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig TestBlock → LedgerState TestBlock → Summary (HardForkIndices TestBlock) Source #
BasicEnvelopeValidation TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods expectedFirstBlockNo ∷ proxy TestBlock → BlockNo Source # expectedNextBlockNo ∷ proxy TestBlock → TipInfo TestBlock → TipInfo TestBlock → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy TestBlock → SlotNo Source # minimumNextSlotNo ∷ proxy TestBlock → TipInfo TestBlock → TipInfo TestBlock → SlotNo → SlotNo Source #
HasAnnTip TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type TipInfo TestBlock Source # Methods getTipInfo ∷ Header TestBlock → TipInfo TestBlock Source # tipInfoHash ∷ proxy TestBlock → TipInfo TestBlock → HeaderHash TestBlock Source #
ValidateEnvelope TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type OtherHeaderEnvelopeError TestBlock Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig TestBlock → LedgerView (BlockProtocol TestBlock) → Header TestBlock → Except (OtherHeaderEnvelopeError TestBlock) () Source #
UpdateLedger TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock
InspectLedger TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type LedgerWarning TestBlock Source # type LedgerUpdate TestBlock Source # Methods inspectLedger ∷ TopLevelConfig TestBlock → LedgerState TestBlock → LedgerState TestBlock → [LedgerEvent TestBlock] Source #
LedgerSupportsProtocol TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods protocolLedgerView ∷ LedgerConfig TestBlock → Ticked (LedgerState TestBlock) → LedgerView (BlockProtocol TestBlock) Source # ledgerViewForecastAt ∷ LedgerConfig TestBlock → LedgerState TestBlock → Forecast (LedgerView (BlockProtocol TestBlock)) Source #
SerialiseDiskConstraints TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock
HasBinaryBlockInfo TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getBinaryBlockInfo ∷ TestBlock → BinaryBlockInfo Source #
Condense TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods condense ∷ TestBlock → String Source #
ModelSupportsBlock TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock
HasHeader TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getHeaderFields ∷ TestBlock → HeaderFields TestBlock Source #
Serialise TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ TestBlock → Encoding Source # decode ∷ Decoder s TestBlock Source # encodeList ∷ [TestBlock] → Encoding Source # decodeList ∷ Decoder s [TestBlock] Source #
ToExpr TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TestBlock → Expr Source # listToExpr ∷ [TestBlock] → Expr Source #
HasNestedContent f TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods unnest ∷ f TestBlock → DepPair (NestedCtxt f TestBlock) Source # nest ∷ DepPair (NestedCtxt f TestBlock) → f TestBlock Source #
DecodeDisk TestBlock () Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s () Source #
EncodeDisk TestBlock TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → TestBlock → Encoding Source #
EncodeDisk TestBlock () Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → () → Encoding Source #
ReconstructNestedCtxt Header TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods reconstructPrefixLen ∷ proxy (Header TestBlock) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header TestBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) TestBlock Source #
StandardHash TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock
DecodeDisk TestBlock (AnnTip TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (AnnTip TestBlock) Source #
DecodeDisk TestBlock (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (LedgerState TestBlock) Source #
EncodeDisk TestBlock (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → Header TestBlock → Encoding Source #
EncodeDisk TestBlock (AnnTip TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → AnnTip TestBlock → Encoding Source #
EncodeDisk TestBlock (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDisk ∷ CodecConfig TestBlock → LedgerState TestBlock → Encoding Source #
DecodeDisk TestBlock (ByteString → Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Header TestBlock) Source #
DecodeDisk TestBlock (ByteString → TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → TestBlock) Source #
Generic (BlockConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep (BlockConfig TestBlock) ∷ Type → Type # Methods from ∷ BlockConfig TestBlock → Rep (BlockConfig TestBlock) x # to ∷ Rep (BlockConfig TestBlock) x → BlockConfig TestBlock #
Generic (CodecConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep (CodecConfig TestBlock) ∷ Type → Type # Methods from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x # to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #
Generic (StorageConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep (StorageConfig TestBlock) ∷ Type → Type # Methods from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x # to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #
Generic (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep (LedgerState TestBlock) ∷ Type → Type # Methods from ∷ LedgerState TestBlock → Rep (LedgerState TestBlock) x # to ∷ Rep (LedgerState TestBlock) x → LedgerState TestBlock #
Show (CodecConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → CodecConfig TestBlock → ShowS # show ∷ CodecConfig TestBlock → String # showList ∷ [CodecConfig TestBlock] → ShowS #
Show (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → Header TestBlock → ShowS # show ∷ Header TestBlock → String # showList ∷ [Header TestBlock] → ShowS #
Show (StorageConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → StorageConfig TestBlock → ShowS # show ∷ StorageConfig TestBlock → String # showList ∷ [StorageConfig TestBlock] → ShowS #
Show (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → LedgerState TestBlock → ShowS # show ∷ LedgerState TestBlock → String # showList ∷ [LedgerState TestBlock] → ShowS #
Eq (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ Header TestBlock → Header TestBlock → Bool # (/=) ∷ Header TestBlock → Header TestBlock → Bool #
Eq (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ LedgerState TestBlock → LedgerState TestBlock → Bool # (/=) ∷ LedgerState TestBlock → LedgerState TestBlock → Bool #
NoThunks (BlockConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #
NoThunks (CodecConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #
NoThunks (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header TestBlock) → String Source #
NoThunks (StorageConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #
NoThunks (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → LedgerState TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState TestBlock) → String Source #
GetTip (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getTip ∷ LedgerState TestBlock → Point (LedgerState TestBlock) Source #
GetTip (Ticked (LedgerState TestBlock)) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getTip ∷ Ticked (LedgerState TestBlock) → Point (Ticked (LedgerState TestBlock)) Source #
IsLedger (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type LedgerErr (LedgerState TestBlock) Source # type AuxLedgerEvent (LedgerState TestBlock) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState TestBlock) → SlotNo → LedgerState TestBlock → LedgerResult (LedgerState TestBlock) (Ticked (LedgerState TestBlock)) Source #
SignedHeader (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods headerSigned ∷ Header TestBlock → Signed (Header TestBlock) Source #
HasHeader (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods getHeaderFields ∷ Header TestBlock → HeaderFields (Header TestBlock) Source #
Serialise (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ Header TestBlock → Encoding Source # decode ∷ Decoder s (Header TestBlock) Source # encodeList ∷ [Header TestBlock] → Encoding Source # decodeList ∷ Decoder s [Header TestBlock] Source #
Serialise (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ LedgerState TestBlock → Encoding Source # decode ∷ Decoder s (LedgerState TestBlock) Source # encodeList ∷ [LedgerState TestBlock] → Encoding Source # decodeList ∷ Decoder s [LedgerState TestBlock] Source #
ToExpr (CodecConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ CodecConfig TestBlock → Expr Source # listToExpr ∷ [CodecConfig TestBlock] → Expr Source #
ToExpr (HeaderEnvelopeError TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ HeaderEnvelopeError TestBlock → Expr Source # listToExpr ∷ [HeaderEnvelopeError TestBlock] → Expr Source #
ToExpr (HeaderError TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ HeaderError TestBlock → Expr Source # listToExpr ∷ [HeaderError TestBlock] → Expr Source #
ToExpr (TipInfoIsEBB TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TipInfoIsEBB TestBlock → Expr Source # listToExpr ∷ [TipInfoIsEBB TestBlock] → Expr Source #
ToExpr (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ LedgerState TestBlock → Expr Source # listToExpr ∷ [LedgerState TestBlock] → Expr Source #
ToExpr (ExtValidationError TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ ExtValidationError TestBlock → Expr Source # listToExpr ∷ [ExtValidationError TestBlock] → Expr Source #
ToExpr (Tip TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ Tip TestBlock → Expr Source # listToExpr ∷ [Tip TestBlock] → Expr Source #
ToExpr (DBModel TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.ImmutableDB.Model Methods toExpr ∷ DBModel TestBlock → Expr Source # listToExpr ∷ [DBModel TestBlock] → Expr Source #
ToExpr (InSlot TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.ImmutableDB.Model Methods toExpr ∷ InSlot TestBlock → Expr Source # listToExpr ∷ [InSlot TestBlock] → Expr Source #
ToExpr (IteratorModel TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.ImmutableDB.Model Methods toExpr ∷ IteratorModel TestBlock → Expr Source # listToExpr ∷ [IteratorModel TestBlock] → Expr Source #
ApplyBlock (LedgerState TestBlock) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState TestBlock) → TestBlock → Ticked (LedgerState TestBlock) → Except (LedgerErr (LedgerState TestBlock)) (LedgerResult (LedgerState TestBlock) (LedgerState TestBlock)) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState TestBlock) → TestBlock → Ticked (LedgerState TestBlock) → LedgerResult (LedgerState TestBlock) (LedgerState TestBlock) Source #
DecodeDiskDep (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDepIx (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods decodeDiskDepIx ∷ CodecConfig TestBlock → Decoder s (SomeSecond (NestedCtxt Header) TestBlock) Source #
EncodeDiskDep (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → a → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encodeDiskDepIx ∷ CodecConfig TestBlock → SomeSecond (NestedCtxt Header) TestBlock → Encoding Source #
SameDepIndex (NestedCtxt_ TestBlock f) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods sameDepIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → Maybe (a :~: b) Source #
TrivialDependency (NestedCtxt_ TestBlock f) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type TrivialIndex (NestedCtxt_ TestBlock f) Source # Methods hasSingleIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ TestBlock f (TrivialIndex (NestedCtxt_ TestBlock f)) Source #
Show (NestedCtxt_ TestBlock f a) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ TestBlock f a → ShowS # show ∷ NestedCtxt_ TestBlock f a → String # showList ∷ [NestedCtxt_ TestBlock f a] → ShowS #
type Rep TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestBlock = D1 ('MetaData "TestBlock" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "testHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHeader) :*: S1 ('MetaSel ('Just "testBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBody)))
data BlockConfig TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock data BlockConfig TestBlock = TestBlockConfig { testBlockEBBsAllowed ∷ !Bool testBlockNumCoreNodes ∷ !NumCoreNodes }
type BlockProtocol TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type BlockProtocol TestBlock
data CodecConfig TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock data CodecConfig TestBlock = TestBlockCodecConfig
newtype Header TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock newtype Header TestBlock = TestHeader' { unTestHeader ∷ TestHeader }
data StorageConfig TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock data StorageConfig TestBlock = TestBlockStorageConfig
data NestedCtxt_ TestBlock f a Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock data NestedCtxt_ TestBlock f a where CtxtTestBlock ∷ ∀ (f ∷ Type → Type). NestedCtxt_ TestBlock f (f TestBlock)
type TentativeHeaderState TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TentativeHeaderState TestBlock = TentativeHeaderState (SelectViewDiffusionPipelining TestBlock)
type TentativeHeaderView TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TentativeHeaderView TestBlock = TentativeHeaderView (SelectViewDiffusionPipelining TestBlock)
type HardForkIndices TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type HardForkIndices TestBlock = '[TestBlock]
type OtherHeaderEnvelopeError TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type OtherHeaderEnvelopeError TestBlock = TestBlockOtherHeaderEnvelopeError
type TipInfo TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TipInfo TestBlock = TipInfoIsEBB TestBlock
data LedgerState TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock data LedgerState TestBlock = TestLedger { lastAppliedPoint ∷ !(Point TestBlock) lastAppliedHash ∷ !(ChainHash TestBlock) }
type LedgerUpdate TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerUpdate TestBlock = Void
type LedgerWarning TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerWarning TestBlock = Void
type HeaderHash TestBlock Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type HeaderHash TestBlock = TestHeaderHash
type Rep (BlockConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))
type Rep (CodecConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (StorageConfig TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (LedgerState TestBlock) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point TestBlock)) :*: S1 ('MetaSel ('Just "lastAppliedHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestBlock))))
type AuxLedgerEvent (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type AuxLedgerEvent (LedgerState TestBlock) = VoidLedgerEvent (LedgerState TestBlock)
type LedgerCfg (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerCfg (LedgerState TestBlock) = EraParams
type LedgerErr (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerErr (LedgerState TestBlock) = TestBlockError
type Signed (Header TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Signed (Header TestBlock) = ()
newtype Ticked (LedgerState TestBlock) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock newtype Ticked (LedgerState TestBlock) = TickedTestLedger { getTickedTestLedger ∷ LedgerState TestBlock }
type TrivialIndex (NestedCtxt_ TestBlock f) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TrivialIndex (NestedCtxt_ TestBlock f) = f TestBlock

data TestBody Source #

Constructors

TestBody

Fields

tbForkNo ∷ !Word
If we don't have something that can vary per block, we're not generating forks, except when skipping slots. For example, when we want to have multiple different valid successor blocks created in the same slot, all fields in the header and body will be the same. Consequently, the hashes will also be the same, so we don't have different blocks after all. By using a different tbForkNo for each block, we have different bodies, and thus different hashes.
Note that this is a local number, it is specific to this block, other blocks need not be aware of it.
tbIsValid ∷ !Bool

Instances

Instances details

Generic TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep TestBody ∷ Type → Type # Methods from ∷ TestBody → Rep TestBody x # to ∷ Rep TestBody x → TestBody #
Show TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → TestBody → ShowS # show ∷ TestBody → String # showList ∷ [TestBody] → ShowS #
Eq TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ TestBody → TestBody → Bool # (/=) ∷ TestBody → TestBody → Bool #
Hashable TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → TestBody → Int Source # hash ∷ TestBody → Int Source #
NoThunks TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → TestBody → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TestBody → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TestBody → String Source #
Serialise TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ TestBody → Encoding Source # decode ∷ Decoder s TestBody Source # encodeList ∷ [TestBody] → Encoding Source # decodeList ∷ Decoder s [TestBody] Source #
ToExpr TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TestBody → Expr Source # listToExpr ∷ [TestBody] → Expr Source #
type Rep TestBody Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestBody = D1 ('MetaData "TestBody" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "tbForkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: S1 ('MetaSel ('Just "tbIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))

newtype TestBodyHash Source #

Hash of a TestBody

Constructors

TestBodyHash Int

Instances

Instances details

Generic TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep TestBodyHash ∷ Type → Type # Methods from ∷ TestBodyHash → Rep TestBodyHash x # to ∷ Rep TestBodyHash x → TestBodyHash #
Show TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → TestBodyHash → ShowS # show ∷ TestBodyHash → String # showList ∷ [TestBodyHash] → ShowS #
Eq TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ TestBodyHash → TestBodyHash → Bool # (/=) ∷ TestBodyHash → TestBodyHash → Bool #
Ord TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods compare ∷ TestBodyHash → TestBodyHash → Ordering # (<) ∷ TestBodyHash → TestBodyHash → Bool # (<=) ∷ TestBodyHash → TestBodyHash → Bool # (>) ∷ TestBodyHash → TestBodyHash → Bool # (>=) ∷ TestBodyHash → TestBodyHash → Bool # max ∷ TestBodyHash → TestBodyHash → TestBodyHash # min ∷ TestBodyHash → TestBodyHash → TestBodyHash #
Hashable TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → TestBodyHash → Int Source # hash ∷ TestBodyHash → Int Source #
NoThunks TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → TestBodyHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TestBodyHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TestBodyHash → String Source #
Condense TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods condense ∷ TestBodyHash → String Source #
Serialise TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ TestBodyHash → Encoding Source # decode ∷ Decoder s TestBodyHash Source # encodeList ∷ [TestBodyHash] → Encoding Source # decodeList ∷ Decoder s [TestBodyHash] Source #
ToExpr TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TestBodyHash → Expr Source # listToExpr ∷ [TestBodyHash] → Expr Source #
type Rep TestBodyHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestBodyHash = D1 ('MetaData "TestBodyHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'True) (C1 ('MetaCons "TestBodyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data TestHeader Source #

Constructors

TestHeader

Fields

thHash ∷ HeaderHash TestHeader
Not included in the calculation of the hash of the TestHeader, i.e., in its own value, which would be pretty hard to do.
Note the absence of a bang: this field caches the TestHeaders hash. To calculate it, the TestHeader is passed to the hashing function, even though the field is not read, making the field strict would create an infinite loop.
thPrevHash ∷ !(ChainHash TestHeader)
thBodyHash ∷ !TestBodyHash
thSlotNo ∷ !SlotNo
thBlockNo ∷ !BlockNo
thChainLength ∷ !ChainLength
thIsEBB ∷ !EBB

Instances

Instances details

Generic TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep TestHeader ∷ Type → Type # Methods from ∷ TestHeader → Rep TestHeader x # to ∷ Rep TestHeader x → TestHeader #
Show TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → TestHeader → ShowS # show ∷ TestHeader → String # showList ∷ [TestHeader] → ShowS #
Eq TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ TestHeader → TestHeader → Bool # (/=) ∷ TestHeader → TestHeader → Bool #
NoThunks TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → TestHeader → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TestHeader → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TestHeader → String Source #
Condense TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods condense ∷ TestHeader → String Source #
Serialise TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ TestHeader → Encoding Source # decode ∷ Decoder s TestHeader Source # encodeList ∷ [TestHeader] → Encoding Source # decodeList ∷ Decoder s [TestHeader] Source #
ToExpr TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TestHeader → Expr Source # listToExpr ∷ [TestHeader] → Expr Source #
StandardHash TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock
type Rep TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestHeader = D1 ('MetaData "TestHeader" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'False) (C1 ('MetaCons "TestHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "thHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash TestHeader)) :: (S1 ('MetaSel ('Just "thPrevHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestHeader)) :: S1 ('MetaSel ('Just "thBodyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBodyHash))) :: ((S1 ('MetaSel ('Just "thSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :: S1 ('MetaSel ('Just "thBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo)) :: (S1 ('MetaSel ('Just "thChainLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainLength) :: S1 ('MetaSel ('Just "thIsEBB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EBB)))))
type HeaderHash TestHeader Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type HeaderHash TestHeader = TestHeaderHash

newtype TestHeaderHash Source #

Hash of a TestHeader

Constructors

TestHeaderHash Int

Instances

Instances details

Generic TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Associated Types type Rep TestHeaderHash ∷ Type → Type # Methods from ∷ TestHeaderHash → Rep TestHeaderHash x # to ∷ Rep TestHeaderHash x → TestHeaderHash #
Show TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → TestHeaderHash → ShowS # show ∷ TestHeaderHash → String # showList ∷ [TestHeaderHash] → ShowS #
Binary TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods put ∷ TestHeaderHash → Put # get ∷ Get TestHeaderHash # putList ∷ [TestHeaderHash] → Put #
Eq TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods (==) ∷ TestHeaderHash → TestHeaderHash → Bool # (/=) ∷ TestHeaderHash → TestHeaderHash → Bool #
Ord TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods compare ∷ TestHeaderHash → TestHeaderHash → Ordering # (<) ∷ TestHeaderHash → TestHeaderHash → Bool # (<=) ∷ TestHeaderHash → TestHeaderHash → Bool # (>) ∷ TestHeaderHash → TestHeaderHash → Bool # (>=) ∷ TestHeaderHash → TestHeaderHash → Bool # max ∷ TestHeaderHash → TestHeaderHash → TestHeaderHash # min ∷ TestHeaderHash → TestHeaderHash → TestHeaderHash #
Hashable TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → TestHeaderHash → Int Source # hash ∷ TestHeaderHash → Int Source #
NoThunks TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods noThunks ∷ Context → TestHeaderHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TestHeaderHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TestHeaderHash → String Source #
Condense TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods condense ∷ TestHeaderHash → String Source #
Serialise TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods encode ∷ TestHeaderHash → Encoding Source # decode ∷ Decoder s TestHeaderHash Source # encodeList ∷ [TestHeaderHash] → Encoding Source # decodeList ∷ Decoder s [TestHeaderHash] Source #
ToExpr TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods toExpr ∷ TestHeaderHash → Expr Source # listToExpr ∷ [TestHeaderHash] → Expr Source #
type Rep TestHeaderHash Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep TestHeaderHash = D1 ('MetaData "TestHeaderHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-0.21.0.0-inplace-storage-test" 'True) (C1 ('MetaCons "TestHeaderHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Ouroboros consensus re-exports

data Block slot hash Source #

Constructors

Block
Fields blockPointSlot ∷ !slot blockPointHash ∷ !hash

Instances

Instances details

Generic (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Associated Types type Rep (Block slot hash) ∷ Type → Type # Methods from ∷ Block slot hash → Rep (Block slot hash) x # to ∷ Rep (Block slot hash) x → Block slot hash #
(Show slot, Show hash) ⇒ Show (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Methods showsPrec ∷ Int → Block slot hash → ShowS # show ∷ Block slot hash → String # showList ∷ [Block slot hash] → ShowS #
(Eq slot, Eq hash) ⇒ Eq (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Methods (==) ∷ Block slot hash → Block slot hash → Bool # (/=) ∷ Block slot hash → Block slot hash → Bool #
(Ord slot, Ord hash) ⇒ Ord (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Methods compare ∷ Block slot hash → Block slot hash → Ordering # (<) ∷ Block slot hash → Block slot hash → Bool # (<=) ∷ Block slot hash → Block slot hash → Bool # (>) ∷ Block slot hash → Block slot hash → Bool # (>=) ∷ Block slot hash → Block slot hash → Bool # max ∷ Block slot hash → Block slot hash → Block slot hash # min ∷ Block slot hash → Block slot hash → Block slot hash #
(NoThunks slot, NoThunks hash) ⇒ NoThunks (Block slot hash)
Instance details Defined in Ouroboros.Network.Point Methods noThunks ∷ Context → Block slot hash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Block slot hash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Block slot hash) → String Source #
type Rep (Block slot hash)
Instance details Defined in Ouroboros.Network.Point type Rep (Block slot hash) = D1 ('MetaData "Block" "Ouroboros.Network.Point" "ouroboros-network-api-0.11.0.0-51203573fcfcfd3b2c06491320742b9da13f8f293bfcf4fc69f087b3c7b975f1" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockPointSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 slot) :*: S1 ('MetaSel ('Just "blockPointHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hash)))

newtype BlockNo Source #

The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.

Constructors

BlockNo
Fields unBlockNo ∷ Word64

Instances

Instances details

FromJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods parseJSON ∷ Value → Parser BlockNo Source # parseJSONList ∷ Value → Parser [BlockNo] Source # omittedField ∷ Maybe BlockNo Source #
ToJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toJSON ∷ BlockNo → Value Source # toEncoding ∷ BlockNo → Encoding Source # toJSONList ∷ [BlockNo] → Value Source # toEncodingList ∷ [BlockNo] → Encoding Source # omitField ∷ BlockNo → Bool Source #
Bounded BlockNo
Instance details Defined in Cardano.Slotting.Block Methods minBound ∷ BlockNo # maxBound ∷ BlockNo #
Enum BlockNo
Instance details Defined in Cardano.Slotting.Block Methods succ ∷ BlockNo → BlockNo # pred ∷ BlockNo → BlockNo # toEnum ∷ Int → BlockNo # fromEnum ∷ BlockNo → Int # enumFrom ∷ BlockNo → [BlockNo] # enumFromThen ∷ BlockNo → BlockNo → [BlockNo] # enumFromTo ∷ BlockNo → BlockNo → [BlockNo] # enumFromThenTo ∷ BlockNo → BlockNo → BlockNo → [BlockNo] #
Generic BlockNo
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo ∷ Type → Type # Methods from ∷ BlockNo → Rep BlockNo x # to ∷ Rep BlockNo x → BlockNo #
Num BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (+) ∷ BlockNo → BlockNo → BlockNo # (-) ∷ BlockNo → BlockNo → BlockNo # (*) ∷ BlockNo → BlockNo → BlockNo # negate ∷ BlockNo → BlockNo # abs ∷ BlockNo → BlockNo # signum ∷ BlockNo → BlockNo # fromInteger ∷ Integer → BlockNo #
Show BlockNo
Instance details Defined in Cardano.Slotting.Block Methods showsPrec ∷ Int → BlockNo → ShowS # show ∷ BlockNo → String # showList ∷ [BlockNo] → ShowS #
FromCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR ∷ Decoder s BlockNo Source # label ∷ Proxy BlockNo → Text Source #
ToCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toCBOR ∷ BlockNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BlockNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BlockNo] → Size Source #
NFData BlockNo
Instance details Defined in Cardano.Slotting.Block Methods rnf ∷ BlockNo → () #
Eq BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (==) ∷ BlockNo → BlockNo → Bool # (/=) ∷ BlockNo → BlockNo → Bool #
Ord BlockNo
Instance details Defined in Cardano.Slotting.Block Methods compare ∷ BlockNo → BlockNo → Ordering # (<) ∷ BlockNo → BlockNo → Bool # (<=) ∷ BlockNo → BlockNo → Bool # (>) ∷ BlockNo → BlockNo → Bool # (>=) ∷ BlockNo → BlockNo → Bool # max ∷ BlockNo → BlockNo → BlockNo # min ∷ BlockNo → BlockNo → BlockNo #
Hashable BlockNo Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → BlockNo → Int Source # hash ∷ BlockNo → Int Source #
NoThunks BlockNo
Instance details Defined in Cardano.Slotting.Block Methods noThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockNo → String Source #
ChainOrder BlockNo
Instance details Defined in Ouroboros.Consensus.Protocol.Abstract Associated Types type ChainOrderConfig BlockNo Source # Methods preferCandidate ∷ ChainOrderConfig BlockNo → BlockNo → BlockNo → Bool Source #
Condense BlockNo
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ BlockNo → String Source #
Serialise BlockNo
Instance details Defined in Cardano.Slotting.Block Methods encode ∷ BlockNo → Encoding Source # decode ∷ Decoder s BlockNo Source # encodeList ∷ [BlockNo] → Encoding Source # decodeList ∷ Decoder s [BlockNo] Source #
type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.0.0-9a23f79e0e302e2ea8ebe3129d51bc2e49a139397f4b8d2bbe15b983bdf6811e" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
type ChainOrderConfig BlockNo
Instance details Defined in Ouroboros.Consensus.Protocol.Abstract type ChainOrderConfig BlockNo = ChainOrderConfig (SimpleChainOrder BlockNo)

data ChainHash (b ∷ k) Source #

Constructors

GenesisHash
BlockHash !(HeaderHash b)

Instances

Instances details

Generic (ChainHash b)
Instance details Defined in Ouroboros.Network.Block Associated Types type Rep (ChainHash b) ∷ Type → Type # Methods from ∷ ChainHash b → Rep (ChainHash b) x # to ∷ Rep (ChainHash b) x → ChainHash b #
StandardHash block ⇒ Show (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec ∷ Int → ChainHash block → ShowS # show ∷ ChainHash block → String # showList ∷ [ChainHash block] → ShowS #
StandardHash block ⇒ Eq (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods (==) ∷ ChainHash block → ChainHash block → Bool # (/=) ∷ ChainHash block → ChainHash block → Bool #
StandardHash block ⇒ Ord (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods compare ∷ ChainHash block → ChainHash block → Ordering # (<) ∷ ChainHash block → ChainHash block → Bool # (<=) ∷ ChainHash block → ChainHash block → Bool # (>) ∷ ChainHash block → ChainHash block → Bool # (>=) ∷ ChainHash block → ChainHash block → Bool # max ∷ ChainHash block → ChainHash block → ChainHash block # min ∷ ChainHash block → ChainHash block → ChainHash block #
(StandardHash b, Hashable (HeaderHash b)) ⇒ Hashable (ChainHash b) Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → ChainHash b → Int Source # hash ∷ ChainHash b → Int Source #
(StandardHash block, Typeable block) ⇒ NoThunks (ChainHash block)
Instance details Defined in Ouroboros.Network.Block Methods noThunks ∷ Context → ChainHash block → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainHash block → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ChainHash block) → String Source #
Condense (ChainHash (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods condense ∷ ChainHash (TestBlockWith ptype) → String Source #
Condense (HeaderHash b) ⇒ Condense (ChainHash b)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ ChainHash b → String Source #
Serialise (HeaderHash b) ⇒ Serialise (ChainHash b)
Instance details Defined in Ouroboros.Network.Block Methods encode ∷ ChainHash b → Encoding Source # decode ∷ Decoder s (ChainHash b) Source # encodeList ∷ [ChainHash b] → Encoding Source # decodeList ∷ Decoder s [ChainHash b] Source #
type Rep (ChainHash b)
Instance details Defined in Ouroboros.Network.Block type Rep (ChainHash b) = D1 ('MetaData "ChainHash" "Ouroboros.Network.Block" "ouroboros-network-api-0.11.0.0-51203573fcfcfd3b2c06491320742b9da13f8f293bfcf4fc69f087b3c7b975f1" 'False) (C1 ('MetaCons "GenesisHash" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BlockHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash b))))

data ChainType Source #

Chain type

Followers can choose to track changes to the "normal" SelectedChain, or track the TentativeChain, which might contain a pipelineable header at the tip.

Constructors

TentativeChain

Instances

Instances details

Generic ChainType
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Associated Types type Rep ChainType ∷ Type → Type # Methods from ∷ ChainType → Rep ChainType x # to ∷ Rep ChainType x → ChainType #
Show ChainType
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Methods showsPrec ∷ Int → ChainType → ShowS # show ∷ ChainType → String # showList ∷ [ChainType] → ShowS #
Eq ChainType
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API Methods (==) ∷ ChainType → ChainType → Bool # (/=) ∷ ChainType → ChainType → Bool #
type Rep ChainType
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API type Rep ChainType = D1 ('MetaData "ChainType" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-0.21.0.0-inplace" 'False) (C1 ('MetaCons "SelectedChain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TentativeChain" 'PrefixI 'False) (U1 ∷ Type → Type))

data ChainUpdate (block ∷ k) a Source #

A representation of two actions to update a chain: add a block or roll back to a previous point.

The type parameter a is there to allow a Functor instance. Typically, it will be instantiated with block itself.

Constructors

RollBack (Point block)

Instances

Instances details

Foldable (ChainUpdate block)
Instance details Defined in Ouroboros.Network.Block Methods fold ∷ Monoid m ⇒ ChainUpdate block m → m # foldMap ∷ Monoid m ⇒ (a → m) → ChainUpdate block a → m # foldMap' ∷ Monoid m ⇒ (a → m) → ChainUpdate block a → m # foldr ∷ (a → b → b) → b → ChainUpdate block a → b # foldr' ∷ (a → b → b) → b → ChainUpdate block a → b # foldl ∷ (b → a → b) → b → ChainUpdate block a → b # foldl' ∷ (b → a → b) → b → ChainUpdate block a → b # foldr1 ∷ (a → a → a) → ChainUpdate block a → a # foldl1 ∷ (a → a → a) → ChainUpdate block a → a # toList ∷ ChainUpdate block a → [a] # null ∷ ChainUpdate block a → Bool # length ∷ ChainUpdate block a → Int # elem ∷ Eq a ⇒ a → ChainUpdate block a → Bool # maximum ∷ Ord a ⇒ ChainUpdate block a → a # minimum ∷ Ord a ⇒ ChainUpdate block a → a # sum ∷ Num a ⇒ ChainUpdate block a → a # product ∷ Num a ⇒ ChainUpdate block a → a #
Traversable (ChainUpdate block)
Instance details Defined in Ouroboros.Network.Block Methods traverse ∷ Applicative f ⇒ (a → f b) → ChainUpdate block a → f (ChainUpdate block b) # sequenceA ∷ Applicative f ⇒ ChainUpdate block (f a) → f (ChainUpdate block a) # mapM ∷ Monad m ⇒ (a → m b) → ChainUpdate block a → m (ChainUpdate block b) # sequence ∷ Monad m ⇒ ChainUpdate block (m a) → m (ChainUpdate block a) #
Functor (ChainUpdate block)
Instance details Defined in Ouroboros.Network.Block Methods fmap ∷ (a → b) → ChainUpdate block a → ChainUpdate block b # (<$) ∷ a → ChainUpdate block b → ChainUpdate block a #
(StandardHash block, Show a) ⇒ Show (ChainUpdate block a)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec ∷ Int → ChainUpdate block a → ShowS # show ∷ ChainUpdate block a → String # showList ∷ [ChainUpdate block a] → ShowS #
(StandardHash block, Eq a) ⇒ Eq (ChainUpdate block a)
Instance details Defined in Ouroboros.Network.Block Methods (==) ∷ ChainUpdate block a → ChainUpdate block a → Bool # (/=) ∷ ChainUpdate block a → ChainUpdate block a → Bool #

data ChunkInfo Source #

Size of the chunks of the immutable DB

This is the key data structure that drives all layout functions.

TODO: Add support for non-uniform ChunkInfo https://github.com/IntersectMBO/ouroboros-network/issues/1754

Constructors

UniformChunkSize !ChunkSize

A single, uniform, chunk size

If EBBs are present, the chunk size must line up precisely with the epoch size (that is, the number of regular blocks in the chunk must equal the number of regular blocks in an epoch).

Instances

Instances details

Generic ChunkInfo
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Associated Types type Rep ChunkInfo ∷ Type → Type # Methods from ∷ ChunkInfo → Rep ChunkInfo x # to ∷ Rep ChunkInfo x → ChunkInfo #
Show ChunkInfo
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods showsPrec ∷ Int → ChunkInfo → ShowS # show ∷ ChunkInfo → String # showList ∷ [ChunkInfo] → ShowS #
NoThunks ChunkInfo
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → ChunkInfo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkInfo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkInfo → String Source #
type Rep ChunkInfo
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal type Rep ChunkInfo = D1 ('MetaData "ChunkInfo" "Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal" "ouroboros-consensus-0.21.0.0-inplace" 'False) (C1 ('MetaCons "UniformChunkSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChunkSize)))

data ChunkSize Source #

Size of a chunk

The total number of slots available in a chunk is equal to numRegularBlocks if not chunkCanContainEBB, and numRegularBlocks + 1 otherwise.

Constructors

ChunkSize
Fields chunkCanContainEBB ∷ !Bool Does this chunk also accomodate an EBB? numRegularBlocks ∷ !Word64 The number of regular blocks in this chunk

Instances

Instances details

Generic ChunkSize
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Associated Types type Rep ChunkSize ∷ Type → Type # Methods from ∷ ChunkSize → Rep ChunkSize x # to ∷ Rep ChunkSize x → ChunkSize #
Show ChunkSize
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods showsPrec ∷ Int → ChunkSize → ShowS # show ∷ ChunkSize → String # showList ∷ [ChunkSize] → ShowS #
NoThunks ChunkSize
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal Methods noThunks ∷ Context → ChunkSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChunkSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChunkSize → String Source #
type Rep ChunkSize
Instance details Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal type Rep ChunkSize = D1 ('MetaData "ChunkSize" "Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal" "ouroboros-consensus-0.21.0.0-inplace" 'False) (C1 ('MetaCons "ChunkSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "chunkCanContainEBB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "numRegularBlocks") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo Word64

Instances

Instances details

FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochNo Source # parseJSONList ∷ Value → Parser [EpochNo] Source # omittedField ∷ Maybe EpochNo Source #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochNo → Value Source # toEncoding ∷ EpochNo → Encoding Source # toJSONList ∷ [EpochNo] → Value Source # toEncodingList ∷ [EpochNo] → Encoding Source # omitField ∷ EpochNo → Bool Source #
Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochNo → EpochNo # pred ∷ EpochNo → EpochNo # toEnum ∷ Int → EpochNo # fromEnum ∷ EpochNo → Int # enumFrom ∷ EpochNo → [EpochNo] # enumFromThen ∷ EpochNo → EpochNo → [EpochNo] # enumFromTo ∷ EpochNo → EpochNo → [EpochNo] # enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type # Methods from ∷ EpochNo → Rep EpochNo x # to ∷ Rep EpochNo x → EpochNo #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS # show ∷ EpochNo → String # showList ∷ [EpochNo] → ShowS #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo Source # label ∷ Proxy EpochNo → Text Source #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size Source #
NFData EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochNo → () #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool # (/=) ∷ EpochNo → EpochNo → Bool #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochNo → EpochNo → Ordering # (<) ∷ EpochNo → EpochNo → Bool # (<=) ∷ EpochNo → EpochNo → Bool # (>) ∷ EpochNo → EpochNo → Bool # (>=) ∷ EpochNo → EpochNo → Bool # max ∷ EpochNo → EpochNo → EpochNo # min ∷ EpochNo → EpochNo → EpochNo #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochNo → String Source #
Condense EpochNo
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ EpochNo → String Source #
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ EpochNo → Encoding Source # decode ∷ Decoder s EpochNo Source # encodeList ∷ [EpochNo] → Encoding Source # decodeList ∷ Decoder s [EpochNo] Source #
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-9a23f79e0e302e2ea8ebe3129d51bc2e49a139397f4b8d2bbe15b983bdf6811e" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo ∷ Word64

Instances

Instances details

FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser SlotNo Source # parseJSONList ∷ Value → Parser [SlotNo] Source # omittedField ∷ Maybe SlotNo Source #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ SlotNo → Value Source # toEncoding ∷ SlotNo → Encoding Source # toJSONList ∷ [SlotNo] → Value Source # toEncodingList ∷ [SlotNo] → Encoding Source # omitField ∷ SlotNo → Bool Source #
Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound ∷ SlotNo # maxBound ∷ SlotNo #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ SlotNo → SlotNo # pred ∷ SlotNo → SlotNo # toEnum ∷ Int → SlotNo # fromEnum ∷ SlotNo → Int # enumFrom ∷ SlotNo → [SlotNo] # enumFromThen ∷ SlotNo → SlotNo → [SlotNo] # enumFromTo ∷ SlotNo → SlotNo → [SlotNo] # enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo] #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo ∷ Type → Type # Methods from ∷ SlotNo → Rep SlotNo x # to ∷ Rep SlotNo x → SlotNo #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) ∷ SlotNo → SlotNo → SlotNo # (-) ∷ SlotNo → SlotNo → SlotNo # (*) ∷ SlotNo → SlotNo → SlotNo # negate ∷ SlotNo → SlotNo # abs ∷ SlotNo → SlotNo # signum ∷ SlotNo → SlotNo # fromInteger ∷ Integer → SlotNo #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → SlotNo → ShowS # show ∷ SlotNo → String # showList ∷ [SlotNo] → ShowS #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s SlotNo Source # label ∷ Proxy SlotNo → Text Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ SlotNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotNo] → Size Source #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ SlotNo → () #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ SlotNo → SlotNo → Bool # (/=) ∷ SlotNo → SlotNo → Bool #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ SlotNo → SlotNo → Ordering # (<) ∷ SlotNo → SlotNo → Bool # (<=) ∷ SlotNo → SlotNo → Bool # (>) ∷ SlotNo → SlotNo → Bool # (>=) ∷ SlotNo → SlotNo → Bool # max ∷ SlotNo → SlotNo → SlotNo # min ∷ SlotNo → SlotNo → SlotNo #
Hashable SlotNo Source #
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hashWithSalt ∷ Int → SlotNo → Int Source # hash ∷ SlotNo → Int Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotNo → String Source #
Condense SlotNo
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SlotNo → String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ SlotNo → Encoding Source # decode ∷ Decoder s SlotNo Source # encodeList ∷ [SlotNo] → Encoding Source # decodeList ∷ Decoder s [SlotNo] Source #
ShowProxy SlotNo
Instance details Defined in Ouroboros.Network.Util.ShowProxy Methods showProxy ∷ Proxy SlotNo → String Source #
(Condense block, HasHeader block, Condense (HeaderHash block)) ⇒ Condense (AnchoredFragment block)
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ AnchoredFragment block → String Source #
HasHeader block ⇒ Anchorable (WithOrigin SlotNo) (Anchor block) block
Instance details Defined in Ouroboros.Network.AnchoredFragment Methods asAnchor ∷ block → Anchor block Source # getAnchorMeasure ∷ Proxy block → Anchor block → WithOrigin SlotNo Source #
Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk)
Instance details Defined in Ouroboros.Consensus.HeaderStateHistory Methods asAnchor ∷ HeaderStateWithTime blk → HeaderStateWithTime blk Source # getAnchorMeasure ∷ Proxy (HeaderStateWithTime blk) → HeaderStateWithTime blk → WithOrigin SlotNo Source #
GetTip l ⇒ Anchorable (WithOrigin SlotNo) (Checkpoint l) (Checkpoint l)
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.LedgerDB Methods asAnchor ∷ Checkpoint l → Checkpoint l Source # getAnchorMeasure ∷ Proxy (Checkpoint l) → Checkpoint l → WithOrigin SlotNo Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-9a23f79e0e302e2ea8ebe3129d51bc2e49a139397f4b8d2bbe15b983bdf6811e" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Running the counterexamples

Patterns needed to disambiguate the At and Command symbols printed

Re-exports needed for compiling a StateMachine inside the repl.

quickcheck-state-machine re-exports

Instances

Instances

Instances

Instances

ChainDB.StateMachine re-exports

Instances

Instances

Instances

Test packages re-exports

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Ouroboros consensus re-exports

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Patterns needed to disambiguate the `At` and `Command` symbols printed

Re-exports needed for compiling a `StateMachine` inside the repl.