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
}
mkByronBlock :: EpochSlots -> ABlockOrBoundary ByteString -> ByronBlock
annotateByronBlock :: EpochSlots -> Block -> ByronBlock
data family Header blk
mkByronHeader :: EpochSlots -> ABlockOrBoundaryHdr ByteString -> SizeInBytes -> Header ByronBlock
mkRegularByronHeader :: AHeader ByteString -> SizeInBytes -> Header ByronBlock
mkBoundaryByronHeader :: SlotNo -> ABoundaryHeader ByteString -> SizeInBytes -> Header ByronBlock
byronHeaderIsEBB :: Header ByronBlock -> IsEBB
byronBlockIsEBB :: ByronBlock -> IsEBB
knownEBBs :: Map (HeaderHash ByronBlock) (ChainHash ByronBlock)
data UnsizedHeader = UnsizedHeader {
- unsizedHeaderRaw :: !(ABlockOrBoundaryHdr ByteString)
- unsizedHeaderSlotNo :: !SlotNo
- unsizedHeaderHash :: !ByronHash
}
mkUnsizedHeader :: EpochSlots -> ABlockOrBoundaryHdr ByteString -> UnsizedHeader
splitSizeHint :: Header ByronBlock -> (UnsizedHeader, SizeInBytes)
joinSizeHint :: UnsizedHeader -> SizeInBytes -> Header ByronBlock

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 # (/=) :: ByronHash -> ByronHash -> Bool #
Ord ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods compare :: ByronHash -> ByronHash -> Ordering # (<) :: ByronHash -> ByronHash -> Bool # (<=) :: ByronHash -> ByronHash -> Bool # (>) :: ByronHash -> ByronHash -> Bool # (>=) :: ByronHash -> ByronHash -> Bool # max :: ByronHash -> ByronHash -> ByronHash # min :: ByronHash -> ByronHash -> ByronHash #
Show ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> ByronHash -> ShowS # show :: ByronHash -> String # showList :: [ByronHash] -> ShowS #
Generic ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep ByronHash :: Type -> Type # Methods from :: ByronHash -> Rep ByronHash x # to :: Rep ByronHash x -> ByronHash #
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.0-GJfZjV8qqNI4kWb01fxkk3" '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 # (/=) :: ByronBlock -> ByronBlock -> Bool #
Show ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> ByronBlock -> ShowS # show :: ByronBlock -> String # showList :: [ByronBlock] -> ShowS #
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
ConfigSupportsNode ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods getSystemStart :: BlockConfig ByronBlock -> SystemStart Source # getNetworkMagic :: BlockConfig ByronBlock -> NetworkMagic Source #
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 #
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 #
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 #
QueryLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods answerQuery :: ExtLedgerCfg ByronBlock -> Query ByronBlock result -> ExtLedgerState ByronBlock -> result 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 #
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 #
LedgerSupportsMempool ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods txInvariant :: GenTx ByronBlock -> Bool Source # applyTx :: LedgerConfig ByronBlock -> SlotNo -> GenTx ByronBlock -> TickedLedgerState ByronBlock -> Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock) Source # reapplyTx :: LedgerConfig ByronBlock -> SlotNo -> GenTx ByronBlock -> TickedLedgerState ByronBlock -> Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock) Source # maxTxCapacity :: TickedLedgerState ByronBlock -> Word32 Source # txInBlockSize :: GenTx ByronBlock -> Word32 Source #
HasTxs ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods extractTxs :: ByronBlock -> [GenTx ByronBlock] 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 #
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 #
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 #
Measured BlockMeasure ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods measure :: ByronBlock -> BlockMeasure 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 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 #
SerialiseResult ByronBlock (Query ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeResult :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> Query ByronBlock result -> result -> Encoding Source # decodeResult :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> Query 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 Query ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> SomeSecond Query ByronBlock -> Encoding Source # decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (SomeSecond Query 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 # (/=) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool #
Eq (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods (==) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool # (/=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool #
Eq (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) :: LedgerState ByronBlock -> LedgerState ByronBlock -> Bool # (/=) :: LedgerState ByronBlock -> LedgerState ByronBlock -> Bool #
Eq (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) :: Header ByronBlock -> Header ByronBlock -> Bool # (/=) :: Header ByronBlock -> Header ByronBlock -> Bool #
Ord (TxId (GenTx ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods compare :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Ordering # (<) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool # (<=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool # (>) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool # (>=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool # max :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) # min :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) #
Show (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec :: Int -> GenTx ByronBlock -> ShowS # show :: GenTx ByronBlock -> String # showList :: [GenTx ByronBlock] -> ShowS #
Show (GenTxId ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods showsPrec :: Int -> GenTxId ByronBlock -> ShowS # show :: GenTxId ByronBlock -> String # showList :: [GenTxId ByronBlock] -> ShowS #
Show (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec :: Int -> LedgerState ByronBlock -> ShowS # show :: LedgerState ByronBlock -> String # showList :: [LedgerState ByronBlock] -> ShowS #
Show (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec :: Int -> Header ByronBlock -> ShowS # show :: Header ByronBlock -> String # showList :: [Header ByronBlock] -> ShowS #
Generic (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep (GenTx ByronBlock) :: Type -> Type # Methods from :: GenTx ByronBlock -> Rep (GenTx ByronBlock) x # to :: Rep (GenTx ByronBlock) x -> GenTx ByronBlock #
Generic (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep (LedgerState ByronBlock) :: Type -> Type # Methods from :: LedgerState ByronBlock -> Rep (LedgerState ByronBlock) x # to :: Rep (LedgerState ByronBlock) x -> LedgerState ByronBlock #
Generic (BlockConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (BlockConfig ByronBlock) :: Type -> Type # Methods from :: BlockConfig ByronBlock -> Rep (BlockConfig ByronBlock) x # to :: Rep (BlockConfig ByronBlock) x -> BlockConfig ByronBlock #
Generic (CodecConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (CodecConfig ByronBlock) :: Type -> Type # Methods from :: CodecConfig ByronBlock -> Rep (CodecConfig ByronBlock) x # to :: Rep (CodecConfig ByronBlock) x -> CodecConfig ByronBlock #
Generic (StorageConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (StorageConfig ByronBlock) :: Type -> Type # Methods from :: StorageConfig ByronBlock -> Rep (StorageConfig ByronBlock) x # to :: Rep (StorageConfig ByronBlock) x -> StorageConfig ByronBlock #
Generic (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep (Header ByronBlock) :: Type -> Type # Methods from :: Header ByronBlock -> Rep (Header ByronBlock) x # to :: Rep (Header ByronBlock) x -> Header ByronBlock #
Generic (Ticked (LedgerState ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep (Ticked (LedgerState ByronBlock)) :: Type -> Type # Methods from :: Ticked (LedgerState ByronBlock) -> Rep (Ticked (LedgerState ByronBlock)) x # to :: Rep (Ticked (LedgerState ByronBlock)) x -> Ticked (LedgerState ByronBlock) #
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 (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 # Methods applyChainTick :: LedgerCfg (LedgerState ByronBlock) -> SlotNo -> 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 (Query ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex :: Query ByronBlock a -> Query 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) #
ShowQuery (Query ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult :: Query ByronBlock result -> result -> String #
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 applyLedgerBlock :: LedgerCfg (LedgerState ByronBlock) -> ByronBlock -> Ticked (LedgerState ByronBlock) -> Except (LedgerErr (LedgerState ByronBlock)) (LedgerState ByronBlock) Source # reapplyLedgerBlock :: LedgerCfg (LedgerState ByronBlock) -> ByronBlock -> Ticked (LedgerState ByronBlock) -> LedgerState ByronBlock Source #
ShowProxy ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy :: Proxy ByronBlock -> String Source #
Eq (Query ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) :: Query ByronBlock result -> Query ByronBlock result -> Bool # (/=) :: Query ByronBlock result -> Query ByronBlock result -> Bool #
Show (Query ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec :: Int -> Query ByronBlock result -> ShowS # show :: Query ByronBlock result -> String # showList :: [Query ByronBlock result] -> ShowS #
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 (Query ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showProxy :: Proxy (Query 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 # show :: NestedCtxt_ ByronBlock f a -> String # showList :: [NestedCtxt_ ByronBlock f a] -> ShowS #
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
data Query ByronBlock a Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data Query ByronBlock a where GetUpdateInterfaceState :: Query ByronBlock State
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
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.0-GJfZjV8qqNI4kWb01fxkk3" '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 (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.0-GJfZjV8qqNI4kWb01fxkk3" '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.0-GJfZjV8qqNI4kWb01fxkk3" '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.0-GJfZjV8qqNI4kWb01fxkk3" '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.0-GJfZjV8qqNI4kWb01fxkk3" '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.0-GJfZjV8qqNI4kWb01fxkk3" '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.0-GJfZjV8qqNI4kWb01fxkk3" '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
type LedgerCfg (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerCfg (LedgerState ByronBlock) = Config
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 }