Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Block

Contents

type alias

Synopsis

data family BlockConfig blk
data ByronSpecBlock = ByronSpecBlock {
- byronSpecBlock ∷ Block
- byronSpecBlockNo ∷ BlockNo
- byronSpecBlockHash ∷ Hash
}
data family CodecConfig blk
data family Header blk
data family StorageConfig blk
type ByronSpecHeader = Header ByronSpecBlock

Documentation

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Generic (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (BlockConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ BlockConfig ByronSpecBlock → Rep (BlockConfig ByronSpecBlock) x # to ∷ Rep (BlockConfig ByronSpecBlock) x → BlockConfig ByronSpecBlock #
NoThunks (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig ByronSpecBlock) → String Source #
data BlockConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
type Rep (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype BlockConfig (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)

data ByronSpecBlock Source #

Block according to the Byron spec

Just like we do for ByronBlock, we cache the header hash. In addition, we also add the BlockNo, as this is entirely absent from the spec but we need it for the HasHeader abstraction, which is ubiquitous in ouroboros-consensus and -network.

Constructors

ByronSpecBlock
Fields byronSpecBlock ∷ Block byronSpecBlockNo ∷ BlockNo byronSpecBlockHash ∷ Hash

Instances

Instances details

Generic ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep ByronSpecBlock ∷ Type → Type # Methods from ∷ ByronSpecBlock → Rep ByronSpecBlock x # to ∷ Rep ByronSpecBlock x → ByronSpecBlock #
Show ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods showsPrec ∷ Int → ByronSpecBlock → ShowS # show ∷ ByronSpecBlock → String # showList ∷ [ByronSpecBlock] → ShowS #
Eq ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods (==) ∷ ByronSpecBlock → ByronSpecBlock → Bool # (/=) ∷ ByronSpecBlock → ByronSpecBlock → Bool #
GetHeader ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods getHeader ∷ ByronSpecBlock → Header ByronSpecBlock Source # blockMatchesHeader ∷ Header ByronSpecBlock → ByronSpecBlock → Bool Source # headerIsEBB ∷ Header ByronSpecBlock → Maybe EpochNo Source #
GetPrevHash ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods headerPrevHash ∷ Header ByronSpecBlock → ChainHash ByronSpecBlock Source #
UpdateLedger ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger
CommonProtocolParams ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods maxHeaderSize ∷ LedgerState ByronSpecBlock → Word32 Source # maxTxSize ∷ LedgerState ByronSpecBlock → Word32 Source #
LedgerSupportsMempool ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods txInvariant ∷ GenTx ByronSpecBlock → Bool Source # applyTx ∷ LedgerConfig ByronSpecBlock → WhetherToIntervene → SlotNo → GenTx ByronSpecBlock → TickedLedgerState ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock, Validated (GenTx ByronSpecBlock)) Source # reapplyTx ∷ LedgerConfig ByronSpecBlock → SlotNo → Validated (GenTx ByronSpecBlock) → TickedLedgerState ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TickedLedgerState ByronSpecBlock) Source # txForgetValidated ∷ Validated (GenTx ByronSpecBlock) → GenTx ByronSpecBlock Source #
TxLimits ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Associated Types type TxMeasure ByronSpecBlock Source # Methods txMeasure ∷ LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock → GenTx ByronSpecBlock → Except (ApplyTxErr ByronSpecBlock) (TxMeasure ByronSpecBlock) Source # blockCapacityTxMeasure ∷ LedgerConfig ByronSpecBlock → TickedLedgerState ByronSpecBlock → TxMeasure ByronSpecBlock Source #
HasHeader ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods getHeaderFields ∷ ByronSpecBlock → HeaderFields ByronSpecBlock Source #
HasHeader ByronSpecHeader Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods getHeaderFields ∷ ByronSpecHeader → HeaderFields ByronSpecHeader Source #
Serialise ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods encode ∷ ByronSpecBlock → Encoding Source # decode ∷ Decoder s ByronSpecBlock Source # encodeList ∷ [ByronSpecBlock] → Encoding Source # decodeList ∷ Decoder s [ByronSpecBlock] Source #
StandardHash ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block
Generic (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (BlockConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ BlockConfig ByronSpecBlock → Rep (BlockConfig ByronSpecBlock) x # to ∷ Rep (BlockConfig ByronSpecBlock) x → BlockConfig ByronSpecBlock #
Generic (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (CodecConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ CodecConfig ByronSpecBlock → Rep (CodecConfig ByronSpecBlock) x # to ∷ Rep (CodecConfig ByronSpecBlock) x → CodecConfig ByronSpecBlock #
Generic (Header ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (Header ByronSpecBlock) ∷ Type → Type # Methods from ∷ Header ByronSpecBlock → Rep (Header ByronSpecBlock) x # to ∷ Rep (Header ByronSpecBlock) x → Header ByronSpecBlock #
Generic (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (StorageConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ StorageConfig ByronSpecBlock → Rep (StorageConfig ByronSpecBlock) x # to ∷ Rep (StorageConfig ByronSpecBlock) x → StorageConfig ByronSpecBlock #
Generic (Validated (GenTx ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Associated Types type Rep (Validated (GenTx ByronSpecBlock)) ∷ Type → Type # Methods from ∷ Validated (GenTx ByronSpecBlock) → Rep (Validated (GenTx ByronSpecBlock)) x # to ∷ Rep (Validated (GenTx ByronSpecBlock)) x → Validated (GenTx ByronSpecBlock) #
Generic (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Associated Types type Rep (LedgerState ByronSpecBlock) ∷ Type → Type # Methods from ∷ LedgerState ByronSpecBlock → Rep (LedgerState ByronSpecBlock) x # to ∷ Rep (LedgerState ByronSpecBlock) x → LedgerState ByronSpecBlock #
Generic (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Associated Types type Rep (GenTx ByronSpecBlock) ∷ Type → Type # Methods from ∷ GenTx ByronSpecBlock → Rep (GenTx ByronSpecBlock) x # to ∷ Rep (GenTx ByronSpecBlock) x → GenTx ByronSpecBlock #
Show (Header ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods showsPrec ∷ Int → Header ByronSpecBlock → ShowS # show ∷ Header ByronSpecBlock → String # showList ∷ [Header ByronSpecBlock] → ShowS #
Show (Validated (GenTx ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods showsPrec ∷ Int → Validated (GenTx ByronSpecBlock) → ShowS # show ∷ Validated (GenTx ByronSpecBlock) → String # showList ∷ [Validated (GenTx ByronSpecBlock)] → ShowS #
Show (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods showsPrec ∷ Int → LedgerState ByronSpecBlock → ShowS # show ∷ LedgerState ByronSpecBlock → String # showList ∷ [LedgerState ByronSpecBlock] → ShowS #
Show (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods showsPrec ∷ Int → GenTx ByronSpecBlock → ShowS # show ∷ GenTx ByronSpecBlock → String # showList ∷ [GenTx ByronSpecBlock] → ShowS #
Show (Ticked (LedgerState ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods showsPrec ∷ Int → Ticked (LedgerState ByronSpecBlock) → ShowS # show ∷ Ticked (LedgerState ByronSpecBlock) → String # showList ∷ [Ticked (LedgerState ByronSpecBlock)] → ShowS #
Eq (Header ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods (==) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool # (/=) ∷ Header ByronSpecBlock → Header ByronSpecBlock → Bool #
Eq (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods (==) ∷ LedgerState ByronSpecBlock → LedgerState ByronSpecBlock → Bool # (/=) ∷ LedgerState ByronSpecBlock → LedgerState ByronSpecBlock → Bool #
Eq (Ticked (LedgerState ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods (==) ∷ Ticked (LedgerState ByronSpecBlock) → Ticked (LedgerState ByronSpecBlock) → Bool # (/=) ∷ Ticked (LedgerState ByronSpecBlock) → Ticked (LedgerState ByronSpecBlock) → Bool #
NoThunks (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig ByronSpecBlock) → String Source #
NoThunks (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig ByronSpecBlock) → String Source #
NoThunks (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig ByronSpecBlock) → String Source #
NoThunks (Validated (GenTx ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods noThunks ∷ Context → Validated (GenTx ByronSpecBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx ByronSpecBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx ByronSpecBlock)) → String Source #
NoThunks (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods noThunks ∷ Context → LedgerState ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState ByronSpecBlock) → String Source #
NoThunks (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods noThunks ∷ Context → GenTx ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx ByronSpecBlock) → String Source #
NoThunks (Ticked (LedgerState ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods noThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState ByronSpecBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState ByronSpecBlock)) → String Source #
GetTip (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods getTip ∷ LedgerState ByronSpecBlock → Point (LedgerState ByronSpecBlock) Source #
GetTip (Ticked (LedgerState ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods getTip ∷ Ticked (LedgerState ByronSpecBlock) → Point (Ticked (LedgerState ByronSpecBlock)) Source #
IsLedger (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Associated Types type LedgerErr (LedgerState ByronSpecBlock) Source # type AuxLedgerEvent (LedgerState ByronSpecBlock) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState ByronSpecBlock) → SlotNo → LedgerState ByronSpecBlock → LedgerResult (LedgerState ByronSpecBlock) (Ticked (LedgerState ByronSpecBlock)) Source #
Serialise (Header ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods encode ∷ Header ByronSpecBlock → Encoding Source # decode ∷ Decoder s (Header ByronSpecBlock) Source # encodeList ∷ [Header ByronSpecBlock] → Encoding Source # decodeList ∷ Decoder s [Header ByronSpecBlock] Source #
Serialise (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods encode ∷ LedgerState ByronSpecBlock → Encoding Source # decode ∷ Decoder s (LedgerState ByronSpecBlock) Source # encodeList ∷ [LedgerState ByronSpecBlock] → Encoding Source # decodeList ∷ Decoder s [LedgerState ByronSpecBlock] Source #
Serialise (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool Methods encode ∷ GenTx ByronSpecBlock → Encoding Source # decode ∷ Decoder s (GenTx ByronSpecBlock) Source # encodeList ∷ [GenTx ByronSpecBlock] → Encoding Source # decodeList ∷ Decoder s [GenTx ByronSpecBlock] Source #
ApplyBlock (LedgerState ByronSpecBlock) ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState ByronSpecBlock) → ByronSpecBlock → Ticked (LedgerState ByronSpecBlock) → Except (LedgerErr (LedgerState ByronSpecBlock)) (LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock)) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState ByronSpecBlock) → ByronSpecBlock → Ticked (LedgerState ByronSpecBlock) → LedgerResult (LedgerState ByronSpecBlock) (LedgerState ByronSpecBlock) Source #
type Rep ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep ByronSpecBlock = D1 ('MetaData "ByronSpecBlock" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Block) :: (S1 ('MetaSel ('Just "byronSpecBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :: S1 ('MetaSel ('Just "byronSpecBlockHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
data BlockConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data BlockConfig ByronSpecBlock = ByronSpecBlockConfig
data CodecConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
data Header ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data Header ByronSpecBlock = ByronSpecHeader { byronSpecHeader ∷ BlockHeader byronSpecHeaderNo ∷ BlockNo byronSpecHeaderHash ∷ Hash }
data StorageConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
data LedgerState ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger data LedgerState ByronSpecBlock = ByronSpecLedgerState { byronSpecLedgerTip ∷ Maybe SlotNo byronSpecLedgerState ∷ State CHAIN }
type ApplyTxErr ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool type ApplyTxErr ByronSpecBlock = ByronSpecGenTxErr
newtype GenTx ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype GenTx ByronSpecBlock = ByronSpecGenTx { unByronSpecGenTx ∷ ByronSpecGenTx }
type TxMeasure ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool type TxMeasure ByronSpecBlock = IgnoringOverflow ByteSize32
type HeaderHash ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type HeaderHash ByronSpecBlock = Hash
type Rep (BlockConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (BlockConfig ByronSpecBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Header ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (Header ByronSpecBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :: (S1 ('MetaSel ('Just "byronSpecHeaderNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockNo) :: S1 ('MetaSel ('Just "byronSpecHeaderHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash))))
type Rep (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Validated (GenTx ByronSpecBlock)) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool type Rep (Validated (GenTx ByronSpecBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ValidatedByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronSpecBlock))))
type Rep (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger type Rep (LedgerState ByronSpecBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.ByronSpec.Ledger.Ledger" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronSpecLedgerTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)) :*: S1 ('MetaSel ('Just "byronSpecLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (State CHAIN))))
type Rep (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool type Rep (GenTx ByronSpecBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.ByronSpec.Ledger.Mempool" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByronSpecGenTx)))
newtype Validated (GenTx ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Mempool newtype Validated (GenTx ByronSpecBlock) = ValidatedByronSpecGenTx { forgetValidatedByronSpecGenTx ∷ GenTx ByronSpecBlock }
type AuxLedgerEvent (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronSpecBlock) = VoidLedgerEvent (LedgerState ByronSpecBlock)
type LedgerCfg (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger type LedgerCfg (LedgerState ByronSpecBlock) = ByronSpecGenesis
type LedgerErr (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger type LedgerErr (LedgerState ByronSpecBlock) = ByronSpecLedgerError
data Ticked (LedgerState ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Ledger data Ticked (LedgerState ByronSpecBlock) = TickedByronSpecLedgerState { untickedByronSpecLedgerTip ∷ Maybe SlotNo tickedByronSpecLedgerState ∷ State CHAIN }

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

Instances details

Generic (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (CodecConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ CodecConfig ByronSpecBlock → Rep (CodecConfig ByronSpecBlock) x # to ∷ Rep (CodecConfig ByronSpecBlock) x → CodecConfig ByronSpecBlock #
NoThunks (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig ByronSpecBlock) → String Source #
data CodecConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data CodecConfig ByronSpecBlock = ByronSpecCodecConfig
type Rep (CodecConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (CodecConfig ByronSpecBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

data family Header blk Source #

Instances

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Generic (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Associated Types type Rep (StorageConfig ByronSpecBlock) ∷ Type → Type # Methods from ∷ StorageConfig ByronSpecBlock → Rep (StorageConfig ByronSpecBlock) x # to ∷ Rep (StorageConfig ByronSpecBlock) x → StorageConfig ByronSpecBlock #
NoThunks (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block Methods noThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig ByronSpecBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig ByronSpecBlock) → String Source #
data StorageConfig ByronSpecBlock Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block data StorageConfig ByronSpecBlock = ByronSpecStorageConfig
type Rep (StorageConfig ByronSpecBlock) Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.Block type Rep (StorageConfig ByronSpecBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.ByronSpec.Ledger.Block" "ouroboros-consensus-cardano-0.21.0.0-inplace-unstable-byronspec" 'False) (C1 ('MetaCons "ByronSpecStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type alias

type ByronSpecHeader = Header ByronSpecBlock Source #