Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Byron.Ledger.Block

Contents

Hash
Block
Header
Dealing with EBBs
Low-level API

Synopsis

newtype ByronHash = ByronHash {
- unByronHash :: HeaderHash
}
mkByronHash :: ABlockOrBoundaryHdr ByteString -> ByronHash
data ByronBlock = ByronBlock {
- byronBlockRaw :: !( ABlockOrBoundary ByteString )
- byronBlockSlotNo :: ! SlotNo
- byronBlockHash :: ! ByronHash
}
annotateByronBlock :: EpochSlots -> Block -> ByronBlock
mkByronBlock :: EpochSlots -> ABlockOrBoundary ByteString -> ByronBlock
data family Header blk
mkBoundaryByronHeader :: SlotNo -> ABoundaryHeader ByteString -> SizeInBytes -> Header ByronBlock
mkByronHeader :: EpochSlots -> ABlockOrBoundaryHdr ByteString -> SizeInBytes -> Header ByronBlock
mkRegularByronHeader :: AHeader ByteString -> SizeInBytes -> Header ByronBlock
byronBlockIsEBB :: ByronBlock -> IsEBB
byronHeaderIsEBB :: Header ByronBlock -> IsEBB
knownEBBs :: Map ( HeaderHash ByronBlock ) ( ChainHash ByronBlock )
data UnsizedHeader = UnsizedHeader {
- unsizedHeaderRaw :: !( ABlockOrBoundaryHdr ByteString )
- unsizedHeaderSlotNo :: ! SlotNo
- unsizedHeaderHash :: ! ByronHash
}
joinSizeHint :: UnsizedHeader -> SizeInBytes -> Header ByronBlock
mkUnsizedHeader :: EpochSlots -> ABlockOrBoundaryHdr ByteString -> UnsizedHeader
splitSizeHint :: Header ByronBlock -> ( UnsizedHeader , SizeInBytes )

Hash

newtype ByronHash Source #

Constructors

ByronHash
Fields unByronHash :: HeaderHash

Instances

Instances details

Eq ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) :: ByronHash -> ByronHash -> Bool Source # (/=) :: ByronHash -> ByronHash -> Bool Source #
Ord ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods compare :: ByronHash -> ByronHash -> Ordering Source # (<) :: ByronHash -> ByronHash -> Bool Source # (<=) :: ByronHash -> ByronHash -> Bool Source # (>) :: ByronHash -> ByronHash -> Bool Source # (>=) :: ByronHash -> ByronHash -> Bool Source # max :: ByronHash -> ByronHash -> ByronHash Source # min :: ByronHash -> ByronHash -> ByronHash Source #
Show ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> ByronHash -> ShowS Source # show :: ByronHash -> String Source # showList :: [ ByronHash ] -> ShowS Source #
Generic ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep ByronHash :: Type -> Type Source # Methods from :: ByronHash -> Rep ByronHash x Source # to :: Rep ByronHash x -> ByronHash Source #
ToCBOR ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods toCBOR :: ByronHash -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ByronHash -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ByronHash ] -> Size Source #
FromCBOR ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods fromCBOR :: Decoder s ByronHash Source # label :: Proxy ByronHash -> Text Source #
NoThunks ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods noThunks :: Context -> ByronHash -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ByronHash -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ByronHash -> String Source #
Serialise ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods encode :: ByronHash -> Encoding Source # decode :: Decoder s ByronHash Source # encodeList :: [ ByronHash ] -> Encoding Source # decodeList :: Decoder s [ ByronHash ] Source #
Condense ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense :: ByronHash -> String Source #
type Rep ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep ByronHash = D1 (' MetaData "ByronHash" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "ByronHash" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unByronHash") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 HeaderHash )))

mkByronHash :: ABlockOrBoundaryHdr ByteString -> ByronHash Source #

Block

data ByronBlock Source #

Byron block

We cache two bits of information:

We cache the slot number as this is not readily available for EBBs. Having it cached allows us to e.g. give a HasHeader instance.
We cache the hash as this is expensive to compute and we need it often.

Constructors

ByronBlock
Fields byronBlockRaw :: !( ABlockOrBoundary ByteString ) byronBlockSlotNo :: ! SlotNo byronBlockHash :: ! ByronHash

Instances

Instances details

Eq ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) :: ByronBlock -> ByronBlock -> Bool Source # (/=) :: ByronBlock -> ByronBlock -> Bool Source #
Show ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> ByronBlock -> ShowS Source # show :: ByronBlock -> String Source # showList :: [ ByronBlock ] -> ShowS Source #
SerialiseNodeToNodeConstraints ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods estimateBlockSize :: Header ByronBlock -> SizeInBytes Source #
SerialiseNodeToClientConstraints ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation
RunNode ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node
SerialiseDiskConstraints ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation
NodeInitStorage ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods nodeImmutableDbChunkInfo :: StorageConfig ByronBlock -> ChunkInfo Source # nodeCheckIntegrity :: StorageConfig ByronBlock -> ByronBlock -> Bool Source # nodeInitChainDB :: IOLike m => StorageConfig ByronBlock -> InitChainDB m ByronBlock -> m () Source #
QueryLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods answerBlockQuery :: ExtLedgerCfg ByronBlock -> BlockQuery ByronBlock result -> ExtLedgerState ByronBlock -> result Source #
ConfigSupportsNode ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods getSystemStart :: BlockConfig ByronBlock -> SystemStart Source # getNetworkMagic :: BlockConfig ByronBlock -> NetworkMagic Source #
HasHardForkHistory ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type HardForkIndices ByronBlock :: [ Type ] Source # Methods hardForkSummary :: LedgerConfig ByronBlock -> LedgerState ByronBlock -> Summary ( HardForkIndices ByronBlock ) Source #
LedgerSupportsProtocol ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods protocolLedgerView :: LedgerConfig ByronBlock -> Ticked ( LedgerState ByronBlock ) -> Ticked ( LedgerView ( BlockProtocol ByronBlock )) Source # ledgerViewForecastAt :: LedgerConfig ByronBlock -> LedgerState ByronBlock -> Forecast ( LedgerView ( BlockProtocol ByronBlock )) Source #
HasBinaryBlockInfo ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods getBinaryBlockInfo :: ByronBlock -> BinaryBlockInfo Source #
InspectLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect Associated Types type LedgerWarning ByronBlock Source # type LedgerUpdate ByronBlock Source # Methods inspectLedger :: TopLevelConfig ByronBlock -> LedgerState ByronBlock -> LedgerState ByronBlock -> [ LedgerEvent ByronBlock ] Source #
HasAnnTip ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Associated Types type TipInfo ByronBlock Source # Methods getTipInfo :: Header ByronBlock -> TipInfo ByronBlock Source # tipInfoHash :: proxy ByronBlock -> TipInfo ByronBlock -> HeaderHash ByronBlock Source #
BasicEnvelopeValidation ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Methods expectedFirstBlockNo :: proxy ByronBlock -> BlockNo Source # expectedNextBlockNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> BlockNo -> BlockNo Source # minimumPossibleSlotNo :: Proxy ByronBlock -> SlotNo Source # minimumNextSlotNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> SlotNo -> SlotNo Source #
ValidateEnvelope ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation Associated Types type OtherHeaderEnvelopeError ByronBlock Source # Methods additionalEnvelopeChecks :: TopLevelConfig ByronBlock -> Ticked ( LedgerView ( BlockProtocol ByronBlock )) -> Header ByronBlock -> Except ( OtherHeaderEnvelopeError ByronBlock ) () Source #
TxLimits ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type TxMeasure ByronBlock Source # Methods txMeasure :: Validated ( GenTx ByronBlock ) -> TxMeasure ByronBlock Source # txsBlockCapacity :: Ticked ( LedgerState ByronBlock ) -> TxMeasure ByronBlock Source #
LedgerSupportsMempool ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods txInvariant :: GenTx ByronBlock -> Bool Source # applyTx :: LedgerConfig ByronBlock -> WhetherToIntervene -> SlotNo -> GenTx ByronBlock -> TickedLedgerState ByronBlock -> Except ( ApplyTxErr ByronBlock ) ( TickedLedgerState ByronBlock , Validated ( GenTx ByronBlock )) Source # reapplyTx :: LedgerConfig ByronBlock -> SlotNo -> Validated ( GenTx ByronBlock ) -> TickedLedgerState ByronBlock -> Except ( ApplyTxErr ByronBlock ) ( TickedLedgerState ByronBlock ) Source # txsMaxBytes :: TickedLedgerState ByronBlock -> Word32 Source # txInBlockSize :: GenTx ByronBlock -> Word32 Source # txForgetValidated :: Validated ( GenTx ByronBlock ) -> GenTx ByronBlock Source #
HasTxs ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods extractTxs :: ByronBlock -> [ GenTx ByronBlock ] Source #
BlockSupportsMetrics ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods isSelfIssued :: BlockConfig ByronBlock -> Header ByronBlock -> WhetherSelfIssued Source #
BlockSupportsProtocol ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.PBFT Methods validateView :: BlockConfig ByronBlock -> Header ByronBlock -> ValidateView ( BlockProtocol ByronBlock ) Source # selectView :: BlockConfig ByronBlock -> Header ByronBlock -> SelectView ( BlockProtocol ByronBlock ) Source #
CommonProtocolParams ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods maxHeaderSize :: LedgerState ByronBlock -> Word32 Source # maxTxSize :: LedgerState ByronBlock -> Word32 Source #
LedgerSupportsPeerSelection ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getPeers :: LedgerState ByronBlock -> [( PoolStake , NonEmpty StakePoolRelay )] Source #
UpdateLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger
GetPrevHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods headerPrevHash :: Header ByronBlock -> ChainHash ByronBlock Source #
GetHeader ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeader :: ByronBlock -> Header ByronBlock Source # blockMatchesHeader :: Header ByronBlock -> ByronBlock -> Bool Source # headerIsEBB :: Header ByronBlock -> Maybe EpochNo Source #
ConvertRawHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods toRawHash :: proxy ByronBlock -> HeaderHash ByronBlock -> ByteString Source # fromRawHash :: proxy ByronBlock -> ByteString -> HeaderHash ByronBlock Source # toShortRawHash :: proxy ByronBlock -> HeaderHash ByronBlock -> ShortByteString Source # fromShortRawHash :: proxy ByronBlock -> ShortByteString -> HeaderHash ByronBlock Source # hashSize :: proxy ByronBlock -> Word32 Source #
Condense ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense :: ByronBlock -> String Source #
HasNetworkProtocolVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion Associated Types type BlockNodeToNodeVersion ByronBlock Source # type BlockNodeToClientVersion ByronBlock Source #
SupportedNetworkProtocolVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion Methods supportedNodeToNodeVersions :: Proxy ByronBlock -> Map NodeToNodeVersion ( BlockNodeToNodeVersion ByronBlock ) Source # supportedNodeToClientVersions :: Proxy ByronBlock -> Map NodeToClientVersion ( BlockNodeToClientVersion ByronBlock ) Source # latestReleasedNodeVersion :: Proxy ByronBlock -> ( Maybe NodeToNodeVersion , Maybe NodeToClientVersion ) Source #
StandardHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block
HasHeader ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields :: ByronBlock -> HeaderFields ByronBlock Source #
SerialiseNodeToNode ByronBlock ByronBlock Source #	CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped ( `Serialised` ) variant.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ByronBlock Source #
SerialiseNodeToClient ByronBlock ApplyMempoolPayloadErr Source #	`ApplyTxErr` `ByronBlock`
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> ApplyMempoolPayloadErr -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ApplyMempoolPayloadErr Source #
SerialiseNodeToClient ByronBlock SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> SlotNo -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s SlotNo Source #
SerialiseNodeToClient ByronBlock ByronBlock Source #	CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped ( `Serialised` ) variant.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ByronBlock Source #
EncodeDisk ByronBlock ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDisk :: CodecConfig ByronBlock -> ByronBlock -> Encoding Source #
ReconstructNestedCtxt Header ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods reconstructPrefixLen :: proxy ( Header ByronBlock ) -> PrefixLen Source # reconstructNestedCtxt :: proxy ( Header ByronBlock ) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ByronBlock Source #
HasNestedContent Header ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods unnest :: Header ByronBlock -> DepPair ( NestedCtxt Header ByronBlock ) Source # nest :: DepPair ( NestedCtxt Header ByronBlock ) -> Header ByronBlock Source #
SerialiseNodeToNode ByronBlock ( Serialised ByronBlock ) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> Serialised ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ( Serialised ByronBlock ) Source #
SerialiseNodeToNode ByronBlock ( SerialisedHeader ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> SerialisedHeader ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ( SerialisedHeader ByronBlock ) Source #
SerialiseNodeToNode ByronBlock ( GenTx ByronBlock ) Source #	No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTx ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ( GenTx ByronBlock ) Source #
SerialiseNodeToNode ByronBlock ( GenTxId ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ( GenTxId ByronBlock ) Source #
SerialiseNodeToNode ByronBlock ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> Header ByronBlock -> Encoding Source # decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ( Header ByronBlock ) Source #
SerialiseNodeToClient ByronBlock ( Serialised ByronBlock ) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> Serialised ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ( Serialised ByronBlock ) Source #
SerialiseNodeToClient ByronBlock ( GenTx ByronBlock ) Source #	No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTx ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ( GenTx ByronBlock ) Source #
SerialiseNodeToClient ByronBlock ( GenTxId ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ( GenTxId ByronBlock ) Source #
SerialiseResult ByronBlock ( BlockQuery ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeResult :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> BlockQuery ByronBlock result -> result -> Encoding Source # decodeResult :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> BlockQuery ByronBlock result -> forall s. Decoder s result Source #
EncodeDisk ByronBlock ( PBftState PBftByronCrypto ) Source #	`ChainDepState` (`BlockProtocol` `ByronBlock`)
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDisk :: CodecConfig ByronBlock -> PBftState PBftByronCrypto -> Encoding Source #
EncodeDisk ByronBlock ( AnnTip ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDisk :: CodecConfig ByronBlock -> AnnTip ByronBlock -> Encoding Source #
EncodeDisk ByronBlock ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDisk :: CodecConfig ByronBlock -> LedgerState ByronBlock -> Encoding Source #
DecodeDisk ByronBlock ( PBftState PBftByronCrypto ) Source #	`ChainDepState` (`BlockProtocol` `ByronBlock`)
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s ( PBftState PBftByronCrypto ) Source #
DecodeDisk ByronBlock ( AnnTip ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s ( AnnTip ByronBlock ) Source #
DecodeDisk ByronBlock ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s ( LedgerState ByronBlock ) Source #
ShowProxy ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showProxy :: Proxy ( GenTx ByronBlock ) -> String Source #
ShowProxy ( TxId ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showProxy :: Proxy ( TxId ( GenTx ByronBlock )) -> String Source #
ShowProxy ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy :: Proxy ( Header ByronBlock ) -> String Source #
SerialiseNodeToClient ByronBlock ( SomeSecond BlockQuery ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> SomeSecond BlockQuery ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ( SomeSecond BlockQuery ByronBlock ) Source #
DecodeDisk ByronBlock ( ByteString -> ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s ( ByteString -> ByronBlock ) Source #
Eq ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source # (/=) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source #
Eq ( TxId ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source # (/=) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source #
Eq ( Validated ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) :: Validated ( GenTx ByronBlock ) -> Validated ( GenTx ByronBlock ) -> Bool Source # (/=) :: Validated ( GenTx ByronBlock ) -> Validated ( GenTx ByronBlock ) -> Bool Source #
Eq ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) :: LedgerState ByronBlock -> LedgerState ByronBlock -> Bool Source # (/=) :: LedgerState ByronBlock -> LedgerState ByronBlock -> Bool Source #
Eq ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) :: Header ByronBlock -> Header ByronBlock -> Bool Source # (/=) :: Header ByronBlock -> Header ByronBlock -> Bool Source #
Ord ( TxId ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods compare :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Ordering Source # (<) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source # (<=) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source # (>) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source # (>=) :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> Bool Source # max :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) Source # min :: TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) -> TxId ( GenTx ByronBlock ) Source #
Show ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec :: Int -> GenTx ByronBlock -> ShowS Source # show :: GenTx ByronBlock -> String Source # showList :: [ GenTx ByronBlock ] -> ShowS Source #
Show ( GenTxId ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec :: Int -> GenTxId ByronBlock -> ShowS Source # show :: GenTxId ByronBlock -> String Source # showList :: [ GenTxId ByronBlock ] -> ShowS Source #
Show ( Validated ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec :: Int -> Validated ( GenTx ByronBlock ) -> ShowS Source # show :: Validated ( GenTx ByronBlock ) -> String Source # showList :: [ Validated ( GenTx ByronBlock )] -> ShowS Source #
Show ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec :: Int -> LedgerState ByronBlock -> ShowS Source # show :: LedgerState ByronBlock -> String Source # showList :: [ LedgerState ByronBlock ] -> ShowS Source #
Show ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> Header ByronBlock -> ShowS Source # show :: Header ByronBlock -> String Source # showList :: [ Header ByronBlock ] -> ShowS Source #
Generic ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep ( GenTx ByronBlock ) :: Type -> Type Source # Methods from :: GenTx ByronBlock -> Rep ( GenTx ByronBlock ) x Source # to :: Rep ( GenTx ByronBlock ) x -> GenTx ByronBlock Source #
Generic ( Validated ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep ( Validated ( GenTx ByronBlock )) :: Type -> Type Source # Methods from :: Validated ( GenTx ByronBlock ) -> Rep ( Validated ( GenTx ByronBlock )) x Source # to :: Rep ( Validated ( GenTx ByronBlock )) x -> Validated ( GenTx ByronBlock ) Source #
Generic ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep ( LedgerState ByronBlock ) :: Type -> Type Source # Methods from :: LedgerState ByronBlock -> Rep ( LedgerState ByronBlock ) x Source # to :: Rep ( LedgerState ByronBlock ) x -> LedgerState ByronBlock Source #
Generic ( BlockConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep ( BlockConfig ByronBlock ) :: Type -> Type Source # Methods from :: BlockConfig ByronBlock -> Rep ( BlockConfig ByronBlock ) x Source # to :: Rep ( BlockConfig ByronBlock ) x -> BlockConfig ByronBlock Source #
Generic ( CodecConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep ( CodecConfig ByronBlock ) :: Type -> Type Source # Methods from :: CodecConfig ByronBlock -> Rep ( CodecConfig ByronBlock ) x Source # to :: Rep ( CodecConfig ByronBlock ) x -> CodecConfig ByronBlock Source #
Generic ( StorageConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep ( StorageConfig ByronBlock ) :: Type -> Type Source # Methods from :: StorageConfig ByronBlock -> Rep ( StorageConfig ByronBlock ) x Source # to :: Rep ( StorageConfig ByronBlock ) x -> StorageConfig ByronBlock Source #
Generic ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep ( Header ByronBlock ) :: Type -> Type Source # Methods from :: Header ByronBlock -> Rep ( Header ByronBlock ) x Source # to :: Rep ( Header ByronBlock ) x -> Header ByronBlock Source #
Generic ( Ticked ( LedgerState ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep ( Ticked ( LedgerState ByronBlock )) :: Type -> Type Source # Methods from :: Ticked ( LedgerState ByronBlock ) -> Rep ( Ticked ( LedgerState ByronBlock )) x Source # to :: Rep ( Ticked ( LedgerState ByronBlock )) x -> Ticked ( LedgerState ByronBlock ) Source #
NoThunks ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks :: Context -> GenTx ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> GenTx ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( GenTx ByronBlock ) -> String Source #
NoThunks ( TxId ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks :: Context -> TxId ( GenTx ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxId ( GenTx ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxId ( GenTx ByronBlock )) -> String Source #
NoThunks ( Validated ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods noThunks :: Context -> Validated ( GenTx ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Validated ( GenTx ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Validated ( GenTx ByronBlock )) -> String Source #
NoThunks ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods noThunks :: Context -> LedgerState ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LedgerState ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LedgerState ByronBlock ) -> String Source #
NoThunks ( BlockConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Methods noThunks :: Context -> BlockConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BlockConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( BlockConfig ByronBlock ) -> String Source #
NoThunks ( CodecConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Methods noThunks :: Context -> CodecConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CodecConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( CodecConfig ByronBlock ) -> String Source #
NoThunks ( StorageConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Methods noThunks :: Context -> StorageConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> StorageConfig ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( StorageConfig ByronBlock ) -> String Source #
NoThunks ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods noThunks :: Context -> Header ByronBlock -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Header ByronBlock -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Header ByronBlock ) -> String Source #
NoThunks ( Ticked ( LedgerState ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods noThunks :: Context -> Ticked ( LedgerState ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ByronBlock ) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ByronBlock )) -> String Source #
HasTxId ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods txId :: GenTx ByronBlock -> TxId ( GenTx ByronBlock ) Source #
GetTip ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getTip :: LedgerState ByronBlock -> Point ( LedgerState ByronBlock ) Source #
GetTip ( Ticked ( LedgerState ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getTip :: Ticked ( LedgerState ByronBlock ) -> Point ( Ticked ( LedgerState ByronBlock )) Source #
IsLedger ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type LedgerErr ( LedgerState ByronBlock ) Source # type AuxLedgerEvent ( LedgerState ByronBlock ) Source # Methods applyChainTickLedgerResult :: LedgerCfg ( LedgerState ByronBlock ) -> SlotNo -> LedgerState ByronBlock -> LedgerResult ( LedgerState ByronBlock ) ( Ticked ( LedgerState ByronBlock )) Source #
Condense ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods condense :: GenTx ByronBlock -> String Source #
Condense ( GenTxId ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods condense :: GenTxId ByronBlock -> String Source #
Condense ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense :: Header ByronBlock -> String Source #
SameDepIndex ( BlockQuery ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex :: BlockQuery ByronBlock a -> BlockQuery ByronBlock b -> Maybe (a :~: b) Source #
HasHeader ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields :: Header ByronBlock -> HeaderFields ( Header ByronBlock ) Source #
ShowQuery ( BlockQuery ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult :: BlockQuery ByronBlock result -> result -> String Source #
EncodeDiskDepIx ( NestedCtxt Header ) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDiskDepIx :: CodecConfig ByronBlock -> SomeSecond ( NestedCtxt Header ) ByronBlock -> Encoding Source #
EncodeDiskDep ( NestedCtxt Header ) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDiskDep :: CodecConfig ByronBlock -> NestedCtxt Header ByronBlock a -> a -> Encoding Source #
DecodeDiskDepIx ( NestedCtxt Header ) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDiskDepIx :: CodecConfig ByronBlock -> Decoder s ( SomeSecond ( NestedCtxt Header ) ByronBlock ) Source #
DecodeDiskDep ( NestedCtxt Header ) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDiskDep :: CodecConfig ByronBlock -> NestedCtxt Header ByronBlock a -> forall s. Decoder s ( ByteString -> a) Source #
ApplyBlock ( LedgerState ByronBlock ) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods applyBlockLedgerResult :: LedgerCfg ( LedgerState ByronBlock ) -> ByronBlock -> Ticked ( LedgerState ByronBlock ) -> Except ( LedgerErr ( LedgerState ByronBlock )) ( LedgerResult ( LedgerState ByronBlock ) ( LedgerState ByronBlock )) Source # reapplyBlockLedgerResult :: LedgerCfg ( LedgerState ByronBlock ) -> ByronBlock -> Ticked ( LedgerState ByronBlock ) -> LedgerResult ( LedgerState ByronBlock ) ( LedgerState ByronBlock ) Source #
ShowProxy ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy :: Proxy ByronBlock -> String Source #
Eq ( BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) :: BlockQuery ByronBlock result -> BlockQuery ByronBlock result -> Bool Source # (/=) :: BlockQuery ByronBlock result -> BlockQuery ByronBlock result -> Bool Source #
Show ( BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec :: Int -> BlockQuery ByronBlock result -> ShowS Source # show :: BlockQuery ByronBlock result -> String Source # showList :: [ BlockQuery ByronBlock result] -> ShowS Source #
SameDepIndex ( NestedCtxt_ ByronBlock f) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods sameDepIndex :: NestedCtxt_ ByronBlock f a -> NestedCtxt_ ByronBlock f b -> Maybe (a :~: b) Source #
ShowProxy ( BlockQuery ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showProxy :: Proxy ( BlockQuery ByronBlock ) -> String Source #
Show ( NestedCtxt_ ByronBlock f a) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods showsPrec :: Int -> NestedCtxt_ ByronBlock f a -> ShowS Source # show :: NestedCtxt_ ByronBlock f a -> String Source # showList :: [ NestedCtxt_ ByronBlock f a] -> ShowS Source #
data BlockQuery ByronBlock a Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock a where GetUpdateInterfaceState :: BlockQuery ByronBlock State
type HardForkIndices ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type HardForkIndices ByronBlock = '[ ByronBlock ]
type LedgerUpdate ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerUpdate ByronBlock = ByronLedgerUpdate
type LedgerWarning ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerWarning ByronBlock = Void
type TipInfo ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type TipInfo ByronBlock = TipInfoIsEBB ByronBlock
type OtherHeaderEnvelopeError ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type OtherHeaderEnvelopeError ByronBlock = ByronOtherHeaderEnvelopeError
type CannotForge ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type CannotForge ByronBlock = PBftCannotForge PBftByronCrypto
type ForgeStateInfo ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type ForgeStateInfo ByronBlock = ()
type ForgeStateUpdateError ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type ForgeStateUpdateError ByronBlock = Void
type TxMeasure ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasure ByronBlock = ByteSize
data GenTx ByronBlock Source #	Generalized transactions in Byron This is effectively the same as `AMempoolPayload` but we cache the transaction ID (a hash).
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data GenTx ByronBlock = ByronTx ! TxId !( ATxAux ByteString ) \| ByronDlg ! CertificateId !( ACertificate ByteString ) \| ByronUpdateProposal ! UpId !( AProposal ByteString ) \| ByronUpdateVote ! VoteId !( AVote ByteString )
type ApplyTxErr ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type ApplyTxErr ByronBlock = ApplyMempoolPayloadErr
data LedgerState ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data LedgerState ByronBlock = ByronLedgerState { byronLedgerTipBlockNo :: !( WithOrigin BlockNo ) byronLedgerState :: ! ChainValidationState byronLedgerTransition :: ! ByronTransition }
type BlockProtocol ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.PBFT type BlockProtocol ByronBlock = PBft PBftByronCrypto
data BlockConfig ByronBlock Source #	Extended configuration we need for Byron
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config data BlockConfig ByronBlock = ByronConfig { byronGenesisConfig :: ! Config byronProtocolVersion :: ! ProtocolVersion byronSoftwareVersion :: ! SoftwareVersion }
newtype CodecConfig ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype CodecConfig ByronBlock = ByronCodecConfig { getByronEpochSlots :: EpochSlots }
newtype StorageConfig ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype StorageConfig ByronBlock = ByronStorageConfig { getByronBlockConfig :: BlockConfig ByronBlock }
data Header ByronBlock Source #	Byron header See `ByronBlock` for comments on why we cache certain values.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block data Header ByronBlock = ByronHeader { byronHeaderRaw :: !( ABlockOrBoundaryHdr ByteString ) byronHeaderSlotNo :: ! SlotNo byronHeaderHash :: ! ByronHash byronHeaderBlockSizeHint :: ! SizeInBytes }
data NestedCtxt_ ByronBlock f a Source #	Since the Byron header does not contain the size, we include it in the nested type instead.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation data NestedCtxt_ ByronBlock f a where CtxtByronRegular :: ! SizeInBytes -> NestedCtxt_ ByronBlock Header RawHeader CtxtByronBoundary :: ! SizeInBytes -> NestedCtxt_ ByronBlock Header ( SlotNo , RawBoundaryHeader )
type BlockNodeToClientVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion ByronBlock = ByronNodeToClientVersion
type BlockNodeToNodeVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion ByronBlock = ByronNodeToNodeVersion
type HeaderHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type HeaderHash ByronBlock = ByronHash
type Rep ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep ( GenTx ByronBlock ) = D1 (' MetaData "GenTx" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' False ) (( C1 (' MetaCons "ByronTx" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TxId ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ATxAux ByteString ))) :+: C1 (' MetaCons "ByronDlg" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 CertificateId ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ACertificate ByteString )))) :+: ( C1 (' MetaCons "ByronUpdateProposal" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 UpId ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( AProposal ByteString ))) :+: C1 (' MetaCons "ByronUpdateVote" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 VoteId ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( AVote ByteString )))))
type Rep ( Validated ( GenTx ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep ( Validated ( GenTx ByronBlock )) = D1 (' MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "ValidatedByronTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "forgetValidatedByronTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( GenTx ByronBlock ))))
type Rep ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep ( LedgerState ByronBlock ) = D1 (' MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' False ) ( C1 (' MetaCons "ByronLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "byronLedgerTipBlockNo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( WithOrigin BlockNo )) :: ( S1 (' MetaSel (' Just "byronLedgerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ChainValidationState ) :: S1 (' MetaSel (' Just "byronLedgerTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByronTransition ))))
type Rep ( BlockConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep ( BlockConfig ByronBlock ) = D1 (' MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' False ) ( C1 (' MetaCons "ByronConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "byronGenesisConfig") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Config ) :: ( S1 (' MetaSel (' Just "byronProtocolVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ProtocolVersion ) :: S1 (' MetaSel (' Just "byronSoftwareVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SoftwareVersion ))))
type Rep ( CodecConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep ( CodecConfig ByronBlock ) = D1 (' MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "ByronCodecConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getByronEpochSlots") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 EpochSlots )))
type Rep ( StorageConfig ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep ( StorageConfig ByronBlock ) = D1 (' MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' True ) ( C1 (' MetaCons "ByronStorageConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getByronBlockConfig") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( BlockConfig ByronBlock ))))
type Rep ( Header ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep ( Header ByronBlock ) = D1 (' MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' False ) ( C1 (' MetaCons "ByronHeader" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "byronHeaderRaw") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ABlockOrBoundaryHdr ByteString )) :: S1 (' MetaSel (' Just "byronHeaderSlotNo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNo )) :: ( S1 (' MetaSel (' Just "byronHeaderHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByronHash ) :*: S1 (' MetaSel (' Just "byronHeaderBlockSizeHint") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SizeInBytes ))))
type Rep ( Ticked ( LedgerState ByronBlock )) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep ( Ticked ( LedgerState ByronBlock )) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-byron-0.1.0.1-1xx7v4AzrF0A75LZoaNMal" ' False ) ( C1 (' MetaCons "TickedByronLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "tickedByronLedgerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ChainValidationState ) :*: S1 (' MetaSel (' Just "untickedByronLedgerTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByronTransition )))
data TxId ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data TxId ( GenTx ByronBlock ) = ByronTxId ! TxId \| ByronDlgId ! CertificateId \| ByronUpdateProposalId ! UpId \| ByronUpdateVoteId ! VoteId
newtype Validated ( GenTx ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool newtype Validated ( GenTx ByronBlock ) = ValidatedByronTx { forgetValidatedByronTx :: GenTx ByronBlock }
type LedgerCfg ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerCfg ( LedgerState ByronBlock ) = Config
type AuxLedgerEvent ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent ( LedgerState ByronBlock ) = VoidLedgerEvent ( LedgerState ByronBlock )
type LedgerErr ( LedgerState ByronBlock ) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr ( LedgerState ByronBlock ) = ChainValidationError
data Ticked ( LedgerState ByronBlock ) Source #	The ticked Byron ledger state
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data Ticked ( LedgerState ByronBlock ) = TickedByronLedgerState { tickedByronLedgerState :: ! ChainValidationState untickedByronLedgerTransition :: ! ByronTransition }