Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Block

Contents

Shelley Compatibility
Serialisation
Conversion

Synopsis

class HasHeader ( Header blk) => GetHeader blk where
- getHeader :: blk -> Header blk
- blockMatchesHeader :: Header blk -> blk -> Bool
- headerIsEBB :: Header blk -> Maybe EpochNo
data family Header blk
data family NestedCtxt_ blk :: ( Type -> Type ) -> Type -> Type
class ( ShelleyBasedEra era, GetLedgerView era, State ( EraRule "PPUP" era) ~ PPUPState era, Default ( State ( EraRule "PPUP" era)), HasField "_maxBBSize" ( PParams era) Natural , HasField "_maxBHSize" ( PParams era) Natural , HasField "_maxTxSize" ( PParams era) Natural , HasField "_a0" ( PParams era) NonNegativeInterval , HasField "_nOpt" ( PParams era) Natural , HasField "_rho" ( PParams era) UnitInterval , HasField "_tau" ( PParams era) UnitInterval , ValidateScript era, FromCBOR ( PParams era), ToCBOR ( PParams era), HasField "_protocolVersion" ( PParamsDelta era) ( StrictMaybe ProtVer ), FromCBOR ( PParamsDelta era), AdditionalGenesisConfig era ~ TranslationContext era, ToCBORGroup ( TxSeq era), NoThunks ( TranslationContext era), FromCBOR ( Annotator ( Witnesses era)), ToCBOR ( Witnesses era), Eq ( TxSeq era), Show ( TxSeq era), FromCBOR ( Annotator ( TxSeq era))) => ShelleyBasedEra era
data ShelleyBlock proto era = ShelleyBlock {
- shelleyBlockRaw :: !( Block ( ShelleyProtocolHeader proto) era)
- shelleyBlockHeaderHash :: !( ShelleyHash ( ProtoCrypto proto))
}
newtype ShelleyHash crypto = ShelleyHash {
- unShelleyHash :: Hash crypto EraIndependentBlockHeader
}
class ( ShelleyBasedEra era, ShelleyProtocol proto, Eq ( ShelleyProtocolHeader proto), Show ( ShelleyProtocolHeader proto), NoThunks ( ShelleyProtocolHeader proto), ToCBOR ( ShelleyProtocolHeader proto), FromCBOR ( Annotator ( ShelleyProtocolHeader proto)), Show ( CannotForgeError proto), SelectView proto ~ PraosChainSelectView ( EraCrypto era), SignedHeader ( ShelleyProtocolHeader proto), DecodeDisk ( ShelleyBlock proto era) ( ChainDepState proto), EncodeDisk ( ShelleyBlock proto era) ( ChainDepState proto), EraCrypto era ~ ProtoCrypto proto, HasPartialConsensusConfig proto) => ShelleyCompatible proto era
mkShelleyBlock :: ShelleyCompatible proto era => Block ( ShelleyProtocolHeader proto) era -> ShelleyBlock proto era
mkShelleyHeader :: ShelleyCompatible proto era => ShelleyProtocolHeader proto -> Header ( ShelleyBlock proto era)
decodeShelleyBlock :: ShelleyCompatible proto era => Decoder s ( ByteString -> ShelleyBlock proto era)
decodeShelleyHeader :: ShelleyCompatible proto era => Decoder s ( ByteString -> Header ( ShelleyBlock proto era))
encodeShelleyBlock :: ShelleyCompatible proto era => ShelleyBlock proto era -> Encoding
encodeShelleyHeader :: ShelleyCompatible proto era => Header ( ShelleyBlock proto era) -> Encoding
shelleyBinaryBlockInfo :: ShelleyCompatible proto era => ShelleyBlock proto era -> BinaryBlockInfo
fromShelleyPrevHash :: EraCrypto era ~ ProtoCrypto proto => PrevHash ( EraCrypto era) -> ChainHash ( ShelleyBlock proto era)
toShelleyPrevHash :: EraCrypto era ~ ProtoCrypto proto => ChainHash ( Header ( ShelleyBlock proto era)) -> PrevHash ( EraCrypto era)

Documentation

class HasHeader ( Header blk) => GetHeader blk where Source #

Methods

getHeader :: blk -> Header blk Source #

blockMatchesHeader :: Header blk -> blk -> Bool Source #

Check whether the header is the header of the block.

For example, by checking whether the hash of the body stored in the header matches that of the block.

headerIsEBB :: Header blk -> Maybe EpochNo Source #

When the given header is the header of an Epoch Boundary Block, returns its epoch number.

Instances

Instances details

ShelleyCompatible proto era => GetHeader ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeader :: ShelleyBlock proto era -> Header ( ShelleyBlock proto era) Source # blockMatchesHeader :: Header ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Bool Source # headerIsEBB :: Header ( ShelleyBlock proto era) -> Maybe EpochNo Source #

data family Header blk Source #

Instances

data family NestedCtxt_ blk :: ( Type -> Type ) -> Type -> Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_ .

Instances

Instances details

SameDepIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods sameDepIndex :: NestedCtxt_ ( ShelleyBlock proto era) f a -> NestedCtxt_ ( ShelleyBlock proto era) f b -> Maybe (a :~: b) Source #
TrivialDependency ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source # Methods hasSingleIndex :: NestedCtxt_ ( ShelleyBlock proto era) f a -> NestedCtxt_ ( ShelleyBlock proto era) f b -> a :~: b Source # indexIsTrivial :: NestedCtxt_ ( ShelleyBlock proto era) f ( TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f)) Source #
Show ( NestedCtxt_ ( ShelleyBlock proto era) f a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec :: Int -> NestedCtxt_ ( ShelleyBlock proto era) f a -> ShowS Source # show :: NestedCtxt_ ( ShelleyBlock proto era) f a -> String Source # showList :: [ NestedCtxt_ ( ShelleyBlock proto era) f a] -> ShowS Source #
data NestedCtxt_ ( HardForkBlock xs) a b
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ ( HardForkBlock xs) a b where NCZ :: forall x (a :: Type -> Type ) b (xs1 :: [ Type ]). !( NestedCtxt_ x a b) -> NestedCtxt_ ( HardForkBlock (x ': xs1)) a b NCS :: forall (xs1 :: [ Type ]) (a :: Type -> Type ) b x. !( NestedCtxt_ ( HardForkBlock xs1) a b) -> NestedCtxt_ ( HardForkBlock (x ': xs1)) a b
data NestedCtxt_ ( ShelleyBlock proto era) f a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ ( ShelleyBlock proto era) f a where CtxtShelley :: forall proto era (f :: Type -> Type ). NestedCtxt_ ( ShelleyBlock proto era) f (f ( ShelleyBlock proto era))
type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) = f ( ShelleyBlock proto era)

class ( ShelleyBasedEra era, GetLedgerView era, State ( EraRule "PPUP" era) ~ PPUPState era, Default ( State ( EraRule "PPUP" era)), HasField "_maxBBSize" ( PParams era) Natural , HasField "_maxBHSize" ( PParams era) Natural , HasField "_maxTxSize" ( PParams era) Natural , HasField "_a0" ( PParams era) NonNegativeInterval , HasField "_nOpt" ( PParams era) Natural , HasField "_rho" ( PParams era) UnitInterval , HasField "_tau" ( PParams era) UnitInterval , ValidateScript era, FromCBOR ( PParams era), ToCBOR ( PParams era), HasField "_protocolVersion" ( PParamsDelta era) ( StrictMaybe ProtVer ), FromCBOR ( PParamsDelta era), AdditionalGenesisConfig era ~ TranslationContext era, ToCBORGroup ( TxSeq era), NoThunks ( TranslationContext era), FromCBOR ( Annotator ( Witnesses era)), ToCBOR ( Witnesses era), Eq ( TxSeq era), Show ( TxSeq era), FromCBOR ( Annotator ( TxSeq era))) => ShelleyBasedEra era Source #

The ledger already defines ShelleyBasedEra as the top-level constraint on an era, however, consensus often needs some more functionality than the ledger currently provides.

Either the functionality shouldn't or can't live in the ledger, in which case it can be part and remain part of ShelleyBasedEra . Or, the functionality should live in the ledger, but hasn't yet been added to the ledger, or it hasn't yet been propagated to this repository, in which case it can be added to this class until that is the case.

By having the same name as the class defined in ledger, we can, if this class becomes redundant, switch to the ledger-defined one without having to update all the code using it. We can just export the right one from this module.

TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/input-output-hk/ouroboros-network/issues/2890

Minimal complete definition

shelleyBasedEraName , applyShelleyBasedTx

Instances

Instances details

( PraosCrypto c, DSignable c ( Hash c EraIndependentTxBody )) => ShelleyBasedEra ( AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy ( AlonzoEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv ( AlonzoEra c) -> MempoolState ( AlonzoEra c) -> WhetherToIntervene -> Tx ( AlonzoEra c) -> Except ( ApplyTxError ( AlonzoEra c)) ( MempoolState ( AlonzoEra c), Validated ( Tx ( AlonzoEra c))) Source #
PraosCrypto c => ShelleyBasedEra ( BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy ( BabbageEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv ( BabbageEra c) -> MempoolState ( BabbageEra c) -> WhetherToIntervene -> Tx ( BabbageEra c) -> Except ( ApplyTxError ( BabbageEra c)) ( MempoolState ( BabbageEra c), Validated ( Tx ( BabbageEra c))) Source #
( PraosCrypto c, DSignable c ( Hash c EraIndependentTxBody )) => ShelleyBasedEra ( ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy ( ShelleyEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv ( ShelleyEra c) -> MempoolState ( ShelleyEra c) -> WhetherToIntervene -> Tx ( ShelleyEra c) -> Except ( ApplyTxError ( ShelleyEra c)) ( MempoolState ( ShelleyEra c), Validated ( Tx ( ShelleyEra c))) Source #
( PraosCrypto c, DSignable c ( Hash c EraIndependentTxBody )) => ShelleyBasedEra ( AllegraEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy ( AllegraEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv ( AllegraEra c) -> MempoolState ( AllegraEra c) -> WhetherToIntervene -> Tx ( AllegraEra c) -> Except ( ApplyTxError ( AllegraEra c)) ( MempoolState ( AllegraEra c), Validated ( Tx ( AllegraEra c))) Source #
( PraosCrypto c, DSignable c ( Hash c EraIndependentTxBody )) => ShelleyBasedEra ( MaryEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy ( MaryEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv ( MaryEra c) -> MempoolState ( MaryEra c) -> WhetherToIntervene -> Tx ( MaryEra c) -> Except ( ApplyTxError ( MaryEra c)) ( MempoolState ( MaryEra c), Validated ( Tx ( MaryEra c))) Source #

data ShelleyBlock proto era Source #

Shelley-based block type.

This block is parametrised over both the (ledger) era and the protocol.

Constructors

ShelleyBlock
Fields shelleyBlockRaw :: !( Block ( ShelleyProtocolHeader proto) era) shelleyBlockHeaderHash :: !( ShelleyHash ( ProtoCrypto proto))

Instances

Instances details

( Typeable era, Typeable proto) => ShowProxy ( GenTx ( ShelleyBlock proto era) :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy :: Proxy ( GenTx ( ShelleyBlock proto era)) -> String Source #
( Typeable era, Typeable proto) => ShowProxy ( TxId ( GenTx ( ShelleyBlock proto era)) :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy :: Proxy ( TxId ( GenTx ( ShelleyBlock proto era))) -> String Source #
( Typeable era, Typeable proto) => ShowProxy ( Validated ( GenTx ( ShelleyBlock proto era)) :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy :: Proxy ( Validated ( GenTx ( ShelleyBlock proto era))) -> String Source #
( Typeable era, Typeable proto) => ShowProxy ( Header ( ShelleyBlock proto era) :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy :: Proxy ( Header ( ShelleyBlock proto era)) -> String Source #
ShelleyBasedEra era => ReconstructNestedCtxt Header ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods reconstructPrefixLen :: proxy ( Header ( ShelleyBlock proto era)) -> PrefixLen Source # reconstructNestedCtxt :: proxy ( Header ( ShelleyBlock proto era)) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
HasNestedContent f ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods unnest :: f ( ShelleyBlock proto era) -> DepPair ( NestedCtxt f ( ShelleyBlock proto era)) Source # nest :: DepPair ( NestedCtxt f ( ShelleyBlock proto era)) -> f ( ShelleyBlock proto era) Source #
( ShelleyBasedEra era, TranslateEra era WrapTx ) => TranslateEra era ( WrapValidatedGenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era ( WrapValidatedGenTx :.: ShelleyBlock proto) Source # Methods translateEra :: TranslationContext era -> ( WrapValidatedGenTx :.: ShelleyBlock proto) ( PreviousEra era) -> Except ( TranslationError era ( WrapValidatedGenTx :.: ShelleyBlock proto)) (( WrapValidatedGenTx :.: ShelleyBlock proto) era) Source #
( ShelleyBasedEra era, TranslateEra era WrapTx ) => TranslateEra era ( GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era ( GenTx :.: ShelleyBlock proto) Source # Methods translateEra :: TranslationContext era -> ( GenTx :.: ShelleyBlock proto) ( PreviousEra era) -> Except ( TranslationError era ( GenTx :.: ShelleyBlock proto)) (( GenTx :.: ShelleyBlock proto) era) Source #
( ShelleyBasedEra era, TranslateEra era ( ShelleyTip proto), TranslateEra era NewEpochState , TranslationError era NewEpochState ~ Void ) => TranslateEra era ( LedgerState :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era ( LedgerState :.: ShelleyBlock proto) Source # Methods translateEra :: TranslationContext era -> ( LedgerState :.: ShelleyBlock proto) ( PreviousEra era) -> Except ( TranslationError era ( LedgerState :.: ShelleyBlock proto)) (( LedgerState :.: ShelleyBlock proto) era) Source #
ShelleyBasedEra era => Eq ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) :: GenTx ( ShelleyBlock proto era) -> GenTx ( ShelleyBlock proto era) -> Bool Source # (/=) :: GenTx ( ShelleyBlock proto era) -> GenTx ( ShelleyBlock proto era) -> Bool Source #
Eq ( TxId ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source # (/=) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source #
ShelleyBasedEra era => Eq ( Validated ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) :: Validated ( GenTx ( ShelleyBlock proto era)) -> Validated ( GenTx ( ShelleyBlock proto era)) -> Bool Source # (/=) :: Validated ( GenTx ( ShelleyBlock proto era)) -> Validated ( GenTx ( ShelleyBlock proto era)) -> Bool Source #
ShelleyBasedEra era => Eq ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) :: LedgerState ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> Bool Source # (/=) :: LedgerState ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> Bool Source #
ShelleyCompatible proto era => Eq ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) :: Header ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> Bool Source # (/=) :: Header ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> Bool Source #
Ord ( TxId ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods compare :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Ordering Source # (<) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source # (<=) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source # (>) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source # (>=) :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> Bool Source # max :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) Source # min :: TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) -> TxId ( GenTx ( ShelleyBlock proto era)) Source #
ShelleyBasedEra era => Show ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec :: Int -> GenTx ( ShelleyBlock proto era) -> ShowS Source # show :: GenTx ( ShelleyBlock proto era) -> String Source # showList :: [ GenTx ( ShelleyBlock proto era)] -> ShowS Source #
Show ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec :: Int -> GenTxId ( ShelleyBlock proto era) -> ShowS Source # show :: GenTxId ( ShelleyBlock proto era) -> String Source # showList :: [ GenTxId ( ShelleyBlock proto era)] -> ShowS Source #
ShelleyBasedEra era => Show ( Validated ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec :: Int -> Validated ( GenTx ( ShelleyBlock proto era)) -> ShowS Source # show :: Validated ( GenTx ( ShelleyBlock proto era)) -> String Source # showList :: [ Validated ( GenTx ( ShelleyBlock proto era))] -> ShowS Source #
ShelleyBasedEra era => Show ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec :: Int -> LedgerState ( ShelleyBlock proto era) -> ShowS Source # show :: LedgerState ( ShelleyBlock proto era) -> String Source # showList :: [ LedgerState ( ShelleyBlock proto era)] -> ShowS Source #
ShelleyBasedEra era => Show ( BlockConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods showsPrec :: Int -> BlockConfig ( ShelleyBlock proto era) -> ShowS Source # show :: BlockConfig ( ShelleyBlock proto era) -> String Source # showList :: [ BlockConfig ( ShelleyBlock proto era)] -> ShowS Source #
ShelleyCompatible proto era => Show ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec :: Int -> Header ( ShelleyBlock proto era) -> ShowS Source # show :: Header ( ShelleyBlock proto era) -> String Source # showList :: [ Header ( ShelleyBlock proto era)] -> ShowS Source #
Generic ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep ( GenTx ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: GenTx ( ShelleyBlock proto era) -> Rep ( GenTx ( ShelleyBlock proto era)) x Source # to :: Rep ( GenTx ( ShelleyBlock proto era)) x -> GenTx ( ShelleyBlock proto era) Source #
Generic ( Validated ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep ( Validated ( GenTx ( ShelleyBlock proto era))) :: Type -> Type Source # Methods from :: Validated ( GenTx ( ShelleyBlock proto era)) -> Rep ( Validated ( GenTx ( ShelleyBlock proto era))) x Source # to :: Rep ( Validated ( GenTx ( ShelleyBlock proto era))) x -> Validated ( GenTx ( ShelleyBlock proto era)) Source #
Generic ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ( LedgerState ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: LedgerState ( ShelleyBlock proto era) -> Rep ( LedgerState ( ShelleyBlock proto era)) x Source # to :: Rep ( LedgerState ( ShelleyBlock proto era)) x -> LedgerState ( ShelleyBlock proto era) Source #
Generic ( BlockConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep ( BlockConfig ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: BlockConfig ( ShelleyBlock proto era) -> Rep ( BlockConfig ( ShelleyBlock proto era)) x Source # to :: Rep ( BlockConfig ( ShelleyBlock proto era)) x -> BlockConfig ( ShelleyBlock proto era) Source #
Generic ( CodecConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep ( CodecConfig ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: CodecConfig ( ShelleyBlock proto era) -> Rep ( CodecConfig ( ShelleyBlock proto era)) x Source # to :: Rep ( CodecConfig ( ShelleyBlock proto era)) x -> CodecConfig ( ShelleyBlock proto era) Source #
Generic ( StorageConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep ( StorageConfig ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: StorageConfig ( ShelleyBlock proto era) -> Rep ( StorageConfig ( ShelleyBlock proto era)) x Source # to :: Rep ( StorageConfig ( ShelleyBlock proto era)) x -> StorageConfig ( ShelleyBlock proto era) Source #
Generic ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type Rep ( Header ( ShelleyBlock proto era)) :: Type -> Type Source # Methods from :: Header ( ShelleyBlock proto era) -> Rep ( Header ( ShelleyBlock proto era)) x Source # to :: Rep ( Header ( ShelleyBlock proto era)) x -> Header ( ShelleyBlock proto era) Source #
Generic ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ( Ticked ( LedgerState ( ShelleyBlock proto era))) :: Type -> Type Source # Methods from :: Ticked ( LedgerState ( ShelleyBlock proto era)) -> Rep ( Ticked ( LedgerState ( ShelleyBlock proto era))) x Source # to :: Rep ( Ticked ( LedgerState ( ShelleyBlock proto era))) x -> Ticked ( LedgerState ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => ToCBOR ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toCBOR :: GenTx ( ShelleyBlock proto era) -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( GenTx ( ShelleyBlock proto era)) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ GenTx ( ShelleyBlock proto era)] -> Size Source #
( Crypto ( EraCrypto era), Typeable era, Typeable proto) => ToCBOR ( TxId ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods toCBOR :: TxId ( GenTx ( ShelleyBlock proto era)) -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxId ( GenTx ( ShelleyBlock proto era))) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxId ( GenTx ( ShelleyBlock proto era))] -> Size Source #
ShelleyCompatible proto era => ToCBOR ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods toCBOR :: Header ( ShelleyBlock proto era) -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Header ( ShelleyBlock proto era)) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Header ( ShelleyBlock proto era)] -> Size Source #
ShelleyCompatible proto era => FromCBOR ( Annotator ( Header ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods fromCBOR :: Decoder s ( Annotator ( Header ( ShelleyBlock proto era))) Source # label :: Proxy ( Annotator ( Header ( ShelleyBlock proto era))) -> Text Source #
ShelleyCompatible proto era => FromCBOR ( Annotator ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods fromCBOR :: Decoder s ( Annotator ( ShelleyBlock proto era)) Source # label :: Proxy ( Annotator ( ShelleyBlock proto era)) -> Text Source #
ShelleyCompatible proto era => FromCBOR ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods fromCBOR :: Decoder s ( GenTx ( ShelleyBlock proto era)) Source # label :: Proxy ( GenTx ( ShelleyBlock proto era)) -> Text Source #
( Crypto ( EraCrypto era), Typeable era, Typeable proto) => FromCBOR ( TxId ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods fromCBOR :: Decoder s ( TxId ( GenTx ( ShelleyBlock proto era))) Source # label :: Proxy ( TxId ( GenTx ( ShelleyBlock proto era))) -> Text Source #
ShelleyBasedEra era => NoThunks ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks :: Context -> GenTx ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> GenTx ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( GenTx ( ShelleyBlock proto era)) -> String Source #
NoThunks ( TxId ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks :: Context -> TxId ( GenTx ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxId ( GenTx ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxId ( GenTx ( ShelleyBlock proto era))) -> String Source #
ShelleyBasedEra era => NoThunks ( Validated ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods noThunks :: Context -> Validated ( GenTx ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Validated ( GenTx ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Validated ( GenTx ( ShelleyBlock proto era))) -> String Source #
ShelleyBasedEra era => NoThunks ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> LedgerState ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LedgerState ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LedgerState ( ShelleyBlock proto era)) -> String Source #
ShelleyBasedEra era => NoThunks ( BlockConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks :: Context -> BlockConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BlockConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( BlockConfig ( ShelleyBlock proto era)) -> String Source #
NoThunks ( CodecConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks :: Context -> CodecConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CodecConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( CodecConfig ( ShelleyBlock proto era)) -> String Source #
NoThunks ( StorageConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks :: Context -> StorageConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> StorageConfig ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( StorageConfig ( ShelleyBlock proto era)) -> String Source #
ShelleyCompatible proto era => NoThunks ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods noThunks :: Context -> Header ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Header ( ShelleyBlock proto era) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Header ( ShelleyBlock proto era)) -> String Source #
ShelleyBasedEra era => NoThunks ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> Ticked ( LedgerState ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( ShelleyBlock proto era)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( ShelleyBlock proto era))) -> String Source #
ShelleyBasedEra era => HasTxId ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txId :: GenTx ( ShelleyBlock proto era) -> TxId ( GenTx ( ShelleyBlock proto era)) Source #
GetTip ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip :: LedgerState ( ShelleyBlock proto era) -> Point ( LedgerState ( ShelleyBlock proto era)) Source #
GetTip ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods getTip :: Ticked ( LedgerState ( ShelleyBlock proto era)) -> Point ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
ShelleyBasedEra era => IsLedger ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type LedgerErr ( LedgerState ( ShelleyBlock proto era)) Source # type AuxLedgerEvent ( LedgerState ( ShelleyBlock proto era)) Source # Methods applyChainTickLedgerResult :: LedgerCfg ( LedgerState ( ShelleyBlock proto era)) -> SlotNo -> LedgerState ( ShelleyBlock proto era) -> LedgerResult ( LedgerState ( ShelleyBlock proto era)) ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
ShelleyBasedEra era => Condense ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods condense :: GenTx ( ShelleyBlock proto era) -> String Source #
Condense ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods condense :: GenTxId ( ShelleyBlock proto era) -> String Source #
ShelleyCompatible proto era => Condense ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense :: Header ( ShelleyBlock proto era) -> String Source #
SameDepIndex ( BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex :: BlockQuery ( ShelleyBlock proto era) a -> BlockQuery ( ShelleyBlock proto era) b -> Maybe (a :~: b) Source #
SignedHeader ( ShelleyProtocolHeader proto) => SignedHeader ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods headerSigned :: Header ( ShelleyBlock proto era) -> Signed ( Header ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => HasHeader ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields :: Header ( ShelleyBlock proto era) -> HeaderFields ( Header ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => ShowQuery ( BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult :: BlockQuery ( ShelleyBlock proto era) result -> result -> String Source #
ShelleyBasedEra era => EncodeDiskDepIx ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDepIx :: CodecConfig ( ShelleyBlock proto era) -> SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => EncodeDiskDep ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDep :: CodecConfig ( ShelleyBlock proto era) -> NestedCtxt Header ( ShelleyBlock proto era) a -> a -> Encoding Source #
ShelleyBasedEra era => DecodeDiskDepIx ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDepIx :: CodecConfig ( ShelleyBlock proto era) -> Decoder s ( SomeSecond ( NestedCtxt Header ) ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => DecodeDiskDep ( NestedCtxt Header ) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDep :: CodecConfig ( ShelleyBlock proto era) -> NestedCtxt Header ( ShelleyBlock proto era) a -> forall s. Decoder s ( ByteString -> a) Source #
ShelleyCompatible proto era => ApplyBlock ( LedgerState ( ShelleyBlock proto era)) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods applyBlockLedgerResult :: LedgerCfg ( LedgerState ( ShelleyBlock proto era)) -> ShelleyBlock proto era -> Ticked ( LedgerState ( ShelleyBlock proto era)) -> Except ( LedgerErr ( LedgerState ( ShelleyBlock proto era))) ( LedgerResult ( LedgerState ( ShelleyBlock proto era)) ( LedgerState ( ShelleyBlock proto era))) Source # reapplyBlockLedgerResult :: LedgerCfg ( LedgerState ( ShelleyBlock proto era)) -> ShelleyBlock proto era -> Ticked ( LedgerState ( ShelleyBlock proto era)) -> LedgerResult ( LedgerState ( ShelleyBlock proto era)) ( LedgerState ( ShelleyBlock proto era)) Source #
( Typeable era, Typeable proto) => ShowProxy ( ShelleyBlock proto era :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy :: Proxy ( ShelleyBlock proto era) -> String Source #
Eq ( BlockQuery ( ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: BlockQuery ( ShelleyBlock proto era) result -> BlockQuery ( ShelleyBlock proto era) result -> Bool Source # (/=) :: BlockQuery ( ShelleyBlock proto era) result -> BlockQuery ( ShelleyBlock proto era) result -> Bool Source #
ShelleyCompatible proto era => Eq ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) :: ShelleyBlock proto era -> ShelleyBlock proto era -> Bool Source # (/=) :: ShelleyBlock proto era -> ShelleyBlock proto era -> Bool Source #
Show ( BlockQuery ( ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec :: Int -> BlockQuery ( ShelleyBlock proto era) result -> ShowS Source # show :: BlockQuery ( ShelleyBlock proto era) result -> String Source # showList :: [ BlockQuery ( ShelleyBlock proto era) result] -> ShowS Source #
ShelleyCompatible proto era => Show ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec :: Int -> ShelleyBlock proto era -> ShowS Source # show :: ShelleyBlock proto era -> String Source # showList :: [ ShelleyBlock proto era] -> ShowS Source #
ShelleyCompatible proto era => ToCBOR ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods toCBOR :: ShelleyBlock proto era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( ShelleyBlock proto era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ShelleyBlock proto era] -> Size Source #
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => SerialiseConstraintsHFC ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC
ShelleyCompatible proto era => SerialiseNodeToNodeConstraints ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods estimateBlockSize :: Header ( ShelleyBlock proto era) -> SizeInBytes Source #
ShelleyCompatible proto era => SerialiseNodeToClientConstraints ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => RunNode ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node
ShelleyCompatible proto era => SerialiseDiskConstraints ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => NoHardForks ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods getEraParams :: TopLevelConfig ( ShelleyBlock proto era) -> EraParams Source # toPartialLedgerConfig :: proxy ( ShelleyBlock proto era) -> LedgerConfig ( ShelleyBlock proto era) -> PartialLedgerConfig ( ShelleyBlock proto era) Source #
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => SingleEraBlock ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods singleEraTransition :: PartialLedgerConfig ( ShelleyBlock proto era) -> EraParams -> Bound -> LedgerState ( ShelleyBlock proto era) -> Maybe EpochNo Source # singleEraInfo :: proxy ( ShelleyBlock proto era) -> SingleEraInfo ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => NodeInitStorage ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common Methods nodeImmutableDbChunkInfo :: StorageConfig ( ShelleyBlock proto era) -> ChunkInfo Source # nodeCheckIntegrity :: StorageConfig ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Bool Source # nodeInitChainDB :: IOLike m => StorageConfig ( ShelleyBlock proto era) -> InitChainDB m ( ShelleyBlock proto era) -> m () Source #
ShelleyCompatible proto era => QueryLedger ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods answerBlockQuery :: ExtLedgerCfg ( ShelleyBlock proto era) -> BlockQuery ( ShelleyBlock proto era) result -> ExtLedgerState ( ShelleyBlock proto era) -> result Source #
ConfigSupportsNode ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common Methods getSystemStart :: BlockConfig ( ShelleyBlock proto era) -> SystemStart Source # getNetworkMagic :: BlockConfig ( ShelleyBlock proto era) -> NetworkMagic Source #
ShelleyCompatible proto era => HasPartialLedgerConfig ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type PartialLedgerConfig ( ShelleyBlock proto era) Source # Methods completeLedgerConfig :: proxy ( ShelleyBlock proto era) -> EpochInfo ( Except PastHorizonException ) -> PartialLedgerConfig ( ShelleyBlock proto era) -> LedgerConfig ( ShelleyBlock proto era) Source #
HasHardForkHistory ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type HardForkIndices ( ShelleyBlock proto era) :: [ Type ] Source # Methods hardForkSummary :: LedgerConfig ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> Summary ( HardForkIndices ( ShelleyBlock proto era)) Source #
( ShelleyCompatible ( Praos crypto) era, ShelleyCompatible ( TPraos crypto) era, crypto ~ EraCrypto era, TranslateProto ( TPraos crypto) ( Praos crypto)) => LedgerSupportsProtocol ( ShelleyBlock ( Praos crypto) era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView :: LedgerConfig ( ShelleyBlock ( Praos crypto) era) -> Ticked ( LedgerState ( ShelleyBlock ( Praos crypto) era)) -> Ticked ( LedgerView ( BlockProtocol ( ShelleyBlock ( Praos crypto) era))) Source # ledgerViewForecastAt :: LedgerConfig ( ShelleyBlock ( Praos crypto) era) -> LedgerState ( ShelleyBlock ( Praos crypto) era) -> Forecast ( LedgerView ( BlockProtocol ( ShelleyBlock ( Praos crypto) era))) Source #
( ShelleyCompatible ( TPraos crypto) era, crypto ~ EraCrypto era) => LedgerSupportsProtocol ( ShelleyBlock ( TPraos crypto) era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.SupportsProtocol Methods protocolLedgerView :: LedgerConfig ( ShelleyBlock ( TPraos crypto) era) -> Ticked ( LedgerState ( ShelleyBlock ( TPraos crypto) era)) -> Ticked ( LedgerView ( BlockProtocol ( ShelleyBlock ( TPraos crypto) era))) Source # ledgerViewForecastAt :: LedgerConfig ( ShelleyBlock ( TPraos crypto) era) -> LedgerState ( ShelleyBlock ( TPraos crypto) era) -> Forecast ( LedgerView ( BlockProtocol ( ShelleyBlock ( TPraos crypto) era))) Source #
ShelleyCompatible proto era => HasBinaryBlockInfo ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods getBinaryBlockInfo :: ShelleyBlock proto era -> BinaryBlockInfo Source #
ShelleyBasedEra era => InspectLedger ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect Associated Types type LedgerWarning ( ShelleyBlock proto era) Source # type LedgerUpdate ( ShelleyBlock proto era) Source # Methods inspectLedger :: TopLevelConfig ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> [ LedgerEvent ( ShelleyBlock proto era)] Source #
ShelleyCompatible proto era => HasAnnTip ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TipInfo ( ShelleyBlock proto era) Source # Methods getTipInfo :: Header ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) Source # tipInfoHash :: proxy ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) -> HeaderHash ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => BasicEnvelopeValidation ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods expectedFirstBlockNo :: proxy ( ShelleyBlock proto era) -> BlockNo Source # expectedNextBlockNo :: proxy ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) -> BlockNo -> BlockNo Source # minimumPossibleSlotNo :: Proxy ( ShelleyBlock proto era) -> SlotNo Source # minimumNextSlotNo :: proxy ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) -> TipInfo ( ShelleyBlock proto era) -> SlotNo -> SlotNo Source #
ShelleyCompatible proto era => ValidateEnvelope ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type OtherHeaderEnvelopeError ( ShelleyBlock proto era) Source # Methods additionalEnvelopeChecks :: TopLevelConfig ( ShelleyBlock proto era) -> Ticked ( LedgerView ( BlockProtocol ( ShelleyBlock proto era))) -> Header ( ShelleyBlock proto era) -> Except ( OtherHeaderEnvelopeError ( ShelleyBlock proto era)) () Source #
ShelleyCompatible p ( BabbageEra c) => TxLimits ( ShelleyBlock p ( BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure ( ShelleyBlock p ( BabbageEra c)) Source # Methods txMeasure :: Validated ( GenTx ( ShelleyBlock p ( BabbageEra c))) -> TxMeasure ( ShelleyBlock p ( BabbageEra c)) Source # txsBlockCapacity :: Ticked ( LedgerState ( ShelleyBlock p ( BabbageEra c))) -> TxMeasure ( ShelleyBlock p ( BabbageEra c)) Source #
ShelleyCompatible p ( AlonzoEra c) => TxLimits ( ShelleyBlock p ( AlonzoEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure ( ShelleyBlock p ( AlonzoEra c)) Source # Methods txMeasure :: Validated ( GenTx ( ShelleyBlock p ( AlonzoEra c))) -> TxMeasure ( ShelleyBlock p ( AlonzoEra c)) Source # txsBlockCapacity :: Ticked ( LedgerState ( ShelleyBlock p ( AlonzoEra c))) -> TxMeasure ( ShelleyBlock p ( AlonzoEra c)) Source #
ShelleyCompatible p ( MaryEra c) => TxLimits ( ShelleyBlock p ( MaryEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure ( ShelleyBlock p ( MaryEra c)) Source # Methods txMeasure :: Validated ( GenTx ( ShelleyBlock p ( MaryEra c))) -> TxMeasure ( ShelleyBlock p ( MaryEra c)) Source # txsBlockCapacity :: Ticked ( LedgerState ( ShelleyBlock p ( MaryEra c))) -> TxMeasure ( ShelleyBlock p ( MaryEra c)) Source #
ShelleyCompatible p ( AllegraEra c) => TxLimits ( ShelleyBlock p ( AllegraEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure ( ShelleyBlock p ( AllegraEra c)) Source # Methods txMeasure :: Validated ( GenTx ( ShelleyBlock p ( AllegraEra c))) -> TxMeasure ( ShelleyBlock p ( AllegraEra c)) Source # txsBlockCapacity :: Ticked ( LedgerState ( ShelleyBlock p ( AllegraEra c))) -> TxMeasure ( ShelleyBlock p ( AllegraEra c)) Source #
ShelleyCompatible p ( ShelleyEra c) => TxLimits ( ShelleyBlock p ( ShelleyEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure ( ShelleyBlock p ( ShelleyEra c)) Source # Methods txMeasure :: Validated ( GenTx ( ShelleyBlock p ( ShelleyEra c))) -> TxMeasure ( ShelleyBlock p ( ShelleyEra c)) Source # txsBlockCapacity :: Ticked ( LedgerState ( ShelleyBlock p ( ShelleyEra c))) -> TxMeasure ( ShelleyBlock p ( ShelleyEra c)) Source #
ShelleyCompatible proto era => LedgerSupportsMempool ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods txInvariant :: GenTx ( ShelleyBlock proto era) -> Bool Source # applyTx :: LedgerConfig ( ShelleyBlock proto era) -> WhetherToIntervene -> SlotNo -> GenTx ( ShelleyBlock proto era) -> TickedLedgerState ( ShelleyBlock proto era) -> Except ( ApplyTxErr ( ShelleyBlock proto era)) ( TickedLedgerState ( ShelleyBlock proto era), Validated ( GenTx ( ShelleyBlock proto era))) Source # reapplyTx :: LedgerConfig ( ShelleyBlock proto era) -> SlotNo -> Validated ( GenTx ( ShelleyBlock proto era)) -> TickedLedgerState ( ShelleyBlock proto era) -> Except ( ApplyTxErr ( ShelleyBlock proto era)) ( TickedLedgerState ( ShelleyBlock proto era)) Source # txsMaxBytes :: TickedLedgerState ( ShelleyBlock proto era) -> Word32 Source # txInBlockSize :: GenTx ( ShelleyBlock proto era) -> Word32 Source # txForgetValidated :: Validated ( GenTx ( ShelleyBlock proto era)) -> GenTx ( ShelleyBlock proto era) Source #
ShelleyBasedEra era => HasTxs ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods extractTxs :: ShelleyBlock proto era -> [ GenTx ( ShelleyBlock proto era)] Source #
ShelleyCompatible proto era => BlockSupportsMetrics ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node Methods isSelfIssued :: BlockConfig ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> WhetherSelfIssued Source #
ShelleyCompatible proto era => BlockSupportsProtocol ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods validateView :: BlockConfig ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> ValidateView ( BlockProtocol ( ShelleyBlock proto era)) Source # selectView :: BlockConfig ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> SelectView ( BlockProtocol ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => CommonProtocolParams ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods maxHeaderSize :: LedgerState ( ShelleyBlock proto era) -> Word32 Source # maxTxSize :: LedgerState ( ShelleyBlock proto era) -> Word32 Source #
c ~ EraCrypto era => LedgerSupportsPeerSelection ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.PeerSelection Methods getPeers :: LedgerState ( ShelleyBlock proto era) -> [( PoolStake , NonEmpty StakePoolRelay )] Source #
ShelleyCompatible proto era => UpdateLedger ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger
ShelleyCompatible proto era => GetPrevHash ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods headerPrevHash :: Header ( ShelleyBlock proto era) -> ChainHash ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => GetHeader ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeader :: ShelleyBlock proto era -> Header ( ShelleyBlock proto era) Source # blockMatchesHeader :: Header ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Bool Source # headerIsEBB :: Header ( ShelleyBlock proto era) -> Maybe EpochNo Source #
ShelleyCompatible proto era => ConvertRawHash ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods toRawHash :: proxy ( ShelleyBlock proto era) -> HeaderHash ( ShelleyBlock proto era) -> ByteString Source # fromRawHash :: proxy ( ShelleyBlock proto era) -> ByteString -> HeaderHash ( ShelleyBlock proto era) Source # toShortRawHash :: proxy ( ShelleyBlock proto era) -> HeaderHash ( ShelleyBlock proto era) -> ShortByteString Source # fromShortRawHash :: proxy ( ShelleyBlock proto era) -> ShortByteString -> HeaderHash ( ShelleyBlock proto era) Source # hashSize :: proxy ( ShelleyBlock proto era) -> Word32 Source #
ShelleyCompatible proto era => Condense ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense :: ShelleyBlock proto era -> String Source #
SameDepIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods sameDepIndex :: NestedCtxt_ ( ShelleyBlock proto era) f a -> NestedCtxt_ ( ShelleyBlock proto era) f b -> Maybe (a :~: b) Source #
TrivialDependency ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source # Methods hasSingleIndex :: NestedCtxt_ ( ShelleyBlock proto era) f a -> NestedCtxt_ ( ShelleyBlock proto era) f b -> a :~: b Source # indexIsTrivial :: NestedCtxt_ ( ShelleyBlock proto era) f ( TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f)) Source #
HasNetworkProtocolVersion ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Associated Types type BlockNodeToNodeVersion ( ShelleyBlock proto era) Source # type BlockNodeToClientVersion ( ShelleyBlock proto era) Source #
SupportedNetworkProtocolVersion ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods supportedNodeToNodeVersions :: Proxy ( ShelleyBlock proto era) -> Map NodeToNodeVersion ( BlockNodeToNodeVersion ( ShelleyBlock proto era)) Source # supportedNodeToClientVersions :: Proxy ( ShelleyBlock proto era) -> Map NodeToClientVersion ( BlockNodeToClientVersion ( ShelleyBlock proto era)) Source # latestReleasedNodeVersion :: Proxy ( ShelleyBlock proto era) -> ( Maybe NodeToNodeVersion , Maybe NodeToClientVersion ) Source #
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => SupportedNetworkProtocolVersion ( ShelleyBlockHFC proto era) Source #	Forward to the ShelleyBlock instance. Only supports `HardForkNodeToNodeDisabled` , which is compatible with nodes running with `ShelleyBlock` .
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods supportedNodeToNodeVersions :: Proxy ( ShelleyBlockHFC proto era) -> Map NodeToNodeVersion ( BlockNodeToNodeVersion ( ShelleyBlockHFC proto era)) Source # supportedNodeToClientVersions :: Proxy ( ShelleyBlockHFC proto era) -> Map NodeToClientVersion ( BlockNodeToClientVersion ( ShelleyBlockHFC proto era)) Source # latestReleasedNodeVersion :: Proxy ( ShelleyBlockHFC proto era) -> ( Maybe NodeToNodeVersion , Maybe NodeToClientVersion ) Source #
ShelleyCompatible proto era => StandardHash ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block
ShelleyCompatible proto era => HasHeader ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields :: ShelleyBlock proto era -> HeaderFields ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> SlotNo -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s SlotNo Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> GenTxId ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( GenTxId ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( GenTx ( ShelleyBlock proto era)) Source #	The `To/FromCBOR` instances defined in `cardano-ledger-specs` use CBOR-in-CBOR to get the annotation.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> GenTx ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( GenTx ( ShelleyBlock proto era)) Source #
SerialiseNodeToNode ( ShelleyBlock proto era) ( SerialisedHeader ( ShelleyBlock proto era)) Source #	We use CBOR-in-CBOR
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> SerialisedHeader ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( SerialisedHeader ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( Header ( ShelleyBlock proto era)) Source #	CBOR-in-CBOR to be compatible with the wrapped ( `Serialised` ) variant.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( Header ( ShelleyBlock proto era)) Source #
SerialiseNodeToNode ( ShelleyBlock proto era) ( Serialised ( ShelleyBlock proto era)) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> Serialised ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( Serialised ( ShelleyBlock proto era)) Source #
ShelleyBasedEra era => SerialiseNodeToClient ( ShelleyBlock proto era) ( ApplyTxError era) Source #	`ApplyTxErr` '(ShelleyBlock era)'
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> ApplyTxError era -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ApplyTxError era) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( GenTxId ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> GenTxId ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( GenTxId ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( GenTx ( ShelleyBlock proto era)) Source #	Uses CBOR-in-CBOR in the `To/FromCBOR` instances to get the annotation.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> GenTx ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( GenTx ( ShelleyBlock proto era)) Source #
SerialiseNodeToClient ( ShelleyBlock proto era) ( Serialised ( ShelleyBlock proto era)) Source #	`Serialised` uses CBOR-in-CBOR by default.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> Serialised ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( Serialised ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseResult ( ShelleyBlock proto era) ( BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeResult :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> BlockQuery ( ShelleyBlock proto era) result -> result -> Encoding Source # decodeResult :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> BlockQuery ( ShelleyBlock proto era) result -> forall s. Decoder s result Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( AnnTip ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> AnnTip ( ShelleyBlock proto era) -> Encoding Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => EncodeDisk ( ShelleyBlock proto era) ( PraosState c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> PraosState c -> Encoding Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => EncodeDisk ( ShelleyBlock proto era) ( TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> TPraosState c -> Encoding Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> LedgerState ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> Header ( ShelleyBlock proto era) -> Encoding Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( AnnTip ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( AnnTip ( ShelleyBlock proto era)) Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => DecodeDisk ( ShelleyBlock proto era) ( PraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( PraosState c) Source #
( ShelleyCompatible proto era, EraCrypto era ~ c, PraosCrypto c) => DecodeDisk ( ShelleyBlock proto era) ( TPraosState c) Source #	`ChainDepState` (`BlockProtocol` (`ShelleyBlock` era))
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( TPraosState c) Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( LedgerState ( ShelleyBlock proto era)) Source #
( Typeable era, Typeable proto) => ShowProxy ( BlockQuery ( ShelleyBlock proto era) :: Type -> Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showProxy :: Proxy ( BlockQuery ( ShelleyBlock proto era)) -> String Source #
ShelleyCompatible proto era => SerialiseNodeToNode ( ShelleyBlock proto era) ( ShelleyBlock proto era) Source #	CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped ( `Serialised` ) variant.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source # decodeNodeToNode :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToNodeVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> SomeSecond BlockQuery ( ShelleyBlock proto era) -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => SerialiseNodeToClient ( ShelleyBlock proto era) ( ShelleyBlock proto era) Source #	CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped ( `Serialised` ) variant.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source # decodeNodeToClient :: CodecConfig ( ShelleyBlock proto era) -> BlockNodeToClientVersion ( ShelleyBlock proto era) -> forall s. Decoder s ( ShelleyBlock proto era) Source #
ShelleyCompatible proto era => EncodeDisk ( ShelleyBlock proto era) ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk :: CodecConfig ( ShelleyBlock proto era) -> ShelleyBlock proto era -> Encoding Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( ByteString -> Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( ByteString -> Header ( ShelleyBlock proto era)) Source #
ShelleyCompatible proto era => DecodeDisk ( ShelleyBlock proto era) ( ByteString -> ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk :: CodecConfig ( ShelleyBlock proto era) -> forall s. Decoder s ( ByteString -> ShelleyBlock proto era) Source #
Show ( NestedCtxt_ ( ShelleyBlock proto era) f a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec :: Int -> NestedCtxt_ ( ShelleyBlock proto era) f a -> ShowS Source # show :: NestedCtxt_ ( ShelleyBlock proto era) f a -> String Source # showList :: [ NestedCtxt_ ( ShelleyBlock proto era) f a] -> ShowS Source #
( ShelleyCompatible proto era, LedgerSupportsProtocol ( ShelleyBlock proto era)) => SerialiseHFC '[ ShelleyBlock proto era] Source #	Use the default implementations. This means the serialisation of blocks includes an era wrapper. Each block should do this from the start to be prepared for future hard forks without having to do any bit twiddling.
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Methods encodeDiskHfcBlock :: CodecConfig ( HardForkBlock '[ ShelleyBlock proto era]) -> HardForkBlock '[ ShelleyBlock proto era] -> Encoding Source # decodeDiskHfcBlock :: CodecConfig ( HardForkBlock '[ ShelleyBlock proto era]) -> forall s. Decoder s ( ByteString -> HardForkBlock '[ ShelleyBlock proto era]) Source # reconstructHfcPrefixLen :: proxy ( Header ( HardForkBlock '[ ShelleyBlock proto era])) -> PrefixLen Source # reconstructHfcNestedCtxt :: proxy ( Header ( HardForkBlock '[ ShelleyBlock proto era])) -> ShortByteString -> SizeInBytes -> SomeSecond ( NestedCtxt Header ) ( HardForkBlock '[ ShelleyBlock proto era]) Source # getHfcBinaryBlockInfo :: HardForkBlock '[ ShelleyBlock proto era] -> BinaryBlockInfo Source # estimateHfcBlockSize :: Header ( HardForkBlock '[ ShelleyBlock proto era]) -> SizeInBytes Source #
type TranslationError era ( WrapValidatedGenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era ( WrapValidatedGenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type TranslationError era ( GenTx :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era ( GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type TranslationError era ( LedgerState :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era ( LedgerState :.: ShelleyBlock proto) = Void
type Rep ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep ( GenTx ( ShelleyBlock proto era)) = D1 (' MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyTx" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxId ( EraCrypto era))) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Tx era))))
type Rep ( Validated ( GenTx ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep ( Validated ( GenTx ( ShelleyBlock proto era))) = D1 (' MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyValidatedTx" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxId ( EraCrypto era))) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Validated ( Tx era)))))
type Rep ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ( LedgerState ( ShelleyBlock proto era)) = D1 (' MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyLedgerTip") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( WithOrigin ( ShelleyTip proto era))) :: ( S1 (' MetaSel (' Just "shelleyLedgerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( NewEpochState era)) :: S1 (' MetaSel (' Just "shelleyLedgerTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ShelleyTransition ))))
type Rep ( BlockConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep ( BlockConfig ( ShelleyBlock proto era)) = D1 (' MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyConfig" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "shelleyProtocolVersion") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ProtVer ) :: S1 (' MetaSel (' Just "shelleySystemStart") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SystemStart )) :: ( S1 (' MetaSel (' Just "shelleyNetworkMagic") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 NetworkMagic ) :*: S1 (' MetaSel (' Just "shelleyBlockIssuerVKeys") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' BlockIssuer ( EraCrypto era)) ( VKey ' BlockIssuer ( EraCrypto era)))))))
type Rep ( CodecConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep ( CodecConfig ( ShelleyBlock proto era)) = D1 (' MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyCodecConfig" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type Rep ( StorageConfig ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep ( StorageConfig ( ShelleyBlock proto era)) = D1 (' MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyStorageConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyStorageConfigSlotsPerKESPeriod") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Just "shelleyStorageConfigSecurityParam") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SecurityParam )))
type Rep ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type Rep ( Header ( ShelleyBlock proto era)) = D1 (' MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyHeader" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyHeaderRaw") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ShelleyProtocolHeader proto)) :*: S1 (' MetaSel (' Just "shelleyHeaderHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ShelleyHash ( ProtoCrypto proto)))))
type Rep ( Ticked ( LedgerState ( ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ( Ticked ( LedgerState ( ShelleyBlock proto era))) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "TickedShelleyLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "untickedShelleyLedgerTip") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( WithOrigin ( ShelleyTip proto era))) :: ( S1 (' MetaSel (' Just "tickedShelleyLedgerTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ShelleyTransition ) :: S1 (' MetaSel (' Just "tickedShelleyLedgerState") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( NewEpochState era)))))
newtype TxId ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId ( GenTx ( ShelleyBlock proto era)) = ShelleyTxId ( TxId ( EraCrypto era))
data Validated ( GenTx ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data Validated ( GenTx ( ShelleyBlock proto era)) = ShelleyValidatedTx !( TxId ( EraCrypto era)) !( Validated ( Tx era))
type LedgerCfg ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerCfg ( LedgerState ( ShelleyBlock proto era)) = ShelleyLedgerConfig era
type AuxLedgerEvent ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type AuxLedgerEvent ( LedgerState ( ShelleyBlock proto era)) = ShelleyLedgerEvent era
type LedgerErr ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr ( LedgerState ( ShelleyBlock proto era)) = ShelleyLedgerError era
data Ticked ( LedgerState ( ShelleyBlock proto era)) Source #	Ticking only affects the state itself
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data Ticked ( LedgerState ( ShelleyBlock proto era)) = TickedShelleyLedgerState { untickedShelleyLedgerTip :: !( WithOrigin ( ShelleyTip proto era)) tickedShelleyLedgerTransition :: ! ShelleyTransition tickedShelleyLedgerState :: !( NewEpochState era) }
type Signed ( Header ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type Signed ( Header ( ShelleyBlock proto era)) = Signed ( ShelleyProtocolHeader proto)
data BlockQuery ( ShelleyBlock proto era) a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery ( ShelleyBlock proto era) a where GetLedgerTip :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( Point ( ShelleyBlock proto era)) GetEpochNo :: forall proto era. BlockQuery ( ShelleyBlock proto era) EpochNo GetNonMyopicMemberRewards :: forall era proto. Set ( Either Coin ( Credential ' Staking ( EraCrypto era))) -> BlockQuery ( ShelleyBlock proto era) ( NonMyopicMemberRewards ( EraCrypto era)) GetCurrentPParams :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( PParams era) GetProposedPParamsUpdates :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( ProposedPPUpdates era) GetStakeDistribution :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( PoolDistr ( EraCrypto era)) GetUTxOByAddress :: forall era proto. Set ( Addr ( EraCrypto era)) -> BlockQuery ( ShelleyBlock proto era) ( UTxO era) GetUTxOWhole :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( UTxO era) DebugEpochState :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( EpochState era) GetCBOR :: forall proto era result. BlockQuery ( ShelleyBlock proto era) result -> BlockQuery ( ShelleyBlock proto era) ( Serialised result) GetFilteredDelegationsAndRewardAccounts :: forall era proto. Set ( Credential ' Staking ( EraCrypto era)) -> BlockQuery ( ShelleyBlock proto era) (Delegations ( EraCrypto era), RewardAccounts ( EraCrypto era)) GetGenesisConfig :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( CompactGenesis era) DebugNewEpochState :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( NewEpochState era) DebugChainDepState :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( ChainDepState proto) GetRewardProvenance :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( RewardProvenance ( EraCrypto era)) GetUTxOByTxIn :: forall era proto. Set ( TxIn ( EraCrypto era)) -> BlockQuery ( ShelleyBlock proto era) ( UTxO era) GetStakePools :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( Set ( KeyHash ' StakePool ( EraCrypto era))) GetStakePoolParams :: forall era proto. Set ( KeyHash ' StakePool ( EraCrypto era)) -> BlockQuery ( ShelleyBlock proto era) ( Map ( KeyHash ' StakePool ( EraCrypto era)) ( PoolParams ( EraCrypto era))) GetRewardInfoPools :: forall proto era. BlockQuery ( ShelleyBlock proto era) ( RewardParams , Map ( KeyHash ' StakePool ( EraCrypto era)) RewardInfoPool )
type PartialLedgerConfig ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type PartialLedgerConfig ( ShelleyBlock proto era) = ShelleyPartialLedgerConfig era
type HardForkIndices ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type HardForkIndices ( ShelleyBlock proto era) = '[ ShelleyBlock proto era]
type LedgerUpdate ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerUpdate ( ShelleyBlock proto era) = ShelleyLedgerUpdate era
type LedgerWarning ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Inspect type LedgerWarning ( ShelleyBlock proto era) = Void
type TipInfo ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TipInfo ( ShelleyBlock proto era) = HeaderHash ( ShelleyBlock proto era)
type OtherHeaderEnvelopeError ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type OtherHeaderEnvelopeError ( ShelleyBlock proto era) = EnvelopeCheckError proto
type CannotForge ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type CannotForge ( ShelleyBlock proto era) = CannotForgeError proto
type ForgeStateInfo ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type ForgeStateInfo ( ShelleyBlock proto era) = KESInfo
type ForgeStateUpdateError ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common type ForgeStateUpdateError ( ShelleyBlock proto era) = KESEvolutionError
type TxMeasure ( ShelleyBlock p ( MaryEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure ( ShelleyBlock p ( MaryEra c)) = ByteSize
type TxMeasure ( ShelleyBlock p ( AllegraEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure ( ShelleyBlock p ( AllegraEra c)) = ByteSize
type TxMeasure ( ShelleyBlock p ( ShelleyEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure ( ShelleyBlock p ( ShelleyEra c)) = ByteSize
type TxMeasure ( ShelleyBlock p ( BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure ( ShelleyBlock p ( BabbageEra c)) = AlonzoMeasure
type TxMeasure ( ShelleyBlock p ( AlonzoEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure ( ShelleyBlock p ( AlonzoEra c)) = AlonzoMeasure
data GenTx ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data GenTx ( ShelleyBlock proto era) = ShelleyTx !( TxId ( EraCrypto era)) !( Tx era)
type ApplyTxErr ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type ApplyTxErr ( ShelleyBlock proto era) = ApplyTxError era
data LedgerState ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data LedgerState ( ShelleyBlock proto era) = ShelleyLedgerState { shelleyLedgerTip :: !( WithOrigin ( ShelleyTip proto era)) shelleyLedgerState :: !( NewEpochState era) shelleyLedgerTransition :: ! ShelleyTransition }
type BlockProtocol ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type BlockProtocol ( ShelleyBlock proto era) = proto
data BlockConfig ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data BlockConfig ( ShelleyBlock proto era) = ShelleyConfig { shelleyProtocolVersion :: ! ProtVer shelleySystemStart :: ! SystemStart shelleyNetworkMagic :: ! NetworkMagic shelleyBlockIssuerVKeys :: !( Map ( KeyHash ' BlockIssuer ( EraCrypto era)) ( VKey ' BlockIssuer ( EraCrypto era))) }
data CodecConfig ( ShelleyBlock proto era) Source #	No particular codec configuration is needed for Shelley
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data CodecConfig ( ShelleyBlock proto era) = ShelleyCodecConfig
data StorageConfig ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data StorageConfig ( ShelleyBlock proto era) = ShelleyStorageConfig { shelleyStorageConfigSlotsPerKESPeriod :: ! Word64 shelleyStorageConfigSecurityParam :: ! SecurityParam }
data Header ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data Header ( ShelleyBlock proto era) = ShelleyHeader { shelleyHeaderRaw :: !( ShelleyProtocolHeader proto) shelleyHeaderHash :: !( ShelleyHash ( ProtoCrypto proto)) }
data NestedCtxt_ ( ShelleyBlock proto era) f a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data NestedCtxt_ ( ShelleyBlock proto era) f a where CtxtShelley :: forall proto era (f :: Type -> Type ). NestedCtxt_ ( ShelleyBlock proto era) f (f ( ShelleyBlock proto era))
type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type TrivialIndex ( NestedCtxt_ ( ShelleyBlock proto era) f) = f ( ShelleyBlock proto era)
type BlockNodeToClientVersion ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion ( ShelleyBlock proto era) = ShelleyNodeToClientVersion
type BlockNodeToNodeVersion ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion ( ShelleyBlock proto era) = ShelleyNodeToNodeVersion
type HeaderHash ( ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type HeaderHash ( ShelleyBlock proto era) = ShelleyHash ( ProtoCrypto proto)

newtype ShelleyHash crypto Source #

Constructors

ShelleyHash
Fields unShelleyHash :: Hash crypto EraIndependentBlockHeader

Instances

Instances details

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

Shelley Compatibility

class ( ShelleyBasedEra era, ShelleyProtocol proto, Eq ( ShelleyProtocolHeader proto), Show ( ShelleyProtocolHeader proto), NoThunks ( ShelleyProtocolHeader proto), ToCBOR ( ShelleyProtocolHeader proto), FromCBOR ( Annotator ( ShelleyProtocolHeader proto)), Show ( CannotForgeError proto), SelectView proto ~ PraosChainSelectView ( EraCrypto era), SignedHeader ( ShelleyProtocolHeader proto), DecodeDisk ( ShelleyBlock proto era) ( ChainDepState proto), EncodeDisk ( ShelleyBlock proto era) ( ChainDepState proto), EraCrypto era ~ ProtoCrypto proto, HasPartialConsensusConfig proto) => ShelleyCompatible proto era Source #

Instances

Instances details

PraosCrypto c => ShelleyCompatible ( Praos c) ( BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
( PraosCrypto c, PraosCrypto c) => ShelleyCompatible ( TPraos c) ( BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
( PraosCrypto c, Signable ( DSIGN c) ( Hash ( HASH c) EraIndependentTxBody )) => ShelleyCompatible ( TPraos c) ( AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
( PraosCrypto c, Signable ( DSIGN c) ( Hash ( HASH c) EraIndependentTxBody )) => ShelleyCompatible ( TPraos c) ( MaryEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
( PraosCrypto c, Signable ( DSIGN c) ( Hash ( HASH c) EraIndependentTxBody )) => ShelleyCompatible ( TPraos c) ( AllegraEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
( PraosCrypto c, Signable ( DSIGN c) ( Hash ( HASH c) EraIndependentTxBody )) => ShelleyCompatible ( TPraos c) ( ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras

mkShelleyBlock :: ShelleyCompatible proto era => Block ( ShelleyProtocolHeader proto) era -> ShelleyBlock proto era Source #

mkShelleyHeader :: ShelleyCompatible proto era => ShelleyProtocolHeader proto -> Header ( ShelleyBlock proto era) Source #

Serialisation

decodeShelleyBlock :: ShelleyCompatible proto era => Decoder s ( ByteString -> ShelleyBlock proto era) Source #

decodeShelleyHeader :: ShelleyCompatible proto era => Decoder s ( ByteString -> Header ( ShelleyBlock proto era)) Source #

encodeShelleyBlock :: ShelleyCompatible proto era => ShelleyBlock proto era -> Encoding Source #

encodeShelleyHeader :: ShelleyCompatible proto era => Header ( ShelleyBlock proto era) -> Encoding Source #

shelleyBinaryBlockInfo :: ShelleyCompatible proto era => ShelleyBlock proto era -> BinaryBlockInfo Source #

Conversion

fromShelleyPrevHash :: EraCrypto era ~ ProtoCrypto proto => PrevHash ( EraCrypto era) -> ChainHash ( ShelleyBlock proto era) Source #

From cardano-ledger-specs to ouroboros-consensus

toShelleyPrevHash :: EraCrypto era ~ ProtoCrypto proto => ChainHash ( Header ( ShelleyBlock proto era)) -> PrevHash ( EraCrypto era) Source #

From ouroboros-consensus to cardano-ledger-specs