Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Mock.Ledger.UTxO

Contents

Basic definitions
Computing UTxO
Genesis

Synopsis

data Addr
type Amount = Word
data Expiry
- = DoNotExpire
- | ExpireAtOnsetOf !SlotNo
type Ix = Word
data Tx where
- pattern Tx ∷ Expiry → Set TxIn → [TxOut] → Tx
type TxId = Hash SHA256 Tx
type TxIn = (TxId, Ix)
type TxOut = (Addr, Amount)
type Utxo = Map TxIn TxOut
class HasMockTxs a where
- getMockTxs ∷ a → [Tx]
data UtxoError
- = MissingInput TxIn
- | InputOutputMismatch Amount Amount
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
genesisUtxo ∷ AddrDist → Utxo

Basic definitions

data Addr Source #

Mock address

Instances

Instances details

FromCBOR Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods fromCBOR ∷ Decoder s Addr Source # label ∷ Proxy Addr → Text Source #
ToCBOR Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods toCBOR ∷ Addr → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Addr → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Addr] → Size Source #
NFData Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods rnf ∷ Addr → () #
IsString Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods fromString ∷ String → Addr #
Show Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods showsPrec ∷ Int → Addr → ShowS # show ∷ Addr → String # showList ∷ [Addr] → ShowS #
Eq Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods (==) ∷ Addr → Addr → Bool # (/=) ∷ Addr → Addr → Bool #
Ord Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods compare ∷ Addr → Addr → Ordering # (<) ∷ Addr → Addr → Bool # (<=) ∷ Addr → Addr → Bool # (>) ∷ Addr → Addr → Bool # (>=) ∷ Addr → Addr → Bool # max ∷ Addr → Addr → Addr # min ∷ Addr → Addr → Addr #
MemPack Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods typeName ∷ String Source # packedByteCount ∷ Addr → Int Source # packM ∷ Addr → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack s b Addr Source #
NoThunks Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods noThunks ∷ Context → Addr → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Addr → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Addr → String Source #
Condense Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods condense ∷ Addr → String Source #
Serialise Addr Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Address Methods encode ∷ Addr → Encoding Source # decode ∷ Decoder s Addr Source # encodeList ∷ [Addr] → Encoding Source # decodeList ∷ Decoder s [Addr] Source #
IndexedMemPack (LedgerState (SimpleBlock c ext) EmptyMK) TxOut Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods indexedPackedByteCount ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Int Source # indexedPackM ∷ LedgerState (SimpleBlock c ext) EmptyMK → TxOut → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (SimpleBlock c ext) EmptyMK → Unpack s b TxOut Source # indexedTypeName ∷ LedgerState (SimpleBlock c ext) EmptyMK → String Source #

type Amount = Word Source #

data Expiry Source #

Constructors

DoNotExpire
ExpireAtOnsetOf !SlotNo

Instances

Instances details

NFData Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

rnf ∷ Expiry → () #

Generic Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Associated Types

type Rep Expiry

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

type Rep Expiry = D1 ('MetaData "Expiry" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.28.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)))

Methods

from ∷ Expiry → Rep Expiry x #

to ∷ Rep Expiry x → Expiry #

Show Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

showsPrec ∷ Int → Expiry → ShowS #

show ∷ Expiry → String #

showList ∷ [Expiry] → ShowS #

Eq Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

(==) ∷ Expiry → Expiry → Bool #

(/=) ∷ Expiry → Expiry → Bool #

Ord Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

compare ∷ Expiry → Expiry → Ordering #

(<) ∷ Expiry → Expiry → Bool #

(<=) ∷ Expiry → Expiry → Bool #

(>) ∷ Expiry → Expiry → Bool #

(>=) ∷ Expiry → Expiry → Bool #

max ∷ Expiry → Expiry → Expiry #

min ∷ Expiry → Expiry → Expiry #

NoThunks Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy Expiry → String Source #

Condense Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

condense ∷ Expiry → String Source #

Serialise Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

encode ∷ Expiry → Encoding Source #

decode ∷ Decoder s Expiry Source #

encodeList ∷ [Expiry] → Encoding Source #

decodeList ∷ Decoder s [Expiry] Source #

type Rep Expiry Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

type Rep Expiry = D1 ('MetaData "Expiry" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.28.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)))

type Ix = Word Source #

data Tx where Source #

Bundled Patterns

pattern Tx ∷ Expiry → Set TxIn → [TxOut] → Tx

Instances

Instances details

ToCBOR Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

toCBOR ∷ Tx → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Tx → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx] → Size Source #

NFData Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

rnf ∷ Tx → () #

Generic Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Associated Types

type Rep Tx

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.28.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "UnsafeTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expiry) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]))))

Methods

from ∷ Tx → Rep Tx x #

to ∷ Rep Tx x → Tx #

Show Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

showsPrec ∷ Int → Tx → ShowS #

show ∷ Tx → String #

showList ∷ [Tx] → ShowS #

Eq Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

(==) ∷ Tx → Tx → Bool #

(/=) ∷ Tx → Tx → Bool #

Ord Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

compare ∷ Tx → Tx → Ordering #

(<) ∷ Tx → Tx → Bool #

(<=) ∷ Tx → Tx → Bool #

(>) ∷ Tx → Tx → Bool #

(>=) ∷ Tx → Tx → Bool #

max ∷ Tx → Tx → Tx #

min ∷ Tx → Tx → Tx #

NoThunks Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

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

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

showTypeOf ∷ Proxy Tx → String Source #

Condense Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

condense ∷ Tx → String Source #

HasMockTxs Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

getMockTxs ∷ Tx → [Tx] Source #

Serialise Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

Methods

encode ∷ Tx → Encoding Source #

decode ∷ Decoder s Tx Source #

encodeList ∷ [Tx] → Encoding Source #

decodeList ∷ Decoder s [Tx] Source #

type Rep Tx Source #

Instance details

Defined in Ouroboros.Consensus.Mock.Ledger.UTxO

type Rep Tx = D1 ('MetaData "Tx" "Ouroboros.Consensus.Mock.Ledger.UTxO" "ouroboros-consensus-0.28.0.0-inplace-unstable-mock-block" 'False) (C1 ('MetaCons "UnsafeTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expiry) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]))))

type TxId = Hash SHA256 Tx Source #

type TxIn = (TxId, Ix) Source #

type TxOut = (Addr, Amount) Source #

type Utxo = Map TxIn TxOut Source #

Computing UTxO

class HasMockTxs a where Source #

Methods

getMockTxs ∷ a → [Tx] Source #

The transactions in the order they are to be applied

Instances

Instances details

HasMockTxs SimpleBody Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBody → [Tx] Source #
HasMockTxs Tx Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ Tx → [Tx] Source #
HasMockTxs (GenTx (SimpleBlock p c)) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ GenTx (SimpleBlock p c) → [Tx] Source #
HasMockTxs a ⇒ HasMockTxs (Chain a) Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ Chain a → [Tx] Source #
HasMockTxs a ⇒ HasMockTxs [a] Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.UTxO Methods getMockTxs ∷ [a] → [Tx] Source #
HasMockTxs (SimpleBlock' c ext ext') Source #
Instance details Defined in Ouroboros.Consensus.Mock.Ledger.Block Methods getMockTxs ∷ SimpleBlock' c ext ext' → [Tx] Source #