Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.State

Contents

Config for the mock ledger
State of the mock ledger
Supporting definitions
Genesis state

Synopsis

data MockConfig = MockConfig {
- mockCfgMaxTxSize ∷ !(Maybe ByteSize32)
}
defaultMockConfig ∷ MockConfig
data MockError blk
- = MockExpired !SlotNo !SlotNo
- | MockUtxoError UtxoError
- | MockInvalidHash (ChainHash blk) (ChainHash blk)
- | MockTxSizeTooBig ByteSize32 ByteSize32
data MockState blk = MockState {
- mockUtxo ∷ !Utxo
- mockConfirmed ∷ !(Set TxId)
- mockTip ∷ !(Point blk)
}
updateMockState ∷ (GetPrevHash blk, HasMockTxs blk) ⇒ MockConfig → blk → MockState blk → Except (MockError blk) (MockState blk)
updateMockTip ∷ GetPrevHash blk ⇒ Header blk → MockState blk → Except (MockError blk) (MockState blk)
updateMockUTxO ∷ HasMockTxs a ⇒ MockConfig → SlotNo → a → MockState blk → Except (MockError blk) (MockState blk)
checkTxSize ∷ MockConfig → Tx → Except (MockError blk) ByteSize32
txSize ∷ Tx → ByteSize32
genesisMockState ∷ AddrDist → MockState blk

Config for the mock ledger

data MockConfig Source #

Parameters needed to validate blocks/txs

Constructors

MockConfig
Fields mockCfgMaxTxSize ∷ !(Maybe ByteSize32)

Instances

Instances details

Generic MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Associated Types

type Rep MockConfig
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.State type Rep MockConfig = D1 ('MetaData "MockConfig" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "MockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockCfgMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteSize32))))

Methods

from ∷ MockConfig → Rep MockConfig x #

to ∷ Rep MockConfig x → MockConfig #

Show MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

showsPrec ∷ Int → MockConfig → ShowS #

show ∷ MockConfig → String #

showList ∷ [MockConfig] → ShowS #

Eq MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

(==) ∷ MockConfig → MockConfig → Bool #

(/=) ∷ MockConfig → MockConfig → Bool #

NoThunks MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

noThunks ∷ Context → MockConfig → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MockConfig → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy MockConfig → String Source #

Serialise MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

encode ∷ MockConfig → Encoding Source #

decode ∷ Decoder s MockConfig Source #

encodeList ∷ [MockConfig] → Encoding Source #

decodeList ∷ Decoder s [MockConfig] Source #

type Rep MockConfig Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

type Rep MockConfig = D1 ('MetaData "MockConfig" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "MockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockCfgMaxTxSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ByteSize32))))

defaultMockConfig ∷ MockConfig Source #

State of the mock ledger

data MockError blk Source #

Constructors

MockExpired !SlotNo !SlotNo	The transaction expired in the first `SlotNo`, and it failed to validate in the second `SlotNo`.
MockUtxoError UtxoError
MockInvalidHash (ChainHash blk) (ChainHash blk)
MockTxSizeTooBig ByteSize32 ByteSize32

Instances

Instances details

Typeable blk ⇒ ShowProxy (MockError blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

showProxy ∷ Proxy (MockError blk) → String Source #

Generic (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Associated Types

type Rep (MockError blk)

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

type Rep (MockError blk) = D1 ('MetaData "MockError" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) ((C1 ('MetaCons "MockExpired" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "MockUtxoError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxoError))) :+: (C1 ('MetaCons "MockInvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk))) :+: C1 ('MetaCons "MockTxSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteSize32) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteSize32))))

Methods

from ∷ MockError blk → Rep (MockError blk) x #

to ∷ Rep (MockError blk) x → MockError blk #

StandardHash blk ⇒ Show (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

showsPrec ∷ Int → MockError blk → ShowS #

show ∷ MockError blk → String #

showList ∷ [MockError blk] → ShowS #

StandardHash blk ⇒ Eq (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

(==) ∷ MockError blk → MockError blk → Bool #

(/=) ∷ MockError blk → MockError blk → Bool #

(StandardHash blk, Typeable blk) ⇒ NoThunks (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

noThunks ∷ Context → MockError blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MockError blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (MockError blk) → String Source #

Serialise (HeaderHash blk) ⇒ Serialise (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

encode ∷ MockError blk → Encoding Source #

decode ∷ Decoder s (MockError blk) Source #

encodeList ∷ [MockError blk] → Encoding Source #

decodeList ∷ Decoder s [MockError blk] 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 #

type Rep (MockError blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

type Rep (MockError blk) = D1 ('MetaData "MockError" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) ((C1 ('MetaCons "MockExpired" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "MockUtxoError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UtxoError))) :+: (C1 ('MetaCons "MockInvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash blk))) :+: C1 ('MetaCons "MockTxSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteSize32) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteSize32))))

data MockState blk Source #

Constructors

MockState
Fields mockUtxo ∷ !Utxo mockConfirmed ∷ !(Set TxId) mockTip ∷ !(Point blk)

Instances

Instances details

Generic (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Associated Types

type Rep (MockState blk)

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

type Rep (MockState blk) = D1 ('MetaData "MockState" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "MockState" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Utxo) :*: (S1 ('MetaSel ('Just "mockConfirmed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxId)) :*: S1 ('MetaSel ('Just "mockTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk)))))

Methods

from ∷ MockState blk → Rep (MockState blk) x #

to ∷ Rep (MockState blk) x → MockState blk #

StandardHash blk ⇒ Show (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

showsPrec ∷ Int → MockState blk → ShowS #

show ∷ MockState blk → String #

showList ∷ [MockState blk] → ShowS #

StandardHash blk ⇒ Eq (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

(==) ∷ MockState blk → MockState blk → Bool #

(/=) ∷ MockState blk → MockState blk → Bool #

StandardHash blk ⇒ NoThunks (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

noThunks ∷ Context → MockState blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MockState blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (MockState blk) → String Source #

Serialise (HeaderHash blk) ⇒ Serialise (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

Methods

encode ∷ MockState blk → Encoding Source #

decode ∷ Decoder s (MockState blk) Source #

encodeList ∷ [MockState blk] → Encoding Source #

decodeList ∷ Decoder s [MockState blk] Source #

type Rep (MockState blk) Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.State

type Rep (MockState blk) = D1 ('MetaData "MockState" "Ouroboros.Consensus.Mock.Ledger.State" "ouroboros-consensus-0.26.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "MockState" 'PrefixI 'True) (S1 ('MetaSel ('Just "mockUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Utxo) :*: (S1 ('MetaSel ('Just "mockConfirmed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxId)) :*: S1 ('MetaSel ('Just "mockTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk)))))

updateMockState ∷ (GetPrevHash blk, HasMockTxs blk) ⇒ MockConfig → blk → MockState blk → Except (MockError blk) (MockState blk) Source #

updateMockTip ∷ GetPrevHash blk ⇒ Header blk → MockState blk → Except (MockError blk) (MockState blk) Source #

updateMockUTxO ∷ HasMockTxs a ⇒ MockConfig → SlotNo → a → MockState blk → Except (MockError blk) (MockState blk) Source #

Supporting definitions

checkTxSize ∷ MockConfig → Tx → Except (MockError blk) ByteSize32 Source #

txSize ∷ Tx → ByteSize32 Source #

Genesis state

genesisMockState ∷ AddrDist → MockState blk Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result