ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

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

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

Running the counterexamples

quickCheckCmdsLockStep ∷ LoE () → SecurityParam → 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 (m1 ∷ Type → Type) t2 blk2 (m2 ∷ Type → Type). 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) #

Constructors

Commands 

Fields

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 #

(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 #

(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 #

newtype Reference a (r ∷ Type → Type) #

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. p x → m) → Reference a p → m

Functor (Reference a ∷ (Type → Type) → Type) # 
Instance details

Defined in Test.StateMachine.Types.References

Methods

fmap ∷ (∀ x. p x → q x) → Reference a p → Reference a q

Traversable (Reference a ∷ (Type → Type) → Type) # 
Instance details

Defined in Test.StateMachine.Types.References

Methods

traverse ∷ Applicative f ⇒ (∀ a0. p a0 → f (q a0)) → Reference a p → f (Reference a q)

(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 #

Generic (Reference a r) # 
Instance details

Defined in Test.StateMachine.Types.References

Associated Types

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.4-l-no-vendored-treediff-2b3645ca8af9a5721f58990f6ed83d16fd65eaa5e0cfbc1a11c1a1848da9f5a8" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

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 #

ToExpr (r k) ⇒ ToExpr (Reference k r) # 
Instance details

Defined in Test.Util.ToExpr

Methods

toExpr ∷ Reference k r → Expr Source #

listToExpr ∷ [Reference k r] → Expr Source #

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.4-l-no-vendored-treediff-2b3645ca8af9a5721f58990f6ed83d16fd65eaa5e0cfbc1a11c1a1848da9f5a8" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

data Symbolic a where #

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 #

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 (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 #

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 #

Constructors

Var Int 

Instances

Instances details
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 #

Generic Var # 
Instance details

Defined in Test.StateMachine.Types.References

Associated Types

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.4-l-no-vendored-treediff-2b3645ca8af9a5721f58990f6ed83d16fd65eaa5e0cfbc1a11c1a1848da9f5a8" 'True) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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.4-l-no-vendored-treediff-2b3645ca8af9a5721f58990f6ed83d16fd65eaa5e0cfbc1a11c1a1848da9f5a8" '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 (Persistent [blk])

Add a block, with (possibly) some gap blocks leading to it. For more information about gap blocks, refer to GenState below.

AddPerasCert (WithArrivalTime (ValidatedPerasCert blk)) (Persistent [blk])

Add a Peras cert for a block, with (possibly) some gap blocks leading to it. For more information about gap blocks, refer to GenState below.

AddPerasVote (WithArrivalTime (ValidatedPerasVote blk)) (Persistent [blk])

Add a Peras vote, with (possibly) some gap blocks leading to the voted block. For more information about gap blocks, refer to GenState below.

GetCurrentChain 
GetTipBlock 
GetTipHeader 
GetTipPoint 
GetBlockComponent (RealPoint blk) 
GetLatestPerasCertOnChainRound 
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 LedgerDB 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) #

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 #

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

CommandNames (At Cmd blk m ∷ (Type → Type) → Type) Source # 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

Methods

cmdName ∷ ∀ (r ∷ Type → Type). At Cmd blk m r → String

cmdNames ∷ ∀ (r ∷ Type → Type). Proxy (At Cmd blk m r) → [String]

Generic (Cmd blk it flr) Source # 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

Associated Types

type Code (Cmd blk it flr) 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

type Code (Cmd blk it flr) = GCode (Cmd blk it flr)

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) 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

type DatatypeInfoOf (Cmd blk it flr) = GDatatypeInfoOf (Cmd blk it flr)

Methods

datatypeInfo ∷ proxy (Cmd blk it flr) → DatatypeInfo (Code (Cmd blk it flr)) Source #

Generic (Cmd blk it flr) Source # 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

Associated Types

type Rep (Cmd blk it flr) 
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-4.0.0.0-inplace-storage-test" 'False) ((((C1 ('MetaCons "AddBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 blk) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))) :+: (C1 ('MetaCons "AddPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasCert blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))) :+: C1 ('MetaCons "AddPerasVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))))) :+: (C1 ('MetaCons "GetCurrentChain" '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 "GetLatestPerasCertOnChainRound" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((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))))))

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 (PerasCert blk), Show (PerasVote blk)) ⇒ 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 #

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)
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-4.0.0.0-inplace-storage-test" 'False) ((((C1 ('MetaCons "AddBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 blk) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))) :+: (C1 ('MetaCons "AddPerasCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasCert blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))) :+: C1 ('MetaCons "AddPerasVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithArrivalTime (ValidatedPerasVote blk))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Persistent [blk]))))) :+: (C1 ('MetaCons "GetCurrentChain" '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 "GetLatestPerasCertOnChainRound" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((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))))))

newtype Resp blk it flr Source #

Responses are either successful termination or an error.

Constructors

Resp 

Fields

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

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 #

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

(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, 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, 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)) 
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 
MbPerasRoundNo (Maybe PerasRoundNo) 
PerasCertRes AddPerasCertChainSelOutcome 
PerasVoteRes (AddPerasVoteResult blk, Maybe AddPerasCertChainSelOutcome) 

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

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 #

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

(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 #

(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 #

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

Test packages re-exports

newtype ChainLength #

Constructors

ChainLength Int 

Instances

Instances details
NFData ChainLength # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ ChainLength → () #

Eq ChainLength # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ ChainLength → ChainLength → Bool #

(/=) ∷ ChainLength → ChainLength → Bool #

Ord ChainLength # 
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 #

Enum ChainLength # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep ChainLength 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep ChainLength = D1 ('MetaData "ChainLength" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "ChainLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ ChainLength → Rep ChainLength x #

to ∷ Rep ChainLength x → ChainLength #

Show ChainLength # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → ChainLength → ShowS #

show ∷ ChainLength → String #

showList ∷ [ChainLength] → ShowS #

Hashable ChainLength # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → ChainLength → Int Source #

hash ∷ ChainLength → Int Source #

NoThunks ChainLength # 
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 # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ ChainLength → Expr Source #

listToExpr ∷ [ChainLength] → Expr Source #

type Rep ChainLength # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep ChainLength = D1 ('MetaData "ChainLength" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "ChainLength" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data EBB #

Constructors

EBB !EpochNo 
RegularBlock 

Instances

Instances details
NFData EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ EBB → () #

Eq EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ EBB → EBB → Bool #

(/=) ∷ EBB → EBB → Bool #

Generic EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep EBB 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep EBB = D1 ('MetaData "EBB" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "EBB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "RegularBlock" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ EBB → Rep EBB x #

to ∷ Rep EBB x → EBB #

Show EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → EBB → ShowS #

show ∷ EBB → String #

showList ∷ [EBB] → ShowS #

Hashable EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → EBB → Int Source #

hash ∷ EBB → Int Source #

NoThunks EBB # 
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 # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ EBB → Expr Source #

listToExpr ∷ [EBB] → Expr Source #

type Rep EBB # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep EBB = D1 ('MetaData "EBB" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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 #

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 #

Constructors

TestBlock 

Fields

Instances

Instances details
NFData TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBlock → () #

Eq TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBlock → TestBlock → Bool #

(/=) ∷ TestBlock → TestBlock → Bool #

Generic TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlock = D1 ('MetaData "TestBlock" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "testHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestHeader) :*: S1 ('MetaSel ('Just "testBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestBody)))

Methods

from ∷ TestBlock → Rep TestBlock x #

to ∷ Rep TestBlock x → TestBlock #

Show TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBlock → ShowS #

show ∷ TestBlock → String #

showList ∷ [TestBlock] → ShowS #

NoThunks TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type HashSize TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HashSize TestBlock = 8

Methods

toRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ByteString Source #

toShortRawHash ∷ proxy TestBlock → HeaderHash TestBlock → ShortByteString Source #

fromRawHash ∷ proxy TestBlock → ByteString → Maybe (HeaderHash TestBlock) Source #

fromShortRawHash ∷ proxy TestBlock → ShortByteString → Maybe (HeaderHash TestBlock) Source #

unsafeFromRawHash ∷ proxy TestBlock → ByteString → HeaderHash TestBlock Source #

unsafeFromShortRawHash ∷ proxy TestBlock → ShortByteString → HeaderHash TestBlock Source #

hashSize ∷ proxy TestBlock → Word32 Source #

GetHeader TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

headerPrevHash ∷ Header TestBlock → ChainHash TestBlock Source #

BlockSupportsDiffusionPipelining TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type TentativeHeaderState TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderState TestBlock = TentativeHeaderState (SelectViewDiffusionPipelining TestBlock)
type TentativeHeaderView TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderView TestBlock = TentativeHeaderView (SelectViewDiffusionPipelining TestBlock)

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 #

BlockSupportsPeras TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type PerasVote TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVote TestBlock = MockPerasVote TestBlock
type PerasCert TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCert TestBlock = MockPerasCert TestBlock
type PerasError TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasError TestBlock = MockPerasError TestBlock
type PerasCrypto TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCrypto TestBlock = MockPerasCrypto TestBlock
type PerasVotingCommitteeScheme TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVotingCommitteeScheme TestBlock = MockPerasVotingCommitteeScheme TestBlock

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext TestBlock → PoolId → PrivateKey (PerasCrypto TestBlock) → PerasRoundNo → Point TestBlock → Either (PerasError TestBlock) (Maybe (ValidatedPerasVote TestBlock)) Source #

verifyPerasVote ∷ PerasEpochContext TestBlock → PerasVote TestBlock → Either (PerasError TestBlock) (ValidatedPerasVote TestBlock) Source #

forgePerasCert ∷ PerasEpochContext TestBlock → PerasVoteCollectionWithQuorum TestBlock → Either (PerasError TestBlock) (ValidatedPerasCert TestBlock) Source #

verifyPerasCert ∷ PerasEpochContext TestBlock → PerasCert TestBlock → Either (PerasError TestBlock) (ValidatedPerasCert TestBlock) Source #

getPerasCertInBlock ∷ TestBlock → Either (PerasError TestBlock) (Maybe (PerasCert TestBlock)) Source #

BlockSupportsProtocol TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

validateView ∷ BlockConfig TestBlock → Header TestBlock → ValidateView (BlockProtocol TestBlock) Source #

tiebreakerView ∷ BlockConfig TestBlock → Header TestBlock → TiebreakerView (BlockProtocol TestBlock) Source #

projectChainOrderConfig ∷ BlockConfig TestBlock → ChainOrderConfig (SelectView (BlockProtocol TestBlock)) Source #

HasHardForkHistory TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type HardForkIndices TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HardForkIndices TestBlock = '[TestBlock]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig TestBlock → LedgerState TestBlock mk → Summary (HardForkIndices TestBlock) Source #

ImmutableEraParams TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

immutableEraParams ∷ TopLevelConfig TestBlock → EraParams Source #

BasicEnvelopeValidation TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type TipInfo TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TipInfo TestBlock = TipInfoIsEBB TestBlock

Methods

getTipInfo ∷ Header TestBlock → TipInfo TestBlock Source #

tipInfoHash ∷ proxy TestBlock → TipInfo TestBlock → HeaderHash TestBlock Source #

ValidateEnvelope TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type OtherHeaderEnvelopeError TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type OtherHeaderEnvelopeError TestBlock = TestBlockOtherHeaderEnvelopeError

Methods

additionalEnvelopeChecks ∷ TopLevelConfig TestBlock → LedgerView (BlockProtocol TestBlock) → Header TestBlock → Except (OtherHeaderEnvelopeError TestBlock) () Source #

GetBlockKeySets TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getBlockKeySets ∷ TestBlock → LedgerTables TestBlock KeysMK Source #

UpdateLedger TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

InspectLedger TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type LedgerWarning TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerWarning TestBlock = Void
type LedgerUpdate TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerUpdate TestBlock = Void

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig TestBlock → LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → [LedgerEvent TestBlock] Source #

LedgerSupportsProtocol TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig TestBlock → Ticked LedgerState TestBlock mk → LedgerView (BlockProtocol TestBlock) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig TestBlock → LedgerState TestBlock mk → Forecast (LedgerView (BlockProtocol TestBlock)) Source #

StateSupportsPerasEpochContext TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy TestBlock → MaybeEraIndexedEpochToPerasRoundInfo TestBlock → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices TestBlock) ⇒ proxy TestBlock → EraIndexed (HardForkIndices TestBlock) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo TestBlock Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo TestBlock → ledgerState EmptyMK → chainDepState → Either (PerasError TestBlock) (BoundedPerasEpochContext TestBlock) Source #

SerialiseDiskConstraints TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

HasBinaryBlockInfo TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getBinaryBlockInfo ∷ TestBlock → BinaryBlockInfo Source #

Condense TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestBlock → String Source #

ModelSupportsBlock TestBlock Source # 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.StateMachine

HasHeader TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getHeaderFields ∷ TestBlock → HeaderFields TestBlock #

Serialise TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBlock → Expr Source #

listToExpr ∷ [TestBlock] → Expr Source #

HasNestedContent f TestBlock # 
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 #

ApplyBlock LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg LedgerState TestBlock → TestBlock → Ticked LedgerState TestBlock ValuesMK → Except (LedgerErr LedgerState TestBlock) (LedgerResult TestBlock (LedgerState TestBlock DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState TestBlock → TestBlock → Ticked LedgerState TestBlock ValuesMK → Except (LedgerErr LedgerState TestBlock) (LedgerResult TestBlock (LedgerState TestBlock DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState TestBlock → TestBlock → Ticked LedgerState TestBlock ValuesMK → LedgerResult TestBlock (LedgerState TestBlock DiffMK) Source #

IsLedger LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type LedgerErr LedgerState TestBlock 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerErr LedgerState TestBlock = TestBlockError

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState TestBlock → SlotNo → LedgerState TestBlock EmptyMK → LedgerResult TestBlock (Ticked LedgerState TestBlock DiffMK) Source #

CanUpgradeLedgerTables LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → LedgerTables TestBlock ValuesMK → LedgerTables TestBlock ValuesMK Source #

HasLedgerTables LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock any → LedgerTables TestBlock mk → LedgerState TestBlock mk Source #

LedgerTablesAreTrivial LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState TestBlock mk → LedgerState TestBlock mk' Source #

SerializeTablesWithHint LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeTablesWithHint ∷ LedgerState TestBlock EmptyMK → LedgerTables TestBlock ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState TestBlock EmptyMK → Decoder s (LedgerTables TestBlock ValuesMK) Source #

DecodeDisk TestBlock () # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s () Source #

EncodeDisk TestBlock TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → TestBlock → Encoding Source #

EncodeDisk TestBlock () # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → () → Encoding Source #

ReconstructNestedCtxt Header TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

IndexedMemPack LedgerState TestBlock Void # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState TestBlock EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState TestBlock EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState TestBlock EmptyMK → String Source #

DecodeDisk TestBlock (AnnTip TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (AnnTip TestBlock) Source #

EncodeDisk TestBlock (Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → Header TestBlock → Encoding Source #

EncodeDisk TestBlock (AnnTip TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → AnnTip TestBlock → Encoding Source #

DecodeDisk TestBlock (LedgerState TestBlock EmptyMK) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (LedgerState TestBlock EmptyMK) Source #

DecodeDisk TestBlock (ByteString → Either DecoderError TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Either DecoderError TestBlock) Source #

DecodeDisk TestBlock (ByteString → Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (ByteString → Header TestBlock) Source #

EncodeDisk TestBlock (LedgerState TestBlock EmptyMK) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDisk ∷ CodecConfig TestBlock → LedgerState TestBlock EmptyMK → Encoding Source #

SameDepIndex (NestedCtxt_ TestBlock f ∷ Type → Type) # 
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 ∷ Type → Type) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hasSingleIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ TestBlock f (TrivialIndex (NestedCtxt_ TestBlock f) ∷ Type) Source #

Eq (Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ Header TestBlock → Header TestBlock → Bool #

(/=) ∷ Header TestBlock → Header TestBlock → Bool #

Generic (BlockConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (BlockConfig TestBlock) 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

from ∷ BlockConfig TestBlock → Rep (BlockConfig TestBlock) x #

to ∷ Rep (BlockConfig TestBlock) x → BlockConfig TestBlock #

Generic (CodecConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (CodecConfig TestBlock) 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x #

to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #

Generic (StorageConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (StorageConfig TestBlock) 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x #

to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #

Show (CodecConfig TestBlock) # 
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) # 
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) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Hashable (MockPerasCert TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → MockPerasCert TestBlock → Int Source #

hash ∷ MockPerasCert TestBlock → Int Source #

NoThunks (BlockConfig TestBlock) # 
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) # 
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) # 
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) # 
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 #

GetTip (LedgerState TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState TestBlock mk → Point (LedgerState TestBlock) Source #

LedgerStateSupportsPeras (LedgerState TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getPoolDistr ∷ LedgerState TestBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState TestBlock EmptyMK → PerasParams blk Source #

CanStowLedgerTables (LedgerState TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

SignedHeader (Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

headerSigned ∷ Header TestBlock → Signed (Header TestBlock) Source #

HasHeader (Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getHeaderFields ∷ Header TestBlock → HeaderFields (Header TestBlock) #

Serialise (Header TestBlock) # 
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 (MockPerasCert TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ MockPerasCert TestBlock → Encoding Source #

decode ∷ Decoder s (MockPerasCert TestBlock) Source #

encodeList ∷ [MockPerasCert TestBlock] → Encoding Source #

decodeList ∷ Decoder s [MockPerasCert TestBlock] Source #

ToExpr (CodecConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

ToExpr (HeaderEnvelopeError TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ HeaderEnvelopeError TestBlock → Expr Source #

listToExpr ∷ [HeaderEnvelopeError TestBlock] → Expr Source #

ToExpr (HeaderError TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ HeaderError TestBlock → Expr Source #

listToExpr ∷ [HeaderError TestBlock] → Expr Source #

ToExpr (TipInfoIsEBB TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TipInfoIsEBB TestBlock → Expr Source #

listToExpr ∷ [TipInfoIsEBB TestBlock] → Expr Source #

ToExpr (ExtValidationError TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ ExtValidationError TestBlock → Expr Source #

listToExpr ∷ [ExtValidationError TestBlock] → Expr Source #

ToExpr (Tip TestBlock) # 
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 #

DecodeDiskDep (NestedCtxt Header) TestBlock # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

decodeDiskDepIx ∷ CodecConfig TestBlock → Decoder s (SomeSecond (NestedCtxt Header) TestBlock) Source #

EncodeDiskDep (NestedCtxt Header) TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDiskDep ∷ CodecConfig TestBlock → NestedCtxt Header TestBlock a → a → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encodeDiskDepIx ∷ CodecConfig TestBlock → SomeSecond (NestedCtxt Header) TestBlock → Encoding Source #

FromCBOR (Point TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

fromCBOR ∷ Decoder s (Point TestBlock) Source #

label ∷ Proxy (Point TestBlock) → Text Source #

ToCBOR (Point TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toCBOR ∷ Point TestBlock → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Point TestBlock) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Point TestBlock] → Size Source #

Eq (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ LedgerState TestBlock mk → LedgerState TestBlock mk → Bool #

(/=) ∷ LedgerState TestBlock mk → LedgerState TestBlock mk → Bool #

Generic (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep (LedgerState TestBlock mk) 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))

Methods

from ∷ LedgerState TestBlock mk → Rep (LedgerState TestBlock mk) x #

to ∷ Rep (LedgerState TestBlock mk) x → LedgerState TestBlock mk #

Show (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → LedgerState TestBlock mk → ShowS #

show ∷ LedgerState TestBlock mk → String #

showList ∷ [LedgerState TestBlock mk] → ShowS #

Hashable (Point TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Point TestBlock → Int Source #

hash ∷ Point TestBlock → Int Source #

NoThunks (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

noThunks ∷ Context → LedgerState TestBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState TestBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState TestBlock mk) → String Source #

Serialise (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

encode ∷ LedgerState TestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState TestBlock mk) Source #

encodeList ∷ [LedgerState TestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState TestBlock mk] Source #

ToExpr (VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock)) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock) → Expr Source #

listToExpr ∷ [VotingCommitteeError (MockPerasCrypto TestBlock) (MockPerasVotingCommitteeScheme TestBlock)] → Expr Source #

ToExpr (LedgerState TestBlock EmptyMK) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ LedgerState TestBlock EmptyMK → Expr Source #

listToExpr ∷ [LedgerState TestBlock EmptyMK] → Expr Source #

HasLedgerTables (Ticked LedgerState) TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock mk → LedgerTables TestBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState TestBlock any → LedgerTables TestBlock mk → Ticked LedgerState TestBlock mk Source #

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked LedgerState TestBlock mk → Ticked LedgerState TestBlock mk' Source #

Show (NestedCtxt_ TestBlock f a) # 
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 #

GetTip (Ticked LedgerState TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState TestBlock mk → Point (Ticked LedgerState TestBlock) Source #

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState TestBlock EmptyMK → PerasParams blk Source #

type Rep TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBlock = D1 ('MetaData "TestBlock" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data BlockConfig TestBlock = TestBlockConfig {}
type BlockProtocol TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type BlockProtocol TestBlock = ModChainSel (Bft BftMockCrypto) BftWithEBBsTiebreakerView
data CodecConfig TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig
type HashSize TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HashSize TestBlock = 8
newtype Header TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

newtype Header TestBlock = TestHeader' {}
data StorageConfig TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig
data NestedCtxt_ TestBlock f a # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data NestedCtxt_ TestBlock f a where
type TentativeHeaderState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderState TestBlock = TentativeHeaderState (SelectViewDiffusionPipelining TestBlock)
type TentativeHeaderView TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TentativeHeaderView TestBlock = TentativeHeaderView (SelectViewDiffusionPipelining TestBlock)
type PerasCert TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCert TestBlock = MockPerasCert TestBlock
type PerasCrypto TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasCrypto TestBlock = MockPerasCrypto TestBlock
type PerasError TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasError TestBlock = MockPerasError TestBlock
type PerasVote TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVote TestBlock = MockPerasVote TestBlock
type PerasVotingCommitteeScheme TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type PerasVotingCommitteeScheme TestBlock = MockPerasVotingCommitteeScheme TestBlock
type HardForkIndices TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HardForkIndices TestBlock = '[TestBlock]
type OtherHeaderEnvelopeError TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type OtherHeaderEnvelopeError TestBlock = TestBlockOtherHeaderEnvelopeError
type TipInfo TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TipInfo TestBlock = TipInfoIsEBB TestBlock
type AuxLedgerEvent TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type AuxLedgerEvent TestBlock = VoidLedgerEvent
data LedgerState TestBlock mk # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

data LedgerState TestBlock mk = TestLedger {}
type LedgerUpdate TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerUpdate TestBlock = Void
type LedgerWarning TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerWarning TestBlock = Void
type TxIn TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TxIn TestBlock = Void
type TxOut TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TxOut TestBlock = Void
type MaybeEraIndexedEpochToPerasRoundInfo TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type MaybeEraIndexedEpochToPerasRoundInfo TestBlock = EpochToPerasRoundInfo
type LedgerCfg LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerCfg LedgerState TestBlock = EraParams
type LedgerErr LedgerState TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type LedgerErr LedgerState TestBlock = TestBlockError
type HeaderHash TestBlock # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HeaderHash TestBlock = TestHeaderHash
type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) = f TestBlock
type Rep (BlockConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (StorageConfig TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Signed (Header TestBlock) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Signed (Header TestBlock) = ()
type Rep (LedgerState TestBlock mk) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))
newtype Ticked LedgerState TestBlock (mk ∷ MapKind) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) = TickedTestLedger {}

data TestBody #

Constructors

TestBody 

Fields

Instances

Instances details
NFData TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBody → () #

Eq TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBody → TestBody → Bool #

(/=) ∷ TestBody → TestBody → Bool #

Generic TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBody 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBody = D1 ('MetaData "TestBody" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "tbForkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: (S1 ('MetaSel ('Just "tbIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "tbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (PerasCert TestBlock))))))

Methods

from ∷ TestBody → Rep TestBody x #

to ∷ Rep TestBody x → TestBody #

Show TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBody → ShowS #

show ∷ TestBody → String #

showList ∷ [TestBody] → ShowS #

Hashable TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestBody → Int Source #

hash ∷ TestBody → Int Source #

NoThunks TestBody # 
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 # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBody → Expr Source #

listToExpr ∷ [TestBody] → Expr Source #

type Rep TestBody # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBody = D1 ('MetaData "TestBody" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "tbForkNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: (S1 ('MetaSel ('Just "tbIsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "tbPerasCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (PerasCert TestBlock))))))

newtype TestBodyHash #

Constructors

TestBodyHash Int 

Instances

Instances details
NFData TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestBodyHash → () #

Eq TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestBodyHash → TestBodyHash → Bool #

(/=) ∷ TestBodyHash → TestBodyHash → Bool #

Ord TestBodyHash # 
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 #

Generic TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestBodyHash 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBodyHash = D1 ('MetaData "TestBodyHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestBodyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TestBodyHash → Rep TestBodyHash x #

to ∷ Rep TestBodyHash x → TestBodyHash #

Show TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestBodyHash → ShowS #

show ∷ TestBodyHash → String #

showList ∷ [TestBodyHash] → ShowS #

Hashable TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestBodyHash → Int Source #

hash ∷ TestBodyHash → Int Source #

NoThunks TestBodyHash # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestBodyHash → String Source #

Serialise TestBodyHash # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestBodyHash → Expr Source #

listToExpr ∷ [TestBodyHash] → Expr Source #

type Rep TestBodyHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestBodyHash = D1 ('MetaData "TestBodyHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestBodyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data TestHeader #

Constructors

TestHeader 

Fields

Instances

Instances details
NFData TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestHeader → () #

Eq TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestHeader → TestHeader → Bool #

(/=) ∷ TestHeader → TestHeader → Bool #

Generic TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestHeader 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader = D1 ('MetaData "TestHeader" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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)))))

Methods

from ∷ TestHeader → Rep TestHeader x #

to ∷ Rep TestHeader x → TestHeader #

Show TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestHeader → ShowS #

show ∷ TestHeader → String #

showList ∷ [TestHeader] → ShowS #

NoThunks TestHeader # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestHeader → String Source #

Serialise TestHeader # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestHeader → Expr Source #

listToExpr ∷ [TestHeader] → Expr Source #

StandardHash TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeader = D1 ('MetaData "TestHeader" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" '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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type HeaderHash TestHeader = TestHeaderHash

newtype TestHeaderHash #

Constructors

TestHeaderHash Int 

Instances

Instances details
Binary TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

put ∷ TestHeaderHash → Put #

get ∷ Get TestHeaderHash #

putList ∷ [TestHeaderHash] → Put #

NFData TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

rnf ∷ TestHeaderHash → () #

Eq TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

(==) ∷ TestHeaderHash → TestHeaderHash → Bool #

(/=) ∷ TestHeaderHash → TestHeaderHash → Bool #

Ord TestHeaderHash # 
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 #

Generic TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Associated Types

type Rep TestHeaderHash 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeaderHash = D1 ('MetaData "TestHeaderHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestHeaderHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TestHeaderHash → Rep TestHeaderHash x #

to ∷ Rep TestHeaderHash x → TestHeaderHash #

Show TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

showsPrec ∷ Int → TestHeaderHash → ShowS #

show ∷ TestHeaderHash → String #

showList ∷ [TestHeaderHash] → ShowS #

Hashable TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → TestHeaderHash → Int Source #

hash ∷ TestHeaderHash → Int Source #

NoThunks TestHeaderHash # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

condense ∷ TestHeaderHash → String Source #

Serialise TestHeaderHash # 
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 # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

toExpr ∷ TestHeaderHash → Expr Source #

listToExpr ∷ [TestHeaderHash] → Expr Source #

Hashable (Block SlotNo TestHeaderHash) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Block SlotNo TestHeaderHash → Int Source #

hash ∷ Block SlotNo TestHeaderHash → Int Source #

type Rep TestHeaderHash # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

type Rep TestHeaderHash = D1 ('MetaData "TestHeaderHash" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TestHeaderHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Ouroboros consensus re-exports

data Block slot hash #

Constructors

Block 

Fields

Instances

Instances details
(FromJSON slot, FromJSON hash) ⇒ FromJSON (Block slot hash) # 
Instance details

Defined in Ouroboros.Network.Point

Methods

parseJSON ∷ Value → Parser (Block slot hash) Source #

parseJSONList ∷ Value → Parser [Block slot hash] Source #

omittedField ∷ Maybe (Block slot hash) Source #

(ToJSON slot, ToJSON hash) ⇒ ToJSON (Block slot hash) # 
Instance details

Defined in Ouroboros.Network.Point

Methods

toJSON ∷ Block slot hash → Value Source #

toEncoding ∷ Block slot hash → Encoding Source #

toJSONList ∷ [Block slot hash] → Value Source #

toEncodingList ∷ [Block slot hash] → Encoding Source #

omitField ∷ Block slot hash → Bool Source #

(NFData slot, NFData hash) ⇒ NFData (Block slot hash) # 
Instance details

Defined in Ouroboros.Network.Point

Methods

rnf ∷ Block slot hash → () #

(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 #

Generic (Block slot hash) # 
Instance details

Defined in Ouroboros.Network.Point

Associated Types

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-1.2.0.0-l-api-af495335aa766cc933ee95df4ec7fdea2dd796e1efa726c7d4b40b7590fdf5d9" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockPointSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 slot) :*: S1 ('MetaSel ('Just "blockPointHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 hash)))

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 #

Hashable (Block SlotNo TestHeaderHash) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Block SlotNo TestHeaderHash → Int Source #

hash ∷ Block SlotNo TestHeaderHash → Int Source #

(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 #

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

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ Block slot hash → Expr Source #

listToExpr ∷ [Block slot hash] → Expr 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-1.2.0.0-l-api-af495335aa766cc933ee95df4ec7fdea2dd796e1efa726c7d4b40b7590fdf5d9" '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

Instances

Instances details
Arbitrary BlockNo # 
Instance details

Defined in Test.Cardano.Slotting.Arbitrary

Methods

arbitrary ∷ Gen BlockNo Source #

shrink ∷ BlockNo → [BlockNo] Source #

FromJSON BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

parseJSON ∷ Value → Parser BlockNo Source #

parseJSONList ∷ Value → Parser [BlockNo] Source #

omittedField ∷ Maybe BlockNo Source #

ToJSON BlockNo Source # 
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 #

FromCBOR BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

fromCBOR ∷ Decoder s BlockNo Source #

label ∷ Proxy BlockNo → Text Source #

ToCBOR BlockNo Source # 
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 #

EncCBOR BlockNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ BlockNo → Encoding Source #

NFData BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

rnf ∷ BlockNo → () #

Eq BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

(==) ∷ BlockNo → BlockNo → Bool #

(/=) ∷ BlockNo → BlockNo → Bool #

Ord BlockNo Source # 
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 #

Bounded BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

minBound ∷ BlockNo #

maxBound ∷ BlockNo #

Enum BlockNo Source # 
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 Source # 
Instance details

Defined in Cardano.Slotting.Block

Associated Types

type Rep BlockNo 
Instance details

Defined in Cardano.Slotting.Block

type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ BlockNo → Rep BlockNo x #

to ∷ Rep BlockNo x → BlockNo #

Num BlockNo Source # 
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 Source # 
Instance details

Defined in Cardano.Slotting.Block

Methods

showsPrec ∷ Int → BlockNo → ShowS #

show ∷ BlockNo → String #

showList ∷ [BlockNo] → ShowS #

Hashable BlockNo # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → BlockNo → Int Source #

hash ∷ BlockNo → Int Source #

NoThunks BlockNo Source # 
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 #

Condense BlockNo Source # 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense ∷ BlockNo → String Source #

Serialise BlockNo Source # 
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 #

ToExpr BlockNo # 
Instance details

Defined in Test.Cardano.Slotting.TreeDiff

Methods

toExpr ∷ BlockNo → Expr Source #

listToExpr ∷ [BlockNo] → Expr Source #

type Rep BlockNo Source # 
Instance details

Defined in Cardano.Slotting.Block

type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data ChainHash (b ∷ k) #

Constructors

GenesisHash 
BlockHash !(HeaderHash b) 

Instances

Instances details
Isomorphic (ChainHash ∷ Type → Type) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ ChainHash (HardForkBlock '[blk]) → ChainHash blk Source #

inject ∷ NoHardForks blk ⇒ ChainHash blk → ChainHash (HardForkBlock '[blk]) Source #

StandardHash block ⇒ NFData (ChainHash block) # 
Instance details

Defined in Ouroboros.Network.Block

Methods

rnf ∷ ChainHash block → () #

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 #

Generic (ChainHash b) # 
Instance details

Defined in Ouroboros.Network.Block

Associated Types

type Rep (ChainHash b) 
Instance details

Defined in Ouroboros.Network.Block

type Rep (ChainHash b) = D1 ('MetaData "ChainHash" "Ouroboros.Network.Block" "ouroboros-network-1.2.0.0-l-api-af495335aa766cc933ee95df4ec7fdea2dd796e1efa726c7d4b40b7590fdf5d9" '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))))

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 b, Hashable (HeaderHash b)) ⇒ Hashable (ChainHash b) # 
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) Source # 
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 #

ToExpr (HeaderHash blk) ⇒ ToExpr (ChainHash blk) # 
Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ ChainHash blk → Expr Source #

listToExpr ∷ [ChainHash blk] → Expr Source #

type Rep (ChainHash b) # 
Instance details

Defined in Ouroboros.Network.Block

type Rep (ChainHash b) = D1 ('MetaData "ChainHash" "Ouroboros.Network.Block" "ouroboros-network-1.2.0.0-l-api-af495335aa766cc933ee95df4ec7fdea2dd796e1efa726c7d4b40b7590fdf5d9" '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
Eq ChainType Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ChainDB.API

Methods

(==) ∷ ChainType → ChainType → Bool #

(/=) ∷ ChainType → ChainType → Bool #

Generic ChainType Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ChainDB.API

Associated Types

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "SelectedChain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TentativeChain" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ ChainType → Rep ChainType x #

to ∷ Rep ChainType x → ChainType #

Show ChainType Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ChainDB.API

Methods

showsPrec ∷ Int → ChainType → ShowS #

show ∷ ChainType → String #

showList ∷ [ChainType] → ShowS #

type Rep ChainType Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ChainDB.API

type Rep ChainType = D1 ('MetaData "ChainType" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-4.0.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 #

Constructors

RollBack (Point block) 

Instances

Instances details
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 #

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

(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 #

(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 #

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 Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

Associated Types

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-4.0.0.0-inplace" 'False) (C1 ('MetaCons "UniformChunkSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChunkSize)))

Methods

from ∷ ChunkInfo → Rep ChunkInfo x #

to ∷ Rep ChunkInfo x → ChunkInfo #

Show ChunkInfo Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

Methods

showsPrec ∷ Int → ChunkInfo → ShowS #

show ∷ ChunkInfo → String #

showList ∷ [ChunkInfo] → ShowS #

NoThunks ChunkInfo Source # 
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 #

ToExpr ChunkInfo # 
Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ ChunkInfo → Expr Source #

listToExpr ∷ [ChunkInfo] → Expr Source #

type Rep ChunkInfo Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

type Rep ChunkInfo = D1 ('MetaData "ChunkInfo" "Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal" "ouroboros-consensus-4.0.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

Instances

Instances details
Arbitrary ChunkSize # 
Instance details

Defined in Test.Util.Orphans.Arbitrary

Methods

arbitrary ∷ Gen ChunkSize Source #

shrink ∷ ChunkSize → [ChunkSize] Source #

Generic ChunkSize Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

Associated Types

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-4.0.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)))

Methods

from ∷ ChunkSize → Rep ChunkSize x #

to ∷ Rep ChunkSize x → ChunkSize #

Show ChunkSize Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

Methods

showsPrec ∷ Int → ChunkSize → ShowS #

show ∷ ChunkSize → String #

showList ∷ [ChunkSize] → ShowS #

NoThunks ChunkSize Source # 
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 #

ToExpr ChunkSize # 
Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ ChunkSize → Expr Source #

listToExpr ∷ [ChunkSize] → Expr Source #

type Rep ChunkSize Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal

type Rep ChunkSize = D1 ('MetaData "ChunkSize" "Ouroboros.Consensus.Storage.ImmutableDB.Chunks.Internal" "ouroboros-consensus-4.0.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
Arbitrary EpochNo # 
Instance details

Defined in Test.Cardano.Slotting.Arbitrary

Methods

arbitrary ∷ Gen EpochNo Source #

shrink ∷ EpochNo → [EpochNo] Source #

FromJSON EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser EpochNo Source #

parseJSONList ∷ Value → Parser [EpochNo] Source #

omittedField ∷ Maybe EpochNo Source #

ToJSON EpochNo Source # 
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 #

FromCBOR EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s EpochNo Source #

label ∷ Proxy EpochNo → Text Source #

ToCBOR EpochNo Source # 
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 #

EncCBOR EpochNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochNo → Encoding Source #

NFData EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ EpochNo → () #

Eq EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ EpochNo → EpochNo → Bool #

(/=) ∷ EpochNo → EpochNo → Bool #

Ord EpochNo Source # 
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 #

Enum EpochNo Source # 
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 Source # 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ EpochNo → Rep EpochNo x #

to ∷ Rep EpochNo x → EpochNo #

Num EpochNo # 
Instance details

Defined in Test.Cardano.Slotting.Numeric

Methods

(+) ∷ EpochNo → EpochNo → EpochNo #

(-) ∷ EpochNo → EpochNo → EpochNo #

(*) ∷ EpochNo → EpochNo → EpochNo #

negate ∷ EpochNo → EpochNo #

abs ∷ EpochNo → EpochNo #

signum ∷ EpochNo → EpochNo #

fromInteger ∷ Integer → EpochNo #

Show EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → EpochNo → ShowS #

show ∷ EpochNo → String #

showList ∷ [EpochNo] → ShowS #

NoThunks EpochNo Source # 
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 Source # 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense ∷ EpochNo → String Source #

Serialise EpochNo Source # 
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 #

ToExpr EpochNo # 
Instance details

Defined in Test.Cardano.Slotting.TreeDiff

Methods

toExpr ∷ EpochNo → Expr Source #

listToExpr ∷ [EpochNo] → Expr Source #

type Rep EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" '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

Instances

Instances details
Arbitrary SlotNo # 
Instance details

Defined in Test.Cardano.Slotting.Arbitrary

Methods

arbitrary ∷ Gen SlotNo Source #

shrink ∷ SlotNo → [SlotNo] Source #

FromJSON SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

parseJSON ∷ Value → Parser SlotNo Source #

parseJSONList ∷ Value → Parser [SlotNo] Source #

omittedField ∷ Maybe SlotNo Source #

ToJSON SlotNo Source # 
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 #

FromCBOR SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR ∷ Decoder s SlotNo Source #

label ∷ Proxy SlotNo → Text Source #

ToCBOR SlotNo Source # 
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 #

EncCBOR SlotNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SlotNo → Encoding Source #

NFData SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf ∷ SlotNo → () #

Eq SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) ∷ SlotNo → SlotNo → Bool #

(/=) ∷ SlotNo → SlotNo → Bool #

Ord SlotNo Source # 
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 #

Bounded SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound ∷ SlotNo #

maxBound ∷ SlotNo #

Enum SlotNo Source # 
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 Source # 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SlotNo → Rep SlotNo x #

to ∷ Rep SlotNo x → SlotNo #

Num SlotNo Source # 
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 Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec ∷ Int → SlotNo → ShowS #

show ∷ SlotNo → String #

showList ∷ [SlotNo] → ShowS #

Hashable SlotNo # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → SlotNo → Int Source #

hash ∷ SlotNo → Int Source #

NoThunks SlotNo Source # 
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 Source # 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense ∷ SlotNo → String Source #

Serialise SlotNo Source # 
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 #

ToExpr SlotNo # 
Instance details

Defined in Test.Cardano.Slotting.TreeDiff

Methods

toExpr ∷ SlotNo → Expr Source #

listToExpr ∷ [SlotNo] → Expr Source #

ShowProxy SlotNo # 
Instance details

Defined in Ouroboros.Network.Util.ShowProxy

Methods

showProxy ∷ Proxy SlotNo → String #

(Condense block, HasHeader block, Condense (HeaderHash block)) ⇒ Condense (AnchoredFragment block) Source # 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense ∷ AnchoredFragment block → String Source #

(ToExpr blk, ToExpr (HeaderHash blk)) ⇒ ToExpr (AnchoredFragment blk) # 
Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ AnchoredFragment blk → Expr Source #

listToExpr ∷ [AnchoredFragment blk] → Expr Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) SlotNo Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SlotNo → Encoding Source #

decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s SlotNo Source #

HasHeader block ⇒ Anchorable (WithOrigin SlotNo) (Anchor block) block # 
Instance details

Defined in Ouroboros.Network.AnchoredFragment

Methods

asAnchor ∷ block → Anchor block

getAnchorMeasure ∷ Proxy block → Anchor block → WithOrigin SlotNo

Anchorable (WithOrigin SlotNo) (HeaderStateWithTime blk) (HeaderStateWithTime blk) 
Instance details

Defined in Ouroboros.Consensus.HeaderStateHistory

Methods

asAnchor ∷ HeaderStateWithTime blk → HeaderStateWithTime blk

getAnchorMeasure ∷ Proxy (HeaderStateWithTime blk) → HeaderStateWithTime blk → WithOrigin SlotNo

Anchorable (WithOrigin SlotNo) (ExtLedgerState TestBlock ValuesMK) (TestBlock, ExtLedgerState TestBlock ValuesMK) 
Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.StateMachine

Methods

asAnchor ∷ (TestBlock, ExtLedgerState TestBlock ValuesMK) → ExtLedgerState TestBlock ValuesMK

getAnchorMeasure ∷ Proxy (TestBlock, ExtLedgerState TestBlock ValuesMK) → ExtLedgerState TestBlock ValuesMK → WithOrigin SlotNo

GetTip (l blk) ⇒ Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk) 
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq

Methods

asAnchor ∷ StateRef m l blk → StateRef m l blk

getAnchorMeasure ∷ Proxy (StateRef m l blk) → StateRef m l blk → WithOrigin SlotNo

Hashable (Block SlotNo TestHeaderHash) # 
Instance details

Defined in Test.Ouroboros.Storage.TestBlock

Methods

hashWithSalt ∷ Int → Block SlotNo TestHeaderHash → Int Source #

hash ∷ Block SlotNo TestHeaderHash → Int Source #

type Rep SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.1.0-07100409ee47709d5a70aa9944824dc8255e5cbe1b1f0ced97640bd26d62ab07" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))