Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.Block

Contents

Working with SimpleBlock
Configuration
Protocol-specific part
UpdateLedger
ApplyTx (mempool support)
Crypto
Serialisation

Description

Simple block to go with the mock ledger

None of the definitions in this module depend on, or even refer to, any specific consensus protocols.

Synopsis

data family BlockQuery blk ∷ Type → Type
data family Header blk
type SimpleBlock c ext = SimpleBlock' c ext ext
data SimpleBlock' c ext ext' = SimpleBlock {
- simpleHeader ∷ Header (SimpleBlock' c ext ext')
- simpleBody ∷ SimpleBody
}
data SimpleBody = SimpleBody {
- simpleTxs ∷ [Tx]
}
type family SimpleHash c ∷ Type
type SimpleHeader c ext = Header (SimpleBlock c ext)
data SimpleStdHeader c ext = SimpleStdHeader {
- simplePrev ∷ ChainHash (SimpleBlock c ext)
- simpleSlotNo ∷ SlotNo
- simpleBlockNo ∷ BlockNo
- simpleBodyHash ∷ Hash (SimpleHash c) SimpleBody
- simpleBodySize ∷ SizeInBytes
}
countSimpleGenTxs ∷ SimpleBlock c ext → Word64
matchesSimpleHeader ∷ SimpleCrypto c ⇒ Header (SimpleBlock' c ext ext') → SimpleBlock' c ext ext'' → Bool
mkSimpleHeader ∷ SimpleCrypto c ⇒ (ext' → Encoding) → SimpleStdHeader c ext → ext' → Header (SimpleBlock' c ext ext')
data family BlockConfig blk
data family CodecConfig blk
data SimpleLedgerConfig c ext = SimpleLedgerConfig {
- simpleMockLedgerConfig ∷ !(MockLedgerConfig c ext)
- simpleLedgerEraParams ∷ !EraParams
}
data family StorageConfig blk
class (SimpleCrypto c, Typeable ext, Show (MockLedgerConfig c ext), NoThunks (MockLedgerConfig c ext)) ⇒ MockProtocolSpecific c ext where
- type MockLedgerConfig c ext ∷ Type
data family LedgerState blk
data family Ticked st
genesisSimpleLedgerState ∷ AddrDist → LedgerState (SimpleBlock c ext)
updateSimpleLedgerState ∷ (SimpleCrypto c, Typeable ext) ⇒ SimpleBlock c ext → TickedLedgerState (SimpleBlock c ext) → Except (MockError (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext))
data family GenTx blk
data family TxId tx
data family Validated x
mkSimpleGenTx ∷ Tx → GenTx (SimpleBlock c ext)
txSize ∷ GenTx (SimpleBlock c ext) → Word32
class (HashAlgorithm (SimpleHash c), Typeable c) ⇒ SimpleCrypto c
data SimpleMockCrypto
data SimpleStandardCrypto
decodeSimpleHeader ∷ SimpleCrypto c ⇒ (ext' → Encoding) → (∀ s. Decoder s ext') → ∀ s. Decoder s (Header (SimpleBlock' c ext ext'))
encodeSimpleHeader ∷ (ext' → Encoding) → Header (SimpleBlock' c ext ext') → Encoding
simpleBlockBinaryBlockInfo ∷ (SimpleCrypto c, Serialise ext', Typeable ext, Typeable ext') ⇒ SimpleBlock' c ext ext' → BinaryBlockInfo

Documentation

data family BlockQuery blk ∷ Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

SameDepIndex (BlockQuery (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods sameDepIndex ∷ BlockQuery (SimpleBlock c ext) a → BlockQuery (SimpleBlock c ext) b → Maybe (a :~: b) Source #
(SimpleCrypto c, Typeable ext) ⇒ ShowQuery (BlockQuery (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showResult ∷ BlockQuery (SimpleBlock c ext) result → result → String Source #
SerialiseResult (MockBlock ext) (BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → result → Encoding Source # decodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → ∀ s. Decoder s result Source #
SerialiseNodeToClient (MockBlock ext) (SomeSecond BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeSecond BlockQuery (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeSecond BlockQuery (MockBlock ext)) Source #
Show (BlockQuery (SimpleBlock c ext) result) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → BlockQuery (SimpleBlock c ext) result → ShowS # show ∷ BlockQuery (SimpleBlock c ext) result → String # showList ∷ [BlockQuery (SimpleBlock c ext) result] → ShowS #
(Typeable c, Typeable ext) ⇒ ShowProxy (BlockQuery (SimpleBlock c ext) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (BlockQuery (SimpleBlock c ext)) → String Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS # show ∷ SomeSecond BlockQuery blk → String # showList ∷ [SomeSecond BlockQuery blk] → ShowS #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool #
data BlockQuery (SimpleBlock c ext) result Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data BlockQuery (SimpleBlock c ext) result where QueryLedgerTip ∷ ∀ c ext. BlockQuery (SimpleBlock c ext) (Point (SimpleBlock c ext))

data family Header blk Source #

Instances

type SimpleBlock c ext = SimpleBlock' c ext ext Source #

data SimpleBlock' c ext ext' Source #

Constructors

SimpleBlock
Fields simpleHeader ∷ Header (SimpleBlock' c ext ext') simpleBody ∷ SimpleBody

Instances

Instances details

Serialise ext ⇒ ReconstructNestedCtxt Header (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods reconstructPrefixLen ∷ proxy (Header (MockBlock ext)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (MockBlock ext)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (MockBlock ext) Source #
(Typeable c, Typeable ext, Typeable ext') ⇒ ShowProxy (Header (SimpleBlock' c ext ext') ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (Header (SimpleBlock' c ext ext')) → String Source #
(Typeable c, Typeable ext) ⇒ ShowProxy (GenTx (SimpleBlock c ext) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (GenTx (SimpleBlock c ext)) → String Source #
(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
HasNestedContent f (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods unnest ∷ f (SimpleBlock c ext) → DepPair (NestedCtxt f (SimpleBlock c ext)) Source # nest ∷ DepPair (NestedCtxt f (SimpleBlock c ext)) → f (SimpleBlock c ext) Source #
(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ StandardHash (SimpleBlock' c ext ext' ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block
(Typeable c, Typeable ext, Typeable ext') ⇒ ShowProxy (SimpleBlock' c ext ext' ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (SimpleBlock' c ext ext') → String Source #
Generic (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (BlockConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ BlockConfig (SimpleBlock c ext) → Rep (BlockConfig (SimpleBlock c ext)) x # to ∷ Rep (BlockConfig (SimpleBlock c ext)) x → BlockConfig (SimpleBlock c ext) #
Generic (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (CodecConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ CodecConfig (SimpleBlock c ext) → Rep (CodecConfig (SimpleBlock c ext)) x # to ∷ Rep (CodecConfig (SimpleBlock c ext)) x → CodecConfig (SimpleBlock c ext) #
Generic (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Header (SimpleBlock' c ext ext')) ∷ Type → Type # Methods from ∷ Header (SimpleBlock' c ext ext') → Rep (Header (SimpleBlock' c ext ext')) x # to ∷ Rep (Header (SimpleBlock' c ext ext')) x → Header (SimpleBlock' c ext ext') #
Generic (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (StorageConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ StorageConfig (SimpleBlock c ext) → Rep (StorageConfig (SimpleBlock c ext)) x # to ∷ Rep (StorageConfig (SimpleBlock c ext)) x → StorageConfig (SimpleBlock c ext) #
Generic (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Validated (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x # to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #
Generic (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (LedgerState (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ LedgerState (SimpleBlock c ext) → Rep (LedgerState (SimpleBlock c ext)) x # to ∷ Rep (LedgerState (SimpleBlock c ext)) x → LedgerState (SimpleBlock c ext) #
Generic (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (GenTx (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ GenTx (SimpleBlock c ext) → Rep (GenTx (SimpleBlock c ext)) x # to ∷ Rep (GenTx (SimpleBlock c ext)) x → GenTx (SimpleBlock c ext) #
Generic (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (TxId (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x # to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #
Generic (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Ticked (LedgerState (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (SimpleBlock c ext)) → Rep (Ticked (LedgerState (SimpleBlock c ext))) x # to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext))) x → Ticked (LedgerState (SimpleBlock c ext)) #
(SimpleCrypto c, Show ext', Typeable ext) ⇒ Show (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Header (SimpleBlock' c ext ext') → ShowS # show ∷ Header (SimpleBlock' c ext ext') → String # showList ∷ [Header (SimpleBlock' c ext ext')] → ShowS #
Show (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS # show ∷ Validated (GenTx (SimpleBlock p c)) → String # showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Show (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → LedgerState (SimpleBlock c ext) → ShowS # show ∷ LedgerState (SimpleBlock c ext) → String # showList ∷ [LedgerState (SimpleBlock c ext)] → ShowS #
Show (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → GenTx (SimpleBlock p c) → ShowS # show ∷ GenTx (SimpleBlock p c) → String # showList ∷ [GenTx (SimpleBlock p c)] → ShowS #
Show (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS # show ∷ TxId (GenTx (SimpleBlock c ext)) → String # showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) → ShowS # show ∷ Ticked (LedgerState (SimpleBlock c ext)) → String # showList ∷ [Ticked (LedgerState (SimpleBlock c ext))] → ShowS #
(SimpleCrypto c, Eq ext', Typeable ext) ⇒ Eq (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Header (SimpleBlock' c ext ext') → Header (SimpleBlock' c ext ext') → Bool # (/=) ∷ Header (SimpleBlock' c ext ext') → Header (SimpleBlock' c ext ext') → Bool #
Eq (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #
(SimpleCrypto c, Typeable ext) ⇒ Eq (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ LedgerState (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → Bool # (/=) ∷ LedgerState (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → Bool #
Eq (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (/=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #
Eq (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #
(SimpleCrypto c, Typeable ext) ⇒ Eq (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool # (/=) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool #
Ord (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) # min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #
Ord (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Ordering # (<) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (<=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (>) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (>=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # max ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) # min ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #
Ord (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) # min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #
NoThunks (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (SimpleBlock c ext)) → String Source #
NoThunks (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (SimpleBlock c ext)) → String Source #
(SimpleCrypto c, NoThunks ext', Typeable ext) ⇒ NoThunks (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Header (SimpleBlock' c ext ext') → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (SimpleBlock' c ext ext') → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (SimpleBlock' c ext ext')) → String Source #
NoThunks (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (SimpleBlock c ext)) → String Source #
(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → LedgerState (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (SimpleBlock c ext)) → String Source #
(Typeable p, Typeable c) ⇒ NoThunks (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (SimpleBlock p c)) → String Source #
NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext))) → String Source #
GetTip (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getTip ∷ LedgerState (SimpleBlock c ext) → Point (LedgerState (SimpleBlock c ext)) Source #
GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getTip ∷ Ticked (LedgerState (SimpleBlock c ext)) → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #
MockProtocolSpecific c ext ⇒ IsLedger (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type LedgerErr (LedgerState (SimpleBlock c ext)) Source # type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SlotNo → LedgerState (SimpleBlock c ext) → LedgerResult (LedgerState (SimpleBlock c ext)) (Ticked (LedgerState (SimpleBlock c ext))) Source #
HasTxId (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods txId ∷ GenTx (SimpleBlock c ext) → TxId (GenTx (SimpleBlock c ext)) Source #
SimpleCrypto c ⇒ LedgerSupportsProtocol (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods protocolLedgerView ∷ LedgerConfig (SimplePraosRuleBlock c) → Ticked (LedgerState (SimplePraosRuleBlock c)) → LedgerView (BlockProtocol (SimplePraosRuleBlock c)) Source # ledgerViewForecastAt ∷ LedgerConfig (SimplePraosRuleBlock c) → LedgerState (SimplePraosRuleBlock c) → Forecast (LedgerView (BlockProtocol (SimplePraosRuleBlock c))) Source #
(Serialise ext, Typeable ext) ⇒ SerialiseNodeToClientConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation
Serialise ext ⇒ SerialiseNodeToNodeConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods estimateBlockSize ∷ Header (MockBlock ext) → SizeInBytes Source #
(Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ SerialiseDiskConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation
(Serialise ext, Typeable ext) ⇒ HasBinaryBlockInfo (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods getBinaryBlockInfo ∷ MockBlock ext → BinaryBlockInfo Source #
Condense ext' ⇒ Condense (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ Header (SimpleBlock' c ext ext') → String Source #
Condense (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ GenTx (SimpleBlock p c) → String Source #
Condense (GenTxId (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ GenTxId (SimpleBlock p c) → String Source #
SameDepIndex (BlockQuery (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods sameDepIndex ∷ BlockQuery (SimpleBlock c ext) a → BlockQuery (SimpleBlock c ext) b → Maybe (a :~: b) Source #
HasMockTxs (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source #
(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ HasHeader (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getHeaderFields ∷ Header (SimpleBlock' c ext ext') → HeaderFields (Header (SimpleBlock' c ext ext')) Source #
(SimpleCrypto c, Typeable ext) ⇒ ShowQuery (BlockQuery (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showResult ∷ BlockQuery (SimpleBlock c ext) result → result → String Source #
(SimpleCrypto c, Serialise ext') ⇒ Serialise (Header (SimpleBlock' c ext ext')) Source #	Custom `Serialise` instance that doesn't serialise the hash
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ Header (SimpleBlock' c ext ext') → Encoding Source # decode ∷ Decoder s (Header (SimpleBlock' c ext ext')) Source # encodeList ∷ [Header (SimpleBlock' c ext ext')] → Encoding Source # decodeList ∷ Decoder s [Header (SimpleBlock' c ext ext')] Source #
Serialise (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ LedgerState (SimpleBlock c ext) → Encoding Source # decode ∷ Decoder s (LedgerState (SimpleBlock c ext)) Source # encodeList ∷ [LedgerState (SimpleBlock c ext)] → Encoding Source # decodeList ∷ Decoder s [LedgerState (SimpleBlock c ext)] Source #
Serialise (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ GenTx (SimpleBlock c ext) → Encoding Source # decode ∷ Decoder s (GenTx (SimpleBlock c ext)) Source # encodeList ∷ [GenTx (SimpleBlock c ext)] → Encoding Source # decodeList ∷ Decoder s [GenTx (SimpleBlock c ext)] Source #
Serialise (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source # decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source # encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #
SerialiseNodeToClient (MockBlock ext) SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s SlotNo Source #
DecodeDisk (SimplePraosRuleBlock c) () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods decodeDisk ∷ CodecConfig (SimplePraosRuleBlock c) → ∀ s. Decoder s () Source #
EncodeDisk (SimplePraosRuleBlock c) () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods encodeDisk ∷ CodecConfig (SimplePraosRuleBlock c) → () → Encoding Source #
SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
SerialiseNodeToClient (MockBlock ext) (MockError (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockError (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockError (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToClient (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockBlock ext → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Header (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Header (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (SerialisedHeader (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → SerialisedHeader (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (SerialisedHeader (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → MockBlock ext → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #
SerialiseResult (MockBlock ext) (BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → result → Encoding Source # decodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → ∀ s. Decoder s result Source #
DecodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (AnnTip (MockBlock ext)) Source #
DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (LedgerState (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → ∀ s. Decoder s (ByteString → a) Source #
Serialise ext ⇒ DecodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDiskDepIx ∷ CodecConfig (MockBlock ext) → Decoder s (SomeSecond (NestedCtxt Header) (MockBlock ext)) Source #
Serialise ext ⇒ EncodeDisk (MockBlock ext) (Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → Header (MockBlock ext) → Encoding Source #
EncodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → AnnTip (MockBlock ext) → Encoding Source #
EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) → Encoding Source #
Serialise ext ⇒ EncodeDisk (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → MockBlock ext → Encoding Source #
Serialise ext ⇒ EncodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → a → Encoding Source #
Serialise ext ⇒ EncodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (MockBlock ext) → SomeSecond (NestedCtxt Header) (MockBlock ext) → Encoding Source #
MockProtocolSpecific c ext ⇒ ApplyBlock (LedgerState (SimpleBlock c ext)) (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) → LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext)) Source #
SerialiseNodeToClient (MockBlock ext) (Serialised (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (Serialised (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → Header (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → MockBlock ext) Source #
SerialiseNodeToClient (MockBlock ext) (SomeSecond BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeSecond BlockQuery (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeSecond BlockQuery (MockBlock ext)) Source #
Show (BlockQuery (SimpleBlock c ext) result) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → BlockQuery (SimpleBlock c ext) result → ShowS # show ∷ BlockQuery (SimpleBlock c ext) result → String # showList ∷ [BlockQuery (SimpleBlock c ext) result] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ GetPrevHash (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods headerPrevHash ∷ Header (SimpleBlock c ext) → ChainHash (SimpleBlock c ext) Source #
(BlockSupportsProtocol (SimpleBlock c ext), Show (SelectView (BlockProtocol (SimpleBlock c ext)))) ⇒ BlockSupportsDiffusionPipelining (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Associated Types type TentativeHeaderState (SimpleBlock c ext) Source # type TentativeHeaderView (SimpleBlock c ext) Source # Methods initialTentativeHeaderState ∷ Proxy (SimpleBlock c ext) → TentativeHeaderState (SimpleBlock c ext) Source # tentativeHeaderView ∷ BlockConfig (SimpleBlock c ext) → Header (SimpleBlock c ext) → TentativeHeaderView (SimpleBlock c ext) Source # applyTentativeHeaderView ∷ Proxy (SimpleBlock c ext) → TentativeHeaderView (SimpleBlock c ext) → TentativeHeaderState (SimpleBlock c ext) → Maybe (TentativeHeaderState (SimpleBlock c ext)) Source #
BlockSupportsMetrics (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Methods isSelfIssued ∷ BlockConfig (SimpleBlock c ext) → Header (SimpleBlock c ext) → WhetherSelfIssued Source #
(SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ BlockSupportsProtocol (SimpleBlock c (SimplePraosExt c c')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods validateView ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → Header (SimpleBlock c (SimplePraosExt c c')) → ValidateView (BlockProtocol (SimpleBlock c (SimplePraosExt c c'))) Source # selectView ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → Header (SimpleBlock c (SimplePraosExt c c')) → SelectView (BlockProtocol (SimpleBlock c (SimplePraosExt c c'))) Source # projectChainOrderConfig ∷ BlockConfig (SimpleBlock c (SimplePraosExt c c')) → ChainOrderConfig (SelectView (BlockProtocol (SimpleBlock c (SimplePraosExt c c')))) Source #
SimpleCrypto c ⇒ BlockSupportsProtocol (SimpleBlock c SimplePraosRuleExt) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Methods validateView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → ValidateView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source # selectView ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → Header (SimpleBlock c SimplePraosRuleExt) → SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt)) Source # projectChainOrderConfig ∷ BlockConfig (SimpleBlock c SimplePraosRuleExt) → ChainOrderConfig (SelectView (BlockProtocol (SimpleBlock c SimplePraosRuleExt))) Source #
(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ BlockSupportsProtocol (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods validateView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → ValidateView (BlockProtocol (SimpleBftBlock c c')) Source # selectView ∷ BlockConfig (SimpleBftBlock c c') → Header (SimpleBftBlock c c') → SelectView (BlockProtocol (SimpleBftBlock c c')) Source # projectChainOrderConfig ∷ BlockConfig (SimpleBftBlock c c') → ChainOrderConfig (SelectView (BlockProtocol (SimpleBftBlock c c'))) Source #
(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ BlockSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods validateView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → ValidateView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # selectView ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → Header (SimplePBftBlock c PBftMockCrypto) → SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # projectChainOrderConfig ∷ BlockConfig (SimplePBftBlock c PBftMockCrypto) → ChainOrderConfig (SelectView (BlockProtocol (SimplePBftBlock c PBftMockCrypto))) Source #
RunMockBlock c ext ⇒ ConfigSupportsNode (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Abstract Methods getSystemStart ∷ BlockConfig (SimpleBlock c ext) → SystemStart Source # getNetworkMagic ∷ BlockConfig (SimpleBlock c ext) → NetworkMagic Source #
HasHardForkHistory (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type HardForkIndices (SimpleBlock c ext) ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → Summary (HardForkIndices (SimpleBlock c ext)) Source #
(SimpleCrypto c, Typeable ext) ⇒ BasicEnvelopeValidation (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods expectedFirstBlockNo ∷ proxy (SimpleBlock c ext) → BlockNo Source # expectedNextBlockNo ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy (SimpleBlock c ext) → SlotNo Source # minimumNextSlotNo ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → SlotNo → SlotNo Source #
(SimpleCrypto c, Typeable ext) ⇒ HasAnnTip (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type TipInfo (SimpleBlock c ext) Source # Methods getTipInfo ∷ Header (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) Source # tipInfoHash ∷ proxy (SimpleBlock c ext) → TipInfo (SimpleBlock c ext) → HeaderHash (SimpleBlock c ext) Source #
(SimpleCrypto c, Typeable ext) ⇒ ValidateEnvelope (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type OtherHeaderEnvelopeError (SimpleBlock c ext) Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig (SimpleBlock c ext) → LedgerView (BlockProtocol (SimpleBlock c ext)) → Header (SimpleBlock c ext) → Except (OtherHeaderEnvelopeError (SimpleBlock c ext)) () Source #
MockProtocolSpecific c ext ⇒ UpdateLedger (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block
MockProtocolSpecific c ext ⇒ CommonProtocolParams (SimpleBlock c ext) Source #	Dummy values
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods maxHeaderSize ∷ LedgerState (SimpleBlock c ext) → Word32 Source # maxTxSize ∷ LedgerState (SimpleBlock c ext) → Word32 Source #
InspectLedger (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type LedgerWarning (SimpleBlock c ext) Source # type LedgerUpdate (SimpleBlock c ext) Source # Methods inspectLedger ∷ TopLevelConfig (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → [LedgerEvent (SimpleBlock c ext)] Source #
MockProtocolSpecific c ext ⇒ BlockSupportsLedgerQuery (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods answerBlockQuery ∷ ExtLedgerCfg (SimpleBlock c ext) → BlockQuery (SimpleBlock c ext) result → ExtLedgerState (SimpleBlock c ext) → result Source #
HasTxs (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods extractTxs ∷ SimpleBlock c ext → [GenTx (SimpleBlock c ext)] Source #
MockProtocolSpecific c ext ⇒ LedgerSupportsMempool (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods txInvariant ∷ GenTx (SimpleBlock c ext) → Bool Source # applyTx ∷ LedgerConfig (SimpleBlock c ext) → WhetherToIntervene → SlotNo → GenTx (SimpleBlock c ext) → TickedLedgerState (SimpleBlock c ext) → Except (ApplyTxErr (SimpleBlock c ext)) (TickedLedgerState (SimpleBlock c ext), Validated (GenTx (SimpleBlock c ext))) Source # reapplyTx ∷ LedgerConfig (SimpleBlock c ext) → SlotNo → Validated (GenTx (SimpleBlock c ext)) → TickedLedgerState (SimpleBlock c ext) → Except (ApplyTxErr (SimpleBlock c ext)) (TickedLedgerState (SimpleBlock c ext)) Source # txsMaxBytes ∷ TickedLedgerState (SimpleBlock c ext) → Word32 Source # txInBlockSize ∷ GenTx (SimpleBlock c ext) → Word32 Source # txForgetValidated ∷ Validated (GenTx (SimpleBlock c ext)) → GenTx (SimpleBlock c ext) Source #
LedgerSupportsPeerSelection (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getPeers ∷ LedgerState (SimpleBlock c ext) → [(PoolStake, NonEmpty StakePoolRelay)] Source #
(SimpleCrypto c, BftCrypto c', Signable (BftDSIGN c') (SignedSimpleBft c c')) ⇒ LedgerSupportsProtocol (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods protocolLedgerView ∷ LedgerConfig (SimpleBftBlock c c') → Ticked (LedgerState (SimpleBftBlock c c')) → LedgerView (BlockProtocol (SimpleBftBlock c c')) Source # ledgerViewForecastAt ∷ LedgerConfig (SimpleBftBlock c c') → LedgerState (SimpleBftBlock c c') → Forecast (LedgerView (BlockProtocol (SimpleBftBlock c c'))) Source #
(SimpleCrypto c, Signable MockDSIGN (SignedSimplePBft c PBftMockCrypto)) ⇒ LedgerSupportsProtocol (SimplePBftBlock c PBftMockCrypto) Source #	The ledger view is constant for the mock instantiation of PBFT (mock blocks cannot change delegation)
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods protocolLedgerView ∷ LedgerConfig (SimplePBftBlock c PBftMockCrypto) → Ticked (LedgerState (SimplePBftBlock c PBftMockCrypto)) → LedgerView (BlockProtocol (SimplePBftBlock c PBftMockCrypto)) Source # ledgerViewForecastAt ∷ LedgerConfig (SimplePBftBlock c PBftMockCrypto) → LedgerState (SimplePBftBlock c PBftMockCrypto) → Forecast (LedgerView (BlockProtocol (SimplePBftBlock c PBftMockCrypto))) Source #
(SimpleCrypto c, PraosCrypto c', Signable (PraosKES c') (SignedSimplePraos c c')) ⇒ LedgerSupportsProtocol (SimplePraosBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods protocolLedgerView ∷ LedgerConfig (SimplePraosBlock c c') → Ticked (LedgerState (SimplePraosBlock c c')) → LedgerView (BlockProtocol (SimplePraosBlock c c')) Source # ledgerViewForecastAt ∷ LedgerConfig (SimplePraosBlock c c') → LedgerState (SimplePraosBlock c c') → Forecast (LedgerView (BlockProtocol (SimplePraosBlock c c'))) Source #
NodeInitStorage (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Methods nodeImmutableDbChunkInfo ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → SimpleBlock SimpleMockCrypto ext → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (SimpleBlock SimpleMockCrypto ext) → InitChainDB m (SimpleBlock SimpleMockCrypto ext) → m () Source #
HasNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Associated Types type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) Source # type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) Source #
SupportedNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Methods supportedNodeToNodeVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToNodeVersion (BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext)) Source # supportedNodeToClientVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToClientVersion (BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext)) Source # latestReleasedNodeVersion ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
(LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext), Show (CannotForge (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateUpdateError (SimpleBlock SimpleMockCrypto ext)), Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node
SignedHeader (SimpleBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods headerSigned ∷ SimpleBftHeader c c' → Signed (SimpleBftHeader c c') Source #
SignedHeader (SimplePBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods headerSigned ∷ SimplePBftHeader c c' → Signed (SimplePBftHeader c c') Source #
PraosCrypto c' ⇒ SignedHeader (SimplePraosHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods headerSigned ∷ SimplePraosHeader c c' → Signed (SimplePraosHeader c c') Source #
SameDepIndex (NestedCtxt_ (SimpleBlock c ext) f) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods sameDepIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → Maybe (a :~: b) Source #
TrivialDependency (NestedCtxt_ (SimpleBlock c ext) f) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Associated Types type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) Source # Methods hasSingleIndex ∷ NestedCtxt_ (SimpleBlock c ext) f a → NestedCtxt_ (SimpleBlock c ext) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (SimpleBlock c ext) f (TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f)) Source #
DecodeDisk (SimpleBftBlock c c') () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods decodeDisk ∷ CodecConfig (SimpleBftBlock c c') → ∀ s. Decoder s () Source #
EncodeDisk (SimpleBftBlock c c') () Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Methods encodeDisk ∷ CodecConfig (SimpleBftBlock c c') → () → Encoding Source #
(Serialise (PBftVerKeyHash c'), PBftCrypto c') ⇒ DecodeDisk (SimplePBftBlock c c') (PBftState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods decodeDisk ∷ CodecConfig (SimplePBftBlock c c') → ∀ s. Decoder s (PBftState c') Source #
PraosCrypto c' ⇒ DecodeDisk (SimplePraosBlock c c') (PraosChainDepState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods decodeDisk ∷ CodecConfig (SimplePraosBlock c c') → ∀ s. Decoder s (PraosChainDepState c') Source #
(Serialise (PBftVerKeyHash c'), PBftCrypto c') ⇒ EncodeDisk (SimplePBftBlock c c') (PBftState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Methods encodeDisk ∷ CodecConfig (SimplePBftBlock c c') → PBftState c' → Encoding Source #
PraosCrypto c' ⇒ EncodeDisk (SimplePraosBlock c c') (PraosChainDepState c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Methods encodeDisk ∷ CodecConfig (SimplePraosBlock c c') → PraosChainDepState c' → Encoding Source #
(Typeable c, Typeable ext) ⇒ ShowProxy (BlockQuery (SimpleBlock c ext) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (BlockQuery (SimpleBlock c ext)) → String Source #
Generic (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (SimpleBlock' c ext ext') ∷ Type → Type # Methods from ∷ SimpleBlock' c ext ext' → Rep (SimpleBlock' c ext ext') x # to ∷ Rep (SimpleBlock' c ext ext') x → SimpleBlock' c ext ext' #
Show (NestedCtxt_ (SimpleBlock c ext) f a) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods showsPrec ∷ Int → NestedCtxt_ (SimpleBlock c ext) f a → ShowS # show ∷ NestedCtxt_ (SimpleBlock c ext) f a → String # showList ∷ [NestedCtxt_ (SimpleBlock c ext) f a] → ShowS #
(SimpleCrypto c, Show ext', Typeable ext) ⇒ Show (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → SimpleBlock' c ext ext' → ShowS # show ∷ SimpleBlock' c ext ext' → String # showList ∷ [SimpleBlock' c ext ext'] → ShowS #
(SimpleCrypto c, Eq ext', Typeable ext) ⇒ Eq (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ SimpleBlock' c ext ext' → SimpleBlock' c ext ext' → Bool # (/=) ∷ SimpleBlock' c ext ext' → SimpleBlock' c ext ext' → Bool #
SimpleCrypto c ⇒ ConvertRawHash (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods toRawHash ∷ proxy (SimpleBlock' c ext ext') → HeaderHash (SimpleBlock' c ext ext') → ByteString Source # fromRawHash ∷ proxy (SimpleBlock' c ext ext') → ByteString → HeaderHash (SimpleBlock' c ext ext') Source # toShortRawHash ∷ proxy (SimpleBlock' c ext ext') → HeaderHash (SimpleBlock' c ext ext') → ShortByteString Source # fromShortRawHash ∷ proxy (SimpleBlock' c ext ext') → ShortByteString → HeaderHash (SimpleBlock' c ext ext') Source # hashSize ∷ proxy (SimpleBlock' c ext ext') → Word32 Source #
(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ GetHeader (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getHeader ∷ SimpleBlock' c ext ext' → Header (SimpleBlock' c ext ext') Source # blockMatchesHeader ∷ Header (SimpleBlock' c ext ext') → SimpleBlock' c ext ext' → Bool Source # headerIsEBB ∷ Header (SimpleBlock' c ext ext') → Maybe EpochNo Source #
Condense ext' ⇒ Condense (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ SimpleBlock' c ext ext' → String Source #
HasMockTxs (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBlock' c ext ext' → [Tx] Source #
(SimpleCrypto c, Typeable ext, Typeable ext') ⇒ HasHeader (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getHeaderFields ∷ SimpleBlock' c ext ext' → HeaderFields (SimpleBlock' c ext ext') Source #
(SimpleCrypto c, Serialise ext') ⇒ Serialise (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ SimpleBlock' c ext ext' → Encoding Source # decode ∷ Decoder s (SimpleBlock' c ext ext') Source # encodeList ∷ [SimpleBlock' c ext ext'] → Encoding Source # decodeList ∷ Decoder s [SimpleBlock' c ext ext'] Source #
type HeaderHash (SimpleBlock' c ext ext' ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type HeaderHash (SimpleBlock' c ext ext' ∷ Type) = Hash (SimpleHash c) (Header (SimpleBlock' c ext ext'))
type Rep (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Header (SimpleBlock' c ext ext')) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Header (SimpleBlock' c ext ext')) = D1 ('MetaData "Header" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderHash (SimpleBlock' c ext ext'))) :: (S1 ('MetaSel ('Just "simpleHeaderStd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SimpleStdHeader c ext)) :: S1 ('MetaSel ('Just "simpleHeaderExt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ext'))))
type Rep (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))
type Rep (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))
type Rep (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (LedgerState (SimpleBlock c ext)) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext)))))
type Rep (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))
type Rep (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))
type Rep (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Ticked (LedgerState (SimpleBlock c ext))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext)))))
type BlockProtocol (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type BlockProtocol (SimplePraosRuleBlock c) = WithLeaderSchedule (Praos PraosCryptoUnused)
type CannotForge (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type CannotForge (SimplePraosRuleBlock c) = Void
type ForgeStateInfo (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type ForgeStateInfo (SimplePraosRuleBlock c) = ()
type ForgeStateUpdateError (SimplePraosRuleBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule type ForgeStateUpdateError (SimplePraosRuleBlock c) = Void
newtype Validated (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx { forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext) }
type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (SimpleBlock c ext)
type LedgerCfg (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerCfg (LedgerState (SimpleBlock c ext)) = SimpleLedgerConfig c ext
type LedgerErr (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)
newtype TxId (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId { unSimpleGenTxId ∷ TxId }
newtype Ticked (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Ticked (LedgerState (SimpleBlock c ext)) = TickedSimpleLedgerState { getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) }
data BlockConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data BlockConfig (SimpleBlock c ext) = SimpleBlockConfig
type BlockProtocol (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type BlockProtocol (SimpleBftBlock c c') = Bft c'
type BlockProtocol (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type BlockProtocol (SimplePBftBlock c c') = PBft c'
type BlockProtocol (SimplePraosBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type BlockProtocol (SimplePraosBlock c c') = Praos c'
data CodecConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data CodecConfig (SimpleBlock c ext) = SimpleCodecConfig
data StorageConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data StorageConfig (SimpleBlock c ext) = SimpleStorageConfig SecurityParam
type CannotForge (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type CannotForge (SimpleBftBlock c c') = Void
type CannotForge (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type CannotForge (SimplePBftBlock c c') = PBftCannotForge c'
type CannotForge (SimplePraosBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type CannotForge (SimplePraosBlock c c') = Void
type ForgeStateInfo (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type ForgeStateInfo (SimpleBftBlock c c') = ()
type ForgeStateInfo (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type ForgeStateInfo (SimplePBftBlock c c') = ()
type ForgeStateInfo (SimplePraosBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type ForgeStateInfo (SimplePraosBlock c c') = HotKey c'
type ForgeStateUpdateError (SimpleBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type ForgeStateUpdateError (SimpleBftBlock c c') = Void
type ForgeStateUpdateError (SimplePBftBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type ForgeStateUpdateError (SimplePBftBlock c c') = Void
type ForgeStateUpdateError (SimplePraosBlock c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type ForgeStateUpdateError (SimplePraosBlock c c') = HotKeyEvolutionError
data NestedCtxt_ (SimpleBlock c ext) f a Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation data NestedCtxt_ (SimpleBlock c ext) f a where CtxtMock ∷ ∀ c ext (f ∷ Type → Type). NestedCtxt_ (SimpleBlock c ext) f (f (SimpleBlock c ext))
type TentativeHeaderState (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type TentativeHeaderState (SimpleBlock c ext) = TentativeHeaderState (SelectViewDiffusionPipelining (SimpleBlock c ext))
type TentativeHeaderView (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type TentativeHeaderView (SimpleBlock c ext) = TentativeHeaderView (SelectViewDiffusionPipelining (SimpleBlock c ext))
type HardForkIndices (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type HardForkIndices (SimpleBlock c ext) = '[SimpleBlock c ext]
type OtherHeaderEnvelopeError (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type OtherHeaderEnvelopeError (SimpleBlock c ext) = Void
type TipInfo (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type TipInfo (SimpleBlock c ext) = HeaderHash (SimpleBlock c ext)
newtype LedgerState (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype LedgerState (SimpleBlock c ext) = SimpleLedgerState { simpleLedgerState ∷ MockState (SimpleBlock c ext) }
type LedgerUpdate (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerUpdate (SimpleBlock c ext) = Void
type LedgerWarning (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerWarning (SimpleBlock c ext) = Void
data BlockQuery (SimpleBlock c ext) result Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data BlockQuery (SimpleBlock c ext) result where QueryLedgerTip ∷ ∀ c ext. BlockQuery (SimpleBlock c ext) (Point (SimpleBlock c ext))
type ApplyTxErr (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type ApplyTxErr (SimpleBlock c ext) = MockError (SimpleBlock c ext)
data GenTx (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data GenTx (SimpleBlock c ext) = SimpleGenTx { simpleGenTx ∷ !Tx simpleGenTxId ∷ !TxId }
type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) = ()
type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) = ()
type Signed (SimpleBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT type Signed (SimpleBftHeader c c') = SignedSimpleBft c c'
type Signed (SimplePBftHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT type Signed (SimplePBftHeader c c') = SignedSimplePBft c c'
type Signed (SimplePraosHeader c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos type Signed (SimplePraosHeader c c') = SignedSimplePraos c c'
type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation type TrivialIndex (NestedCtxt_ (SimpleBlock c ext) f) = f (SimpleBlock c ext)
type Rep (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (SimpleBlock' c ext ext') = D1 ('MetaData "SimpleBlock'" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header (SimpleBlock' c ext ext'))) :*: S1 ('MetaSel ('Just "simpleBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleBody)))
data Header (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data Header (SimpleBlock' c ext ext') = SimpleHeader { simpleHeaderHash ∷ HeaderHash (SimpleBlock' c ext ext') simpleHeaderStd ∷ SimpleStdHeader c ext simpleHeaderExt ∷ ext' }

data SimpleBody Source #

Constructors

SimpleBody
Fields simpleTxs ∷ [Tx]

Instances

Instances details

Generic SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep SimpleBody ∷ Type → Type # Methods from ∷ SimpleBody → Rep SimpleBody x # to ∷ Rep SimpleBody x → SimpleBody #
Show SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → SimpleBody → ShowS # show ∷ SimpleBody → String # showList ∷ [SimpleBody] → ShowS #
ToCBOR SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods toCBOR ∷ SimpleBody → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SimpleBody → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SimpleBody] → Size Source #
Eq SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ SimpleBody → SimpleBody → Bool # (/=) ∷ SimpleBody → SimpleBody → Bool #
HasMockTxs SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBody → [Tx] Source #
Serialise SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ SimpleBody → Encoding Source # decode ∷ Decoder s SimpleBody Source # encodeList ∷ [SimpleBody] → Encoding Source # decodeList ∷ Decoder s [SimpleBody] Source #
type Rep SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep SimpleBody = D1 ('MetaData "SimpleBody" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tx])))

type family SimpleHash c ∷ Type Source #

Instances

Instances details

type SimpleHash SimpleMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleMockCrypto = ShortHash
type SimpleHash SimpleStandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleStandardCrypto = SHA256

type SimpleHeader c ext = Header (SimpleBlock c ext) Source #

data SimpleStdHeader c ext Source #

Constructors

SimpleStdHeader
Fields simplePrev ∷ ChainHash (SimpleBlock c ext) simpleSlotNo ∷ SlotNo simpleBlockNo ∷ BlockNo simpleBodyHash ∷ Hash (SimpleHash c) SimpleBody simpleBodySize ∷ SizeInBytes

Instances

Instances details

Generic (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (SimpleStdHeader c ext) ∷ Type → Type # Methods from ∷ SimpleStdHeader c ext → Rep (SimpleStdHeader c ext) x # to ∷ Rep (SimpleStdHeader c ext) x → SimpleStdHeader c ext #
(SimpleCrypto c, Typeable ext) ⇒ Show (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → SimpleStdHeader c ext → ShowS # show ∷ SimpleStdHeader c ext → String # showList ∷ [SimpleStdHeader c ext] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Eq (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ SimpleStdHeader c ext → SimpleStdHeader c ext → Bool # (/=) ∷ SimpleStdHeader c ext → SimpleStdHeader c ext → Bool #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → SimpleStdHeader c ext → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SimpleStdHeader c ext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SimpleStdHeader c ext) → String Source #
Serialise (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ SimpleStdHeader c ext → Encoding Source # decode ∷ Decoder s (SimpleStdHeader c ext) Source # encodeList ∷ [SimpleStdHeader c ext] → Encoding Source # decodeList ∷ Decoder s [SimpleStdHeader c ext] Source #
type Rep (SimpleStdHeader c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (SimpleStdHeader c ext) = D1 ('MetaData "SimpleStdHeader" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStdHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "simplePrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash (SimpleBlock c ext))) :: S1 ('MetaSel ('Just "simpleSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Just "simpleBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :: (S1 ('MetaSel ('Just "simpleBodyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (SimpleHash c) SimpleBody)) :: S1 ('MetaSel ('Just "simpleBodySize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SizeInBytes)))))

Working with `SimpleBlock`

countSimpleGenTxs ∷ SimpleBlock c ext → Word64 Source #

matchesSimpleHeader ∷ SimpleCrypto c ⇒ Header (SimpleBlock' c ext ext') → SimpleBlock' c ext ext'' → Bool Source #

Check whether the block matches the header

mkSimpleHeader ∷ SimpleCrypto c ⇒ (ext' → Encoding) → SimpleStdHeader c ext → ext' → Header (SimpleBlock' c ext ext') Source #

Create a header by hashing the header without hash and adding to the resulting value.

Configuration

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Generic (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (BlockConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ BlockConfig (SimpleBlock c ext) → Rep (BlockConfig (SimpleBlock c ext)) x # to ∷ Rep (BlockConfig (SimpleBlock c ext)) x → BlockConfig (SimpleBlock c ext) #
NoThunks (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (SimpleBlock c ext)) → String Source #
type Rep (BlockConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (BlockConfig (SimpleBlock c ext)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype BlockConfig (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
data BlockConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data BlockConfig (SimpleBlock c ext) = SimpleBlockConfig

data family CodecConfig blk Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Generic (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (CodecConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ CodecConfig (SimpleBlock c ext) → Rep (CodecConfig (SimpleBlock c ext)) x # to ∷ Rep (CodecConfig (SimpleBlock c ext)) x → CodecConfig (SimpleBlock c ext) #
NoThunks (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (SimpleBlock c ext)) → String Source #
type Rep (CodecConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (CodecConfig (SimpleBlock c ext)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
data CodecConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data CodecConfig (SimpleBlock c ext) = SimpleCodecConfig

data SimpleLedgerConfig c ext Source #

Constructors

SimpleLedgerConfig
Fields simpleMockLedgerConfig ∷ !(MockLedgerConfig c ext) Config required by the various kinds of mock block (PFT, Praos, ..) simpleLedgerEraParams ∷ !EraParams Era parameters

Instances

Instances details

Generic (SimpleLedgerConfig c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (SimpleLedgerConfig c ext) ∷ Type → Type # Methods from ∷ SimpleLedgerConfig c ext → Rep (SimpleLedgerConfig c ext) x # to ∷ Rep (SimpleLedgerConfig c ext) x → SimpleLedgerConfig c ext #
Show (MockLedgerConfig c ext) ⇒ Show (SimpleLedgerConfig c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → SimpleLedgerConfig c ext → ShowS # show ∷ SimpleLedgerConfig c ext → String # showList ∷ [SimpleLedgerConfig c ext] → ShowS #
NoThunks (MockLedgerConfig c ext) ⇒ NoThunks (SimpleLedgerConfig c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → SimpleLedgerConfig c ext → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SimpleLedgerConfig c ext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SimpleLedgerConfig c ext) → String Source #
type Rep (SimpleLedgerConfig c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (SimpleLedgerConfig c ext) = D1 ('MetaData "SimpleLedgerConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleMockLedgerConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MockLedgerConfig c ext)) :*: S1 ('MetaSel ('Just "simpleLedgerEraParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams)))

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Generic (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (StorageConfig (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ StorageConfig (SimpleBlock c ext) → Rep (StorageConfig (SimpleBlock c ext)) x # to ∷ Rep (StorageConfig (SimpleBlock c ext)) x → StorageConfig (SimpleBlock c ext) #
NoThunks (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (SimpleBlock c ext)) → String Source #
type Rep (StorageConfig (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (StorageConfig (SimpleBlock c ext)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleStorageConfig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam)))
data StorageConfig (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data StorageConfig (SimpleBlock c ext) = SimpleStorageConfig SecurityParam

Protocol-specific part

class (SimpleCrypto c, Typeable ext, Show (MockLedgerConfig c ext), NoThunks (MockLedgerConfig c ext)) ⇒ MockProtocolSpecific c ext Source #

Associated Types

type MockLedgerConfig c ext ∷ Type Source #

Instances

Instances details

SimpleCrypto c ⇒ MockProtocolSpecific c SimplePraosRuleExt Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PraosRule Associated Types type MockLedgerConfig c SimplePraosRuleExt Source #
(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimpleBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.BFT Associated Types type MockLedgerConfig c (SimpleBftExt c c') Source #
(SimpleCrypto c, PBftCrypto c') ⇒ MockProtocolSpecific c (SimplePBftExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.PBFT Associated Types type MockLedgerConfig c (SimplePBftExt c c') Source #
(SimpleCrypto c, Typeable c') ⇒ MockProtocolSpecific c (SimplePraosExt c c') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block.Praos Associated Types type MockLedgerConfig c (SimplePraosExt c c') Source #

`UpdateLedger`

data family LedgerState blk Source #

Ledger state associated with a block

This is the Consensus notion of a ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l, we intend to denote that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details

Generic (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (LedgerState (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ LedgerState (SimpleBlock c ext) → Rep (LedgerState (SimpleBlock c ext)) x # to ∷ Rep (LedgerState (SimpleBlock c ext)) x → LedgerState (SimpleBlock c ext) #
Generic (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Ticked (LedgerState (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (SimpleBlock c ext)) → Rep (Ticked (LedgerState (SimpleBlock c ext))) x # to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext))) x → Ticked (LedgerState (SimpleBlock c ext)) #
(SimpleCrypto c, Typeable ext) ⇒ Show (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → LedgerState (SimpleBlock c ext) → ShowS # show ∷ LedgerState (SimpleBlock c ext) → String # showList ∷ [LedgerState (SimpleBlock c ext)] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) → ShowS # show ∷ Ticked (LedgerState (SimpleBlock c ext)) → String # showList ∷ [Ticked (LedgerState (SimpleBlock c ext))] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Eq (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ LedgerState (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → Bool # (/=) ∷ LedgerState (SimpleBlock c ext) → LedgerState (SimpleBlock c ext) → Bool #
(SimpleCrypto c, Typeable ext) ⇒ Eq (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool # (/=) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → LedgerState (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (SimpleBlock c ext) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (SimpleBlock c ext)) → String Source #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext))) → String Source #
GetTip (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getTip ∷ LedgerState (SimpleBlock c ext) → Point (LedgerState (SimpleBlock c ext)) Source #
GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getTip ∷ Ticked (LedgerState (SimpleBlock c ext)) → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #
MockProtocolSpecific c ext ⇒ IsLedger (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type LedgerErr (LedgerState (SimpleBlock c ext)) Source # type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SlotNo → LedgerState (SimpleBlock c ext) → LedgerResult (LedgerState (SimpleBlock c ext)) (Ticked (LedgerState (SimpleBlock c ext))) Source #
Serialise (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ LedgerState (SimpleBlock c ext) → Encoding Source # decode ∷ Decoder s (LedgerState (SimpleBlock c ext)) Source # encodeList ∷ [LedgerState (SimpleBlock c ext)] → Encoding Source # decodeList ∷ Decoder s [LedgerState (SimpleBlock c ext)] Source #
DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (LedgerState (MockBlock ext)) Source #
EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) → Encoding Source #
MockProtocolSpecific c ext ⇒ ApplyBlock (LedgerState (SimpleBlock c ext)) (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) → Except (LedgerErr (LedgerState (SimpleBlock c ext))) (LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext))) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState (SimpleBlock c ext)) → SimpleBlock c ext → Ticked (LedgerState (SimpleBlock c ext)) → LedgerResult (LedgerState (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext)) Source #
type HeaderHash (LedgerState blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk ∷ Type) = HeaderHash blk
type Rep (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (LedgerState (SimpleBlock c ext)) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MockState (SimpleBlock c ext)))))
type Rep (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Ticked (LedgerState (SimpleBlock c ext))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext)))))
type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type AuxLedgerEvent (LedgerState (SimpleBlock c ext)) = VoidLedgerEvent (SimpleBlock c ext)
type LedgerCfg (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerCfg (LedgerState (SimpleBlock c ext)) = SimpleLedgerConfig c ext
type LedgerErr (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type LedgerErr (LedgerState (SimpleBlock c ext)) = MockError (SimpleBlock c ext)
newtype Ticked (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Ticked (LedgerState (SimpleBlock c ext)) = TickedSimpleLedgerState { getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) }
newtype LedgerState (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype LedgerState (SimpleBlock c ext) = SimpleLedgerState { simpleLedgerState ∷ MockState (SimpleBlock c ext) }

data family Ticked st Source #

" Ticked " piece of state, either LedgerState or ChainDepState

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

Also note that a successful forecast forecastFor (ledgerViewForecastAt cfg st) slot must equal protocolLedgerView cfg (applyChainTick cfg slot st). Thus a LedgerView can only be projected from a Ticked state, but cannot itself be ticked.

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Instances

Instances details

Generic (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Ticked (LedgerState (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (SimpleBlock c ext)) → Rep (Ticked (LedgerState (SimpleBlock c ext))) x # to ∷ Rep (Ticked (LedgerState (SimpleBlock c ext))) x → Ticked (LedgerState (SimpleBlock c ext)) #
(SimpleCrypto c, Typeable ext) ⇒ Show (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Ticked (LedgerState (SimpleBlock c ext)) → ShowS # show ∷ Ticked (LedgerState (SimpleBlock c ext)) → String # showList ∷ [Ticked (LedgerState (SimpleBlock c ext))] → ShowS #
Show (Ticked ())
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked () → ShowS # show ∷ Ticked () → String # showList ∷ [Ticked ()] → ShowS #
(SimpleCrypto c, Typeable ext) ⇒ Eq (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool # (/=) ∷ Ticked (LedgerState (SimpleBlock c ext)) → Ticked (LedgerState (SimpleBlock c ext)) → Bool #
(SimpleCrypto c, Typeable ext) ⇒ NoThunks (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (SimpleBlock c ext))) → String Source #
GetTip (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getTip ∷ Ticked (LedgerState (SimpleBlock c ext)) → Point (Ticked (LedgerState (SimpleBlock c ext))) Source #
IsLedger (LedgerState blk) ⇒ GetTip (Ticked (ExtLedgerState blk))
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip ∷ Ticked (ExtLedgerState blk) → Point (Ticked (ExtLedgerState blk)) Source #
Show (Ticked (f a)) ⇒ Show ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → (Ticked :.: f) a → ShowS # show ∷ (Ticked :.: f) a → String # showList ∷ [(Ticked :.: f) a] → ShowS #
NoThunks (Ticked (f a)) ⇒ NoThunks ((Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → (Ticked :.: f) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ((Ticked :.: f) a) → String Source #
data Ticked ()
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type HeaderHash (Ticked l ∷ Type)
Instance details Defined in Ouroboros.Consensus.Ticked type HeaderHash (Ticked l ∷ Type) = HeaderHash l
type Rep (Ticked (LedgerState (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Ticked (LedgerState (SimpleBlock c ext))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "TickedSimpleLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedSimpleLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (SimpleBlock c ext)))))
data Ticked (HeaderState blk)
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked (HeaderState blk) = TickedHeaderState { untickedHeaderStateTip ∷ WithOrigin (AnnTip blk) tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk)) }
newtype Ticked (LedgerState (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Ticked (LedgerState (SimpleBlock c ext)) = TickedSimpleLedgerState { getTickedSimpleLedgerState ∷ LedgerState (SimpleBlock c ext) }
data Ticked (ExtLedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked (ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState ∷ Ticked (LedgerState blk) ledgerView ∷ LedgerView (BlockProtocol blk) tickedHeaderState ∷ Ticked (HeaderState blk) }
data Ticked (PBftState c)
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked (PBftState c) = TickedPBftState { getPBftLedgerView ∷ LedgerView (PBft c) getTickedPBftState ∷ PBftState c }
newtype Ticked (WrapChainDepState blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk)) }
data Ticked (PraosChainDepState c) Source #	Ticking the Praos chain dep state has no effect For the real Praos implementation, ticking is crucial, as it determines the point where the "nonce under construction" is swapped out for the "active" nonce. However, for the mock implementation, we keep the full history, and choose the right nonce from that; this means that ticking has no effect. We do however need access to the ticked stake distribution.
Instance details Defined in Ouroboros.Consensus.Mock.Protocol.Praos data Ticked (PraosChainDepState c) = TickedPraosChainDepState { praosLedgerView ∷ LedgerView (Praos c) untickedPraosChainDepState ∷ PraosChainDepState c }

genesisSimpleLedgerState ∷ AddrDist → LedgerState (SimpleBlock c ext) Source #

updateSimpleLedgerState ∷ (SimpleCrypto c, Typeable ext) ⇒ SimpleBlock c ext → TickedLedgerState (SimpleBlock c ext) → Except (MockError (SimpleBlock c ext)) (LedgerState (SimpleBlock c ext)) Source #

`ApplyTx` (mempool support)

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

(Typeable c, Typeable ext) ⇒ ShowProxy (GenTx (SimpleBlock c ext) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (GenTx (SimpleBlock c ext)) → String Source #
(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
Generic (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Validated (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x # to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #
Generic (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (GenTx (SimpleBlock c ext)) ∷ Type → Type # Methods from ∷ GenTx (SimpleBlock c ext) → Rep (GenTx (SimpleBlock c ext)) x # to ∷ Rep (GenTx (SimpleBlock c ext)) x → GenTx (SimpleBlock c ext) #
Generic (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (TxId (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x # to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #
Show (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS # show ∷ Validated (GenTx (SimpleBlock p c)) → String # showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #
Show (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → GenTx (SimpleBlock p c) → ShowS # show ∷ GenTx (SimpleBlock p c) → String # showList ∷ [GenTx (SimpleBlock p c)] → ShowS #
Show (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS # show ∷ TxId (GenTx (SimpleBlock c ext)) → String # showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #
Eq (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #
Eq (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (/=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool #
Eq (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #
Ord (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) # min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #
Ord (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Ordering # (<) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (<=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (>) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # (>=) ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → Bool # max ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) # min ∷ GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) → GenTx (SimpleBlock c ext) #
Ord (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) # min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #
(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #
(Typeable p, Typeable c) ⇒ NoThunks (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx (SimpleBlock p c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx (SimpleBlock p c)) → String Source #
NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
HasTxId (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods txId ∷ GenTx (SimpleBlock c ext) → TxId (GenTx (SimpleBlock c ext)) Source #
Condense (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ GenTx (SimpleBlock p c) → String Source #
Condense (GenTxId (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ GenTxId (SimpleBlock p c) → String Source #
HasMockTxs (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source #
Serialise (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ GenTx (SimpleBlock c ext) → Encoding Source # decode ∷ Decoder s (GenTx (SimpleBlock c ext)) Source # encodeList ∷ [GenTx (SimpleBlock c ext)] → Encoding Source # decodeList ∷ Decoder s [GenTx (SimpleBlock c ext)] Source #
Serialise (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source # decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source # encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #
SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
type Rep (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))
type Rep (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (GenTx (SimpleBlock c ext)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "SimpleGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "simpleGenTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tx) :*: S1 ('MetaSel ('Just "simpleGenTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId)))
type Rep (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))
newtype Validated (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx { forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext) }
newtype TxId (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId { unSimpleGenTxId ∷ TxId }
data GenTx (SimpleBlock c ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block data GenTx (SimpleBlock c ext) = SimpleGenTx { simpleGenTx ∷ !Tx simpleGenTxId ∷ !TxId }

data family TxId tx Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

(Typeable c, Typeable ext) ⇒ ShowProxy (TxId (GenTx (SimpleBlock c ext)) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showProxy ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
Generic (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (TxId (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ TxId (GenTx (SimpleBlock c ext)) → Rep (TxId (GenTx (SimpleBlock c ext))) x # to ∷ Rep (TxId (GenTx (SimpleBlock c ext))) x → TxId (GenTx (SimpleBlock c ext)) #
Show (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → TxId (GenTx (SimpleBlock c ext)) → ShowS # show ∷ TxId (GenTx (SimpleBlock c ext)) → String # showList ∷ [TxId (GenTx (SimpleBlock c ext))] → ShowS #
Eq (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool #
Ord (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → Bool # max ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) # min ∷ TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) → TxId (GenTx (SimpleBlock c ext)) #
NoThunks (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx (SimpleBlock c ext)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx (SimpleBlock c ext))) → String Source #
Condense (GenTxId (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods condense ∷ GenTxId (SimpleBlock p c) → String Source #
Serialise (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods encode ∷ TxId (GenTx (SimpleBlock c ext)) → Encoding Source # decode ∷ Decoder s (TxId (GenTx (SimpleBlock c ext))) Source # encodeList ∷ [TxId (GenTx (SimpleBlock c ext))] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx (SimpleBlock c ext))] Source #
SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
type Rep (TxId (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (TxId (GenTx (SimpleBlock c ext))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.Mock.Ledger.Block" "ouroboros-consensus-0.18.0.0-inplace-unstable-mock-block" 'True) (C1 ('MetaCons "SimpleGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId)))
newtype TxId (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype TxId (GenTx (SimpleBlock c ext)) = SimpleGenTxId { unSimpleGenTxId ∷ TxId }

data family Validated x Source #

" Validated " transaction or block

The ledger defines how to validate transactions and blocks. It's possible the type before and after validation may be distinct (eg Alonzo transactions), which originally motivated this family.

We also gain the related benefit that certain interface functions, such as those that reapply blocks, can have a more precise type now. TODO

Similarly, the Node-to-Client mini protocols can explicitly indicate that the client trusts the blocks from the local server, by having the server send Validated blocks to the client. TODO

Note that validation has different implications for a transaction than for a block. In particular, a validated transaction can be " reapplied " to different ledger states, whereas a validated block must only be " reapplied " to the exact same ledger state (eg as part of rebuilding from an on-disk ledger snapshot).

Since the ledger defines validation, see the ledger details for concrete examples of what determines the validity (wrt to a LedgerState) of a transaction and/or block. Example properties include: a transaction's claimed inputs exist and are still unspent, a block carries a sufficient cryptographic signature, etc.

Instances

Instances details

Generic (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type Rep (Validated (GenTx (SimpleBlock c ext))) ∷ Type → Type # Methods from ∷ Validated (GenTx (SimpleBlock c ext)) → Rep (Validated (GenTx (SimpleBlock c ext))) x # to ∷ Rep (Validated (GenTx (SimpleBlock c ext))) x → Validated (GenTx (SimpleBlock c ext)) #
Show (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods showsPrec ∷ Int → Validated (GenTx (SimpleBlock p c)) → ShowS # show ∷ Validated (GenTx (SimpleBlock p c)) → String # showList ∷ [Validated (GenTx (SimpleBlock p c))] → ShowS #
Eq (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods (==) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (/=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool #
Ord (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods compare ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Ordering # (<) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (<=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # (>=) ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Bool # max ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) # min ∷ Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) → Validated (GenTx (SimpleBlock c ext)) #
(Typeable p, Typeable c) ⇒ NoThunks (Validated (GenTx (SimpleBlock p c))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods noThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx (SimpleBlock p c)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx (SimpleBlock p c))) → String Source #
type Rep (Validated (GenTx (SimpleBlock c ext))) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type Rep (Validated (GenTx (SimpleBlock c ext))) = Rep (GenTx (SimpleBlock c ext))
newtype Validated (GenTx (SimpleBlock c ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block newtype Validated (GenTx (SimpleBlock c ext)) = ValidatedSimpleGenTx { forgetValidatedSimpleGenTx ∷ GenTx (SimpleBlock c ext) }

mkSimpleGenTx ∷ Tx → GenTx (SimpleBlock c ext) Source #

txSize ∷ GenTx (SimpleBlock c ext) → Word32 Source #

Crypto

class (HashAlgorithm (SimpleHash c), Typeable c) ⇒ SimpleCrypto c Source #

Instances

Instances details

SimpleCrypto SimpleMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type SimpleHash SimpleMockCrypto Source #
SimpleCrypto SimpleStandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type SimpleHash SimpleStandardCrypto Source #

data SimpleMockCrypto Source #

Instances

Instances details

SimpleCrypto SimpleMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type SimpleHash SimpleMockCrypto Source #
Serialise ext ⇒ ReconstructNestedCtxt Header (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods reconstructPrefixLen ∷ proxy (Header (MockBlock ext)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (MockBlock ext)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (MockBlock ext) Source #
(Serialise ext, Typeable ext) ⇒ SerialiseNodeToClientConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation
Serialise ext ⇒ SerialiseNodeToNodeConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods estimateBlockSize ∷ Header (MockBlock ext) → SizeInBytes Source #
(Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ SerialiseDiskConstraints (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation
(Serialise ext, Typeable ext) ⇒ HasBinaryBlockInfo (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods getBinaryBlockInfo ∷ MockBlock ext → BinaryBlockInfo Source #
SerialiseNodeToClient (MockBlock ext) SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s SlotNo Source #
SerialiseNodeToClient (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToClient (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
SerialiseNodeToClient (MockBlock ext) (MockError (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockError (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockError (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToClient (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → MockBlock ext → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Header (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Header (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTx (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTx (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTx (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (GenTxId (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → GenTxId (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (GenTxId (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (SerialisedHeader (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → SerialisedHeader (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (SerialisedHeader (MockBlock ext)) Source #
Serialise ext ⇒ SerialiseNodeToNode (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → MockBlock ext → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (MockBlock ext) Source #
SerialiseResult (MockBlock ext) (BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → result → Encoding Source # decodeResult ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → BlockQuery (MockBlock ext) result → ∀ s. Decoder s result Source #
DecodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (AnnTip (MockBlock ext)) Source #
DecodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (LedgerState (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → ∀ s. Decoder s (ByteString → a) Source #
Serialise ext ⇒ DecodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDiskDepIx ∷ CodecConfig (MockBlock ext) → Decoder s (SomeSecond (NestedCtxt Header) (MockBlock ext)) Source #
Serialise ext ⇒ EncodeDisk (MockBlock ext) (Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → Header (MockBlock ext) → Encoding Source #
EncodeDisk (MockBlock ext) (AnnTip (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → AnnTip (MockBlock ext) → Encoding Source #
EncodeDisk (MockBlock ext) (LedgerState (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → LedgerState (MockBlock ext) → Encoding Source #
Serialise ext ⇒ EncodeDisk (MockBlock ext) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDisk ∷ CodecConfig (MockBlock ext) → MockBlock ext → Encoding Source #
Serialise ext ⇒ EncodeDiskDep (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDiskDep ∷ CodecConfig (MockBlock ext) → NestedCtxt Header (MockBlock ext) a → a → Encoding Source #
Serialise ext ⇒ EncodeDiskDepIx (NestedCtxt Header) (MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (MockBlock ext) → SomeSecond (NestedCtxt Header) (MockBlock ext) → Encoding Source #
SerialiseNodeToClient (MockBlock ext) (Serialised (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #
SerialiseNodeToNode (MockBlock ext) (Serialised (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → Serialised (MockBlock ext) → Encoding Source # decodeNodeToNode ∷ CodecConfig (MockBlock ext) → BlockNodeToNodeVersion (MockBlock ext) → ∀ s. Decoder s (Serialised (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → Header (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → Header (MockBlock ext)) Source #
Serialise ext ⇒ DecodeDisk (MockBlock ext) (ByteString → MockBlock ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods decodeDisk ∷ CodecConfig (MockBlock ext) → ∀ s. Decoder s (ByteString → MockBlock ext) Source #
SerialiseNodeToClient (MockBlock ext) (SomeSecond BlockQuery (MockBlock ext)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → SomeSecond BlockQuery (MockBlock ext) → Encoding Source # decodeNodeToClient ∷ CodecConfig (MockBlock ext) → BlockNodeToClientVersion (MockBlock ext) → ∀ s. Decoder s (SomeSecond BlockQuery (MockBlock ext)) Source #
NodeInitStorage (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Methods nodeImmutableDbChunkInfo ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig (SimpleBlock SimpleMockCrypto ext) → SimpleBlock SimpleMockCrypto ext → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig (SimpleBlock SimpleMockCrypto ext) → InitChainDB m (SimpleBlock SimpleMockCrypto ext) → m () Source #
HasNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Associated Types type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) Source # type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) Source #
SupportedNetworkProtocolVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node Methods supportedNodeToNodeVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToNodeVersion (BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext)) Source # supportedNodeToClientVersions ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → Map NodeToClientVersion (BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext)) Source # latestReleasedNodeVersion ∷ Proxy (SimpleBlock SimpleMockCrypto ext) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
(LedgerSupportsProtocol (SimpleBlock SimpleMockCrypto ext), Show (CannotForge (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateInfo (SimpleBlock SimpleMockCrypto ext)), Show (ForgeStateUpdateError (SimpleBlock SimpleMockCrypto ext)), Serialise ext, RunMockBlock SimpleMockCrypto ext) ⇒ RunNode (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node
type SimpleHash SimpleMockCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleMockCrypto = ShortHash
type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type BlockNodeToClientVersion (SimpleBlock SimpleMockCrypto ext) = ()
type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Node type BlockNodeToNodeVersion (SimpleBlock SimpleMockCrypto ext) = ()

data SimpleStandardCrypto Source #

Instances

Instances details

SimpleCrypto SimpleStandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Associated Types type SimpleHash SimpleStandardCrypto Source #
type SimpleHash SimpleStandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block type SimpleHash SimpleStandardCrypto = SHA256

Serialisation

decodeSimpleHeader ∷ SimpleCrypto c ⇒ (ext' → Encoding) → (∀ s. Decoder s ext') → ∀ s. Decoder s (Header (SimpleBlock' c ext ext')) Source #

encodeSimpleHeader ∷ (ext' → Encoding) → Header (SimpleBlock' c ext ext') → Encoding Source #

simpleBlockBinaryBlockInfo ∷ (SimpleCrypto c, Serialise ext', Typeable ext, Typeable ext') ⇒ SimpleBlock' c ext ext' → BinaryBlockInfo Source #

Documentation

Instances

Instances

Instances

Instances

Instances

Instances

Working with SimpleBlock

Configuration

Instances

Instances

Instances

Instances

Protocol-specific part

Instances

UpdateLedger

Instances

Instances

ApplyTx (mempool support)

Instances

Instances

Instances

Crypto

Instances

Instances

Instances

Serialisation

Working with `SimpleBlock`

`UpdateLedger`

`ApplyTx` (mempool support)