| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Ledger.Tables.Kinds
Synopsis
- type MapKind = Type → Type → Type
- type LedgerStateKind = MapKind → Type
- type StateKind = Type → LedgerStateKind
Documentation
type MapKind = Type → Type → Type Source #
Something that holds two types, which intend to represent keys and values.
type LedgerStateKind = MapKind → Type Source #
A LedgerStateKind is the kind of any type that takes a single MapKind
parameter. The canonical inhabitant is a ledger state applied to a block type,
for example LedgerState blk.
type StateKind = Type → LedgerStateKind Source #
A StateKind is the kind of a ledger state *before* it receives
its block argument.
The four inhabitants in this codebase are [Ticked] [Ext]LedgerState.