Safe Haskell	None
Language	Haskell2010

Test.Util.LedgerStateOnlyTables

Description

A simple ledger state that only holds ledger tables (and values).

This is useful when we only need a ledger state and ledger tables, but not necessarily blocks with payloads (such as defined in Test.Util.TestBlock).

Synopsis

type OTLedgerState k v = LedgerState (OTBlock k v)
type OTLedgerTables k v = LedgerTables (OTBlock k v)
data OTBlock k v
emptyOTLedgerState ∷ ∀ k v (mk ∷ MapKind). (Ord k, Eq v, ZeroableMK mk) ⇒ LedgerState (OTBlock k v) mk
OTLedgerState ∷ ∀ k v (mk ∷ MapKind). ValuesMK k v ⊸ OTLedgerTables k v mk ⊸ LedgerState (OTBlock k v) mk

Documentation

type OTLedgerState k v = LedgerState (OTBlock k v) Source #

type OTLedgerTables k v = LedgerTables (OTBlock k v) Source #

data OTBlock k v Source #

An empty type for blocks, which is only used to record the types k and v.

Instances

Instances details

CanUpgradeLedgerTables LedgerState (OTBlock k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (OTBlock k v) mk1 → LedgerState (OTBlock k v) mk2 → LedgerTables (OTBlock k v) ValuesMK → LedgerTables (OTBlock k v) ValuesMK Source #

(Ord k, Eq v, NoThunks k, NoThunks v) ⇒ HasLedgerTables LedgerState (OTBlock k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (OTBlock k v) mk → LedgerTables (OTBlock k v) mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (OTBlock k v) any → LedgerTables (OTBlock k v) mk → LedgerState (OTBlock k v) mk Source #

(Ord k, MemPack k, MemPack v) ⇒ SerializeTablesWithHint LedgerState (OTBlock k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

encodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → LedgerTables (OTBlock k v) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → Decoder s (LedgerTables (OTBlock k v) ValuesMK) Source #

MemPack v ⇒ IndexedMemPack LedgerState (OTBlock k v) v Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

indexedPackedByteCount ∷ LedgerState (OTBlock k v) EmptyMK → v → Int Source #

indexedPackM ∷ LedgerState (OTBlock k v) EmptyMK → v → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (OTBlock k v) EmptyMK → Unpack s b v Source #

indexedTypeName ∷ Proxy v → LedgerState (OTBlock k v) EmptyMK → String Source #

Generic (LedgerState (OTBlock k v) mk) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Associated Types

type Rep (LedgerState (OTBlock k v) mk)

Instance details

Defined in Test.Util.LedgerStateOnlyTables

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

Methods

from ∷ LedgerState (OTBlock k v) mk → Rep (LedgerState (OTBlock k v) mk) x #

to ∷ Rep (LedgerState (OTBlock k v) mk) x → LedgerState (OTBlock k v) mk #

(Ord k, Eq v) ⇒ CanStowLedgerTables (OTLedgerState k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

stowLedgerTables ∷ OTLedgerState k v ValuesMK → OTLedgerState k v EmptyMK Source #

unstowLedgerTables ∷ OTLedgerState k v EmptyMK → OTLedgerState k v ValuesMK Source #

(Ord k, Eq v, Eq (mk k v)) ⇒ Eq (OTLedgerState k v mk) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

(==) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(/=) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(Show k, Show v, Show (mk k v)) ⇒ Show (OTLedgerState k v mk) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

showsPrec ∷ Int → OTLedgerState k v mk → ShowS #

show ∷ OTLedgerState k v mk → String #

showList ∷ [OTLedgerState k v mk] → ShowS #

(NoThunks k, NoThunks v, NoThunks (mk k v)) ⇒ NoThunks (OTLedgerState k v mk) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

noThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OTLedgerState k v mk) → String Source #

type Rep (LedgerState (OTBlock k v) mk) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-4.0.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

data LedgerState (OTBlock k v) mk Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

data LedgerState (OTBlock k v) mk = OTLedgerState {

otlsLedgerState ∷ ValuesMK k v
otlsLedgerTables ∷ OTLedgerTables k v mk

}

type TxIn (OTBlock k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

type TxIn (OTBlock k v) = k

type TxOut (OTBlock k v) Source #

Instance details

Defined in Test.Util.LedgerStateOnlyTables

type TxOut (OTBlock k v) = v

emptyOTLedgerState ∷ ∀ k v (mk ∷ MapKind). (Ord k, Eq v, ZeroableMK mk) ⇒ LedgerState (OTBlock k v) mk Source #

OTLedgerState ∷ ∀ k v (mk ∷ MapKind). ValuesMK k v ⊸ OTLedgerTables k v mk ⊸ LedgerState (OTBlock k v) mk Source #