| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.HardFork.Combinator.A
Synopsis
- data BlockA = BlkA {}
- data ProtocolA
- blockForgingA ∷ Monad m ⇒ BlockForging m BlockA
- safeFromTipA ∷ SecurityParam → Word64
- stabilityWindowA ∷ SecurityParam → Word64
- data PartialLedgerConfigA = LCfgA {}
- data TxPayloadA = InitiateAtoB
- data family BlockConfig blk
- data family CodecConfig blk
- data family ConsensusConfig p
- data family GenTx blk
- data family Header blk
- data family LedgerState blk
- data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
- data family StorageConfig blk
- data family TxId tx
Documentation
Instances
Instances
blockForgingA ∷ Monad m ⇒ BlockForging m BlockA Source #
stabilityWindowA ∷ SecurityParam → Word64 Source #
This mock ledger assumes that every node is honest and online, every slot
has a single leader, and ever message arrives before the next slot. So a run
of k slots is guaranteed to extend the chain by k blocks.
Additional types
data PartialLedgerConfigA Source #
Constructors
| LCfgA | |
Fields | |
Instances
data TxPayloadA Source #
Constructors
| InitiateAtoB |
Instances
| Generic TxPayloadA Source # | |
Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep TxPayloadA ∷ Type → Type # | |
| Show TxPayloadA Source # | |
Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → TxPayloadA → ShowS # show ∷ TxPayloadA → String # showList ∷ [TxPayloadA] → ShowS # | |
| Eq TxPayloadA Source # | |
Defined in Test.Consensus.HardFork.Combinator.A | |
| NoThunks TxPayloadA Source # | |
Defined in Test.Consensus.HardFork.Combinator.A | |
| Serialise TxPayloadA Source # | |
Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ TxPayloadA → Encoding Source # decode ∷ Decoder s TxPayloadA Source # encodeList ∷ [TxPayloadA] → Encoding Source # decodeList ∷ Decoder s [TxPayloadA] Source # | |
| type Rep TxPayloadA Source # | |
Type family instances
data family BlockConfig blk Source #
Static configuration required to work with this type of blocks
Instances
data family CodecConfig blk Source #
Static configuration required for serialisation and deserialisation of types pertaining to this type of block.
Data family instead of type family to get better type inference.
Instances
data family ConsensusConfig p Source #
Static configuration required to run the consensus protocol
Every method in the ConsensusProtocol class takes the consensus
configuration as a parameter, so having this as a data family rather than a
type family resolves most ambiguity.
Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).
Instances
data family GenTx blk Source #
Generalized transaction
The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.