Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Mock.Ledger
Synopsis
- module Ouroboros.Consensus.Mock.Ledger.Address
- module Ouroboros.Consensus.Mock.Ledger.Block
- module Ouroboros.Consensus.Mock.Ledger.Block.BFT
- module Ouroboros.Consensus.Mock.Ledger.Block.PBFT
- module Ouroboros.Consensus.Mock.Ledger.Block.Praos
- module Ouroboros.Consensus.Mock.Ledger.Block.PraosRule
- module Ouroboros.Consensus.Mock.Ledger.Forge
- module Ouroboros.Consensus.Mock.Ledger.Stake
- module Ouroboros.Consensus.Mock.Ledger.State
- type Ix = Word
- type TxOut = (Addr, Amount)
- type TxIn = (TxId, Ix)
- data Tx where
- genesisUtxo ∷ AddrDist → Utxo
- type Amount = Word
- data Expiry
- type Utxo = Map TxIn TxOut
- class HasMockTxs a where
- getMockTxs ∷ a → [Tx]
- data UtxoError
- confirmed ∷ HasMockTxs a ⇒ a → Set TxId
- txIns ∷ HasMockTxs a ⇒ a → Set TxIn
- txOuts ∷ HasMockTxs a ⇒ a → Utxo
- updateUtxo ∷ HasMockTxs a ⇒ a → Utxo → Except UtxoError Utxo
- genesisTx ∷ AddrDist → Tx
Documentation
Instances
genesisUtxo ∷ AddrDist → Utxo Source #
Constructors
DoNotExpire | |
ExpireAtOnsetOf !SlotNo |
Instances
NFData Expiry Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO | |||||
Generic Expiry Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Associated Types
| |||||
Show Expiry Source # | |||||
Eq Expiry Source # | |||||
Ord Expiry Source # | |||||
NoThunks Expiry Source # | |||||
Condense Expiry Source # | |||||
Serialise Expiry Source # | |||||
type Rep Expiry Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO type Rep Expiry = D1 ('MetaData "Expiry" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.25.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "DoNotExpire" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ExpireAtOnsetOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))) |
class HasMockTxs a where Source #
Instances
HasMockTxs SimpleBody Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBody → [Tx] Source # | |
HasMockTxs Tx Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ Tx → [Tx] Source # | |
HasMockTxs (GenTx (SimpleBlock p c)) Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source # | |
HasMockTxs a ⇒ HasMockTxs (Chain a) Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ Chain a → [Tx] Source # | |
HasMockTxs a ⇒ HasMockTxs [a] Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ [a] → [Tx] Source # | |
HasMockTxs (SimpleBlock' c ext ext') Source # | |
Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBlock' c ext ext' → [Tx] Source # |
Constructors
MissingInput TxIn | |
InputOutputMismatch | |
Instances
Generic UtxoError Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Associated Types
| |||||
Show UtxoError Source # | |||||
Eq UtxoError Source # | |||||
NoThunks UtxoError Source # | |||||
Condense UtxoError Source # | |||||
Serialise UtxoError Source # | |||||
type Rep UtxoError Source # | |||||
Defined in Ouroboros.Consensus.Mock.Ledger.UTxO type Rep UtxoError = D1 ('MetaData "UtxoError" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.25.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "MissingInput" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)) :+: C1 ('MetaCons "InputOutputMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Amount) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Amount))) |
confirmed ∷ HasMockTxs a ⇒ a → Set TxId Source #
confirmed
stands for all the transaction hashes present in the given
collection.
txOuts ∷ HasMockTxs a ⇒ a → Utxo Source #
updateUtxo ∷ HasMockTxs a ⇒ a → Utxo → Except UtxoError Utxo Source #
Update the Utxo with the transactions from the given a
, by removing the
inputs and adding the outputs.