Safe Haskell	Safe-Inferred
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 ∷ Type → Type # 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 #
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.21.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) ∷ Type → Type # 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.21.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) ∷ Type → Type # 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.21.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 #