Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Mock.Ledger.State
Synopsis
- data MockConfig = MockConfig {}
- defaultMockConfig ∷ MockConfig
- data MockError blk
- = MockExpired !SlotNo !SlotNo
- | MockUtxoError UtxoError
- | MockInvalidHash (ChainHash blk) (ChainHash blk)
- | MockTxSizeTooBig ByteSize32 ByteSize32
- data MockState blk = MockState {}
- 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 |
Instances
State of the mock ledger
Constructors
MockExpired !SlotNo !SlotNo | The transaction expired in the first |
MockUtxoError UtxoError | |
MockInvalidHash (ChainHash blk) (ChainHash blk) | |
MockTxSizeTooBig ByteSize32 ByteSize32 |
Instances
Typeable blk ⇒ ShowProxy (MockError blk ∷ Type) Source # | |||||
Generic (MockError blk) Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.State Associated Types
| |||||
StandardHash blk ⇒ Show (MockError blk) Source # | |||||
StandardHash blk ⇒ Eq (MockError blk) Source # | |||||
(StandardHash blk, Typeable blk) ⇒ NoThunks (MockError blk) Source # | |||||
Serialise (HeaderHash blk) ⇒ Serialise (MockError blk) Source # | |||||
SerialiseNodeToClient (MockBlock ext) (MockError (MockBlock ext)) Source # | |||||
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 # | |||||
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)))) |
Instances
Generic (MockState blk) Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.State Associated Types
| |||||
StandardHash blk ⇒ Show (MockState blk) Source # | |||||
StandardHash blk ⇒ Eq (MockState blk) Source # | |||||
StandardHash blk ⇒ NoThunks (MockState blk) Source # | |||||
Serialise (HeaderHash blk) ⇒ Serialise (MockState blk) Source # | |||||
type Rep (MockState blk) Source # | |||||
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 #