ouroboros-consensus-0.26.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Mock.Ledger.State

Synopsis

Config for the mock ledger

data MockConfig Source #

Parameters needed to validate blocks/txs

Constructors

MockConfig 

Fields

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

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 #