Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger

Synopsis

newtype ApplyTxError era = ApplyTxError [ PredicateFailure ( EraRule "LEDGER" era)]
data family BlockQuery blk :: Type -> Type
data family GenTx blk
data family TxId tx
data family Validated x
data family LedgerState blk
data family BlockConfig blk
data family CodecConfig blk
data family StorageConfig blk
data family Header blk
class HasHeader ( Header blk) => GetHeader blk where
- getHeader :: blk -> Header blk
- blockMatchesHeader :: Header blk -> blk -> Bool
- headerIsEBB :: Header blk -> Maybe EpochNo
data family NestedCtxt_ blk :: ( Type -> Type ) -> Type -> Type
data family Ticked st
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
verifyHeaderIntegrity :: ProtocolHeaderSupportsKES proto => Word64 -> ShelleyProtocolHeader proto -> Bool
newtype ShelleyHash crypto = ShelleyHash {
- unShelleyHash :: Hash crypto EraIndependentBlockHeader
}
data ShelleyBlock proto era = ShelleyBlock {
- shelleyBlockRaw :: !( Block ( ShelleyProtocolHeader proto) era)
- shelleyBlockHeaderHash :: !( ShelleyHash ( ProtoCrypto proto))
}
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)
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)
encodeShelleyBlock :: ShelleyCompatible proto era => ShelleyBlock proto era -> Encoding
decodeShelleyBlock :: ShelleyCompatible proto era => Decoder s ( ByteString -> ShelleyBlock proto era)
shelleyBinaryBlockInfo :: ShelleyCompatible proto era => ShelleyBlock proto era -> BinaryBlockInfo
encodeShelleyHeader :: ShelleyCompatible proto era => Header ( ShelleyBlock proto era) -> Encoding
decodeShelleyHeader :: ShelleyCompatible proto era => Decoder s ( ByteString -> Header ( ShelleyBlock proto era))
data ShelleyNodeToClientVersion
- = ShelleyNodeToClientVersion1
- | ShelleyNodeToClientVersion2
- | ShelleyNodeToClientVersion3
- | ShelleyNodeToClientVersion4
- | ShelleyNodeToClientVersion5
data ShelleyNodeToNodeVersion = ShelleyNodeToNodeVersion1
verifyBlockIntegrity :: ShelleyCompatible proto era => Word64 -> ShelleyBlock proto era -> Bool
data CompactGenesis era
mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [ VKey ' BlockIssuer ( EraCrypto era)] -> BlockConfig ( ShelleyBlock proto era)
compactGenesis :: ShelleyGenesis era -> CompactGenesis era
data ShelleyReapplyException = forall era. Show ( BlockTransitionError era) => ShelleyReapplyException ( BlockTransitionError era)
data ShelleyLedgerEvent era
- = ShelleyLedgerEventBBODY ( Event ( EraRule "BBODY" era))
- | ShelleyLedgerEventTICK ( Event ( EraRule "TICK" era))
newtype ShelleyTransition = ShelleyTransitionInfo {
- shelleyAfterVoting :: Word32
}
data ShelleyTip proto era = ShelleyTip {
- shelleyTipSlotNo :: ! SlotNo
- shelleyTipBlockNo :: ! BlockNo
- shelleyTipHash :: !( HeaderHash ( ShelleyBlock proto era))
}
data ShelleyLedgerConfig era = ShelleyLedgerConfig {
- shelleyLedgerCompactGenesis :: !( CompactGenesis era)
- shelleyLedgerGlobals :: ! Globals
- shelleyLedgerTranslationContext :: !( TranslationContext era)
}
newtype ShelleyLedgerError era = BBodyError ( BlockTransitionError era)
shelleyLedgerGenesis :: ShelleyLedgerConfig era -> ShelleyGenesis era
shelleyEraParams :: ShelleyGenesis era -> EraParams
shelleyEraParamsNeverHardForks :: ShelleyGenesis era -> EraParams
mkShelleyLedgerConfig :: ShelleyGenesis era -> TranslationContext era -> EpochInfo ( Except PastHorizonException ) -> MaxMajorProtVer -> ShelleyLedgerConfig era
shelleyTipToPoint :: WithOrigin ( ShelleyTip proto era) -> Point ( ShelleyBlock proto era)
castShelleyTip :: HeaderHash ( ShelleyBlock proto era) ~ HeaderHash ( ShelleyBlock proto' era') => ShelleyTip proto era -> ShelleyTip proto' era'
shelleyLedgerTipPoint :: LedgerState ( ShelleyBlock proto era) -> Point ( ShelleyBlock proto era)
getPParams :: NewEpochState era -> PParams era
encodeShelleyAnnTip :: ShelleyCompatible proto era => AnnTip ( ShelleyBlock proto era) -> Encoding
decodeShelleyAnnTip :: ShelleyCompatible proto era => Decoder s ( AnnTip ( ShelleyBlock proto era))
encodeShelleyHeaderState :: ShelleyCompatible proto era => HeaderState ( ShelleyBlock proto era) -> Encoding
encodeShelleyLedgerState :: ShelleyCompatible proto era => LedgerState ( ShelleyBlock proto era) -> Encoding
decodeShelleyLedgerState :: forall era proto s. ShelleyCompatible proto era => Decoder s ( LedgerState ( ShelleyBlock proto era))
newtype NonMyopicMemberRewards c = NonMyopicMemberRewards {
- unNonMyopicMemberRewards :: Map ( Either Coin ( Credential ' Staking c)) ( Map ( KeyHash ' StakePool c) Coin )
}
querySupportedVersion :: BlockQuery ( ShelleyBlock proto era) result -> ShelleyNodeToClientVersion -> Bool
encodeShelleyQuery :: ShelleyBasedEra era => BlockQuery ( ShelleyBlock proto era) result -> Encoding
decodeShelleyQuery :: ShelleyBasedEra era => Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era))
encodeShelleyResult :: ShelleyCompatible proto era => BlockQuery ( ShelleyBlock proto era) result -> result -> Encoding
decodeShelleyResult :: ShelleyCompatible proto era => BlockQuery ( ShelleyBlock proto era) result -> forall s. Decoder s result
data WithTop a
- = NotTop a
- | Top
data AlonzoMeasure = AlonzoMeasure {
- byteSize :: ! ByteSize
- exUnits :: !( ExUnits' ( WithTop Natural ))
}
fixedBlockBodyOverhead :: Num a => a
perTxOverhead :: Num a => a
mkShelleyTx :: forall era proto. ShelleyBasedEra era => Tx era -> GenTx ( ShelleyBlock proto era)
mkShelleyValidatedTx :: forall era proto. ShelleyBasedEra era => Validated ( Tx era) -> Validated ( GenTx ( ShelleyBlock proto era))
fromExUnits :: ExUnits -> ExUnits' ( WithTop Natural )
forgeShelleyBlock :: forall m era proto. ( ShelleyCompatible proto era, TxLimits ( ShelleyBlock proto era), Monad m) => HotKey ( EraCrypto era) m -> CanBeLeader proto -> TopLevelConfig ( ShelleyBlock proto era) -> Overrides ( ShelleyBlock proto era) -> BlockNo -> SlotNo -> TickedLedgerState ( ShelleyBlock proto era) -> [ Validated ( GenTx ( ShelleyBlock proto era))] -> IsLeader proto -> m ( ShelleyBlock proto era)

Documentation

newtype ApplyTxError era Source #

Constructors

ApplyTxError [ PredicateFailure ( EraRule "LEDGER" era)]

Instances

Instances details

Eq ( PredicateFailure ( EraRule "LEDGER" era)) => Eq ( ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods (==) :: ApplyTxError era -> ApplyTxError era -> Bool Source # (/=) :: ApplyTxError era -> ApplyTxError era -> Bool Source #
Show ( PredicateFailure ( EraRule "LEDGER" era)) => Show ( ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods showsPrec :: Int -> ApplyTxError era -> ShowS Source # show :: ApplyTxError era -> String Source # showList :: [ ApplyTxError era] -> ShowS Source #
( Era era, ToCBOR ( PredicateFailure ( EraRule "LEDGER" era))) => ToCBOR ( ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods toCBOR :: ApplyTxError era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( ApplyTxError era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ApplyTxError era] -> Size Source #
( Era era, FromCBOR ( PredicateFailure ( EraRule "LEDGER" era))) => FromCBOR ( ApplyTxError era)
Instance details Defined in Cardano.Ledger.Shelley.API.Mempool Methods fromCBOR :: Decoder s ( ApplyTxError era) Source # label :: Proxy ( ApplyTxError era) -> Text Source #
Typeable era => ShowProxy ( ApplyTxError era :: Type ) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showProxy :: Proxy ( ApplyTxError era) -> String 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 #

data family BlockQuery blk :: Type -> Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

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 #
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 #
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 #
SameDepIndex ( BlockQuery blk) => Eq ( SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) :: SomeSecond BlockQuery blk -> SomeSecond BlockQuery blk -> Bool Source # (/=) :: SomeSecond BlockQuery blk -> SomeSecond BlockQuery blk -> 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 #
( forall result. Show ( BlockQuery blk result)) => Show ( SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec :: Int -> SomeSecond BlockQuery blk -> ShowS Source # show :: SomeSecond BlockQuery blk -> String Source # showList :: [ SomeSecond BlockQuery blk] -> ShowS 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 #
( 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 => 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 #
data BlockQuery ( HardForkBlock xs) a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery ( HardForkBlock xs) a where QueryIfCurrent :: forall (xs :: [ Type ]) result. QueryIfCurrent xs result -> BlockQuery ( HardForkBlock xs) ( Either ( MismatchEraInfo xs) result) QueryAnytime :: forall (xs1 :: [ Type ]) a x. IsNonEmpty xs1 => QueryAnytime a -> EraIndex (x ': xs1) -> BlockQuery ( HardForkBlock (x ': xs1)) a QueryHardFork :: forall (xs1 :: [ Type ]) x a. IsNonEmpty xs1 => QueryHardFork (x ': xs1) a -> BlockQuery ( HardForkBlock (x ': xs1)) a
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 )

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

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 #
( 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 => 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 #
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 #
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 #
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 => 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 => 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 #
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 => 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 #
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 #
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 Rep ( GenTx ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep ( GenTx ( HardForkBlock xs)) = D1 (' MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkGenTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkGenTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraGenTx xs))))
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 ( TxId ( GenTx ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep ( TxId ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkGenTxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkGenTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraGenTxId xs))))
type Rep ( Validated ( GenTx ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep ( Validated ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkValidatedGenTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkValidatedGenTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraValidatedGenTx xs))))
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)))))
newtype GenTx ( HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx ( HardForkBlock xs) = HardForkGenTx { getHardForkGenTx :: OneEraGenTx xs }
newtype TxId ( GenTx ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId ( GenTx ( HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId :: OneEraGenTxId xs }
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))
newtype Validated ( GenTx ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated ( GenTx ( HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx :: OneEraValidatedGenTx xs }
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))
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)

data family TxId tx Source #

A generalized transaction, GenTx , identifier.

Instances

Instances details

( 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 #
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 #
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 #
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 #
( 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 #
( 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 #
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 #
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 => 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 => 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 #
type Rep ( TxId ( GenTx ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep ( TxId ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkGenTxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkGenTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraGenTxId xs))))
newtype TxId ( GenTx ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId ( GenTx ( HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId :: OneEraGenTxId xs }
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 family Validated x Source #

" Validated " transaction or block

The ledger defines how to validate transactions and blocks. It's possible the type before and after validation may be distinct (eg Alonzo transactions), which originally motivated this family.

We also gain the related benefit that certain interface functions, such as those that reapply blocks, can have a more precise type now. TODO

Similarly, the Node-to-Client mini protocols can explicitly indicate that the client trusts the blocks from the local server, by having the server send Validated blocks to the client. TODO

Note that validation has different implications for a transaction than for a block. In particular, a validated transaction can be " reapplied " to different ledger states, whereas a validated block must only be " reapplied " to the exact same ledger state (eg as part of rebuilding from an on-disk ledger snapshot).

Since the ledger defines validation, see the ledger details for concrete examples of what determines the validity (wrt to a LedgerState ) of a transaction and/or block. Example properties include: a transaction's claimed inputs exist and are still unspent, a block carries a sufficient cryptographic signature, etc.

Instances

Instances details

( 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 #
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 => 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 #
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 #
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 #
type Rep ( Validated ( GenTx ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep ( Validated ( GenTx ( HardForkBlock xs))) = D1 (' MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' True ) ( C1 (' MetaCons "HardForkValidatedGenTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getHardForkValidatedGenTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( OneEraValidatedGenTx xs))))
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)))))
newtype Validated ( GenTx ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated ( GenTx ( HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx :: OneEraValidatedGenTx xs }
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))

data family LedgerState blk Source #

Ledger state associated with a block

Instances

Instances details

( 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 #
CanHardFork xs => Eq ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> Bool Source # (/=) :: LedgerState ( HardForkBlock xs) -> LedgerState ( HardForkBlock xs) -> 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 #
CanHardFork xs => Show ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec :: Int -> LedgerState ( HardForkBlock xs) -> ShowS Source # show :: LedgerState ( HardForkBlock xs) -> String Source # showList :: [ LedgerState ( HardForkBlock xs)] -> 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 #
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 ( 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 #
CanHardFork xs => NoThunks ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> LedgerState ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( LedgerState ( HardForkBlock xs)) -> 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 ( 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 #
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 #
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 #
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 => 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 #
type TranslationError era ( LedgerState :.: ShelleyBlock proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era ( LedgerState :.: ShelleyBlock proto) = Void
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 ( Ticked ( LedgerState ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "TickedHardForkLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "tickedHardForkLedgerStateTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TransitionInfo ) :*: S1 (' MetaSel (' Just "tickedHardForkLedgerStatePerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HardForkState ( Ticked :.: LedgerState ) xs))))
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)))))
type LedgerCfg ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg ( LedgerState ( HardForkBlock xs)) = HardForkLedgerConfig xs
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 ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent ( LedgerState ( HardForkBlock xs)) = OneEraLedgerEvent xs
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 ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr ( LedgerState ( HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr ( LedgerState ( ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr ( LedgerState ( ShelleyBlock proto era)) = ShelleyLedgerError era
newtype LedgerState ( HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState ( HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra :: HardForkState LedgerState xs }
data Ticked ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition :: ! TransitionInfo tickedHardForkLedgerStatePerEra :: !( HardForkState ( Ticked :.: LedgerState ) xs) }
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 HeaderHash ( LedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash ( LedgerState blk) = HeaderHash blk
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 }

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

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 #
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 #
CanHardFork xs => NoThunks ( BlockConfig ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BlockConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( BlockConfig ( HardForkBlock xs)) -> 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 #
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)))))))
newtype BlockConfig ( HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig ( HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra :: PerEraBlockConfig xs }
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 family CodecConfig blk Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Generic ( CodecConfig ( 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 #
CanHardFork xs => NoThunks ( CodecConfig ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CodecConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( CodecConfig ( HardForkBlock xs)) -> 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 #
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 ))
newtype CodecConfig ( HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig ( HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra :: PerEraCodecConfig xs }
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 family StorageConfig blk Source #

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

Instances

Instances details

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 #
CanHardFork xs => NoThunks ( StorageConfig ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> StorageConfig ( HardForkBlock xs) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( StorageConfig ( HardForkBlock xs)) -> 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 #
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 )))
newtype StorageConfig ( HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig ( HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra :: PerEraStorageConfig xs }
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 family Header blk Source #

Instances

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 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)

data family Ticked st Source #

" Ticked " piece of state ( LedgerState , LedgerView , ChainIndepState )

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state (or forecast).

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Instances

Instances details

Show ( Ticked ())
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked () -> ShowS Source # show :: Ticked () -> String Source # showList :: [ Ticked ()] -> ShowS Source #
( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> Ticked ( HardForkLedgerView_ ( K a) xs) -> ShowS Source # show :: Ticked ( HardForkLedgerView_ ( K a) xs) -> String Source # showList :: [ Ticked ( HardForkLedgerView_ ( K a) xs)] -> ShowS Source #
Show ( Ticked a) => Show ( Ticked ( K a x))
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked ( K a x) -> ShowS Source # show :: Ticked ( K a x) -> String Source # showList :: [ Ticked ( K a x)] -> ShowS 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 #
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 #
IsLedger l => GetTip ( Ticked ( LedgerDB l))
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods getTip :: Ticked ( LedgerDB l) -> Point ( Ticked ( LedgerDB l)) Source #
IsLedger ( LedgerState blk) => GetTip ( Ticked ( ExtLedgerState blk))
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: Ticked ( ExtLedgerState blk) -> Point ( Ticked ( ExtLedgerState blk)) 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 #
Show ( Ticked (f a)) => Show (( Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> ( Ticked :.: f) a -> ShowS Source # show :: ( Ticked :.: f) a -> String Source # showList :: [( Ticked :.: f) a] -> ShowS Source #
NoThunks ( Ticked (f a)) => NoThunks (( Ticked :.: f) a)
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy (( Ticked :.: f) a) -> String Source #
data Ticked ()
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type Rep ( Ticked ( LedgerState ( HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) = D1 (' MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "TickedHardForkLedgerState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "tickedHardForkLedgerStateTransition") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 TransitionInfo ) :*: S1 (' MetaSel (' Just "tickedHardForkLedgerStatePerEra") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HardForkState ( Ticked :.: LedgerState ) xs))))
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 Ticked ( LedgerView c)	Ledger view at a particular slot
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos newtype Ticked ( LedgerView c) = TickedPraosLedgerView { getTickedPraosLedgerView :: LedgerView c }
data Ticked ( HardForkChainDepState xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked ( HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState ( Ticked :.: WrapChainDepState ) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo ( Except PastHorizonException ) }
data Ticked ( LedgerDB l)	Ticking the ledger DB just ticks the current state We don't push the new state into the DB until we apply a block.
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory data Ticked ( LedgerDB l) = TickedLedgerDB { tickedLedgerDbTicked :: Ticked l tickedLedgerDbOrig :: LedgerDB l }
data Ticked ( ExtLedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked ( ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState :: Ticked ( LedgerState blk) tickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) tickedHeaderState :: Ticked ( HeaderState blk) }
newtype Ticked ( WrapChainDepState blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState :: Ticked ( ChainDepState ( BlockProtocol blk)) }
newtype Ticked ( WrapLedgerView blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) }
data Ticked ( HeaderState blk)
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked ( HeaderState blk) = TickedHeaderState { untickedHeaderStateTip :: WithOrigin ( AnnTip blk) tickedHeaderStateChainDep :: Ticked ( ChainDepState ( BlockProtocol blk)) }
data Ticked ( LedgerState ( HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition :: ! TransitionInfo tickedHardForkLedgerStatePerEra :: !( HardForkState ( Ticked :.: LedgerState ) xs) }
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) }
data Ticked ( PraosState c)	Ticked `PraosState`
Instance details Defined in Ouroboros.Consensus.Protocol.Praos data Ticked ( PraosState c) = TickedPraosState { tickedPraosStateChainDepState :: PraosState c tickedPraosStateLedgerView :: Ticked ( LedgerView c) }
data Ticked ( TPraosState c)	Ticked `TPraosState`
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos data Ticked ( TPraosState c) = TickedChainDepState { tickedTPraosStateChainDepState :: ChainDepState c tickedTPraosStateLedgerView :: Ticked ( LedgerView ( TPraos c)) }
newtype Ticked ( LedgerView c)	Ledger view at a particular slot
Instance details Defined in Ouroboros.Consensus.Protocol.Praos newtype Ticked ( LedgerView c) = TickedPraosLedgerView { getTickedPraosLedgerView :: LedgerView c }
type HeaderHash ( Ticked l)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash ( Ticked l) = HeaderHash l
data Ticked ( HardForkLedgerView_ f xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked ( HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition :: TransitionInfo tickedHardForkLedgerViewPerEra :: HardForkState ( Ticked :.: f) xs }
newtype Ticked ( K a x)
Instance details Defined in Ouroboros.Consensus.Ticked newtype Ticked ( K a x) = TickedK { getTickedK :: Ticked a }

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 #

verifyHeaderIntegrity Source #

Arguments

:: ProtocolHeaderSupportsKES proto
=> Word64	Slots per KES period
-> ShelleyProtocolHeader proto
-> Bool

Verify that the signature on a header is correct and valid.

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 ))))

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)

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 #

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

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

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

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

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

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

data ShelleyNodeToClientVersion Source #

Constructors

ShelleyNodeToClientVersion1
ShelleyNodeToClientVersion2	New queries introduced
ShelleyNodeToClientVersion3	New query introduced
ShelleyNodeToClientVersion4	New queries introduced
ShelleyNodeToClientVersion5	New queries introduced: GetRewardInfoPools

Instances

Instances details

Bounded ShelleyNodeToClientVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods minBound :: ShelleyNodeToClientVersion Source # maxBound :: ShelleyNodeToClientVersion Source #
Enum ShelleyNodeToClientVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods succ :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion Source # pred :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion Source # toEnum :: Int -> ShelleyNodeToClientVersion Source # fromEnum :: ShelleyNodeToClientVersion -> Int Source # enumFrom :: ShelleyNodeToClientVersion -> [ ShelleyNodeToClientVersion ] Source # enumFromThen :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> [ ShelleyNodeToClientVersion ] Source # enumFromTo :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> [ ShelleyNodeToClientVersion ] Source # enumFromThenTo :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> [ ShelleyNodeToClientVersion ] Source #
Eq ShelleyNodeToClientVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods (==) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source # (/=) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source #
Ord ShelleyNodeToClientVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods compare :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Ordering Source # (<) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source # (<=) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source # (>) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source # (>=) :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> Bool Source # max :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion Source # min :: ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion -> ShelleyNodeToClientVersion Source #
Show ShelleyNodeToClientVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods showsPrec :: Int -> ShelleyNodeToClientVersion -> ShowS Source # show :: ShelleyNodeToClientVersion -> String Source # showList :: [ ShelleyNodeToClientVersion ] -> ShowS Source #

data ShelleyNodeToNodeVersion Source #

Constructors

ShelleyNodeToNodeVersion1

Instances

Instances details

Bounded ShelleyNodeToNodeVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods minBound :: ShelleyNodeToNodeVersion Source # maxBound :: ShelleyNodeToNodeVersion Source #
Enum ShelleyNodeToNodeVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods succ :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion Source # pred :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion Source # toEnum :: Int -> ShelleyNodeToNodeVersion Source # fromEnum :: ShelleyNodeToNodeVersion -> Int Source # enumFrom :: ShelleyNodeToNodeVersion -> [ ShelleyNodeToNodeVersion ] Source # enumFromThen :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> [ ShelleyNodeToNodeVersion ] Source # enumFromTo :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> [ ShelleyNodeToNodeVersion ] Source # enumFromThenTo :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> [ ShelleyNodeToNodeVersion ] Source #
Eq ShelleyNodeToNodeVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods (==) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source # (/=) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source #
Ord ShelleyNodeToNodeVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods compare :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Ordering Source # (<) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source # (<=) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source # (>) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source # (>=) :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> Bool Source # max :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion Source # min :: ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion -> ShelleyNodeToNodeVersion Source #
Show ShelleyNodeToNodeVersion Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.NetworkProtocolVersion Methods showsPrec :: Int -> ShelleyNodeToNodeVersion -> ShowS Source # show :: ShelleyNodeToNodeVersion -> String Source # showList :: [ ShelleyNodeToNodeVersion ] -> ShowS Source #

verifyBlockIntegrity :: ShelleyCompatible proto era => Word64 -> ShelleyBlock proto era -> Bool Source #

Verifies whether the block is not corrupted by checking its signature and witnesses.

data CompactGenesis era Source #

Compact variant of ShelleyGenesis with some fields erased that are only used on start-up and that should not be kept in memory forever.

Concretely:

The sgInitialFunds field is erased. It is only used to set up the initial UTxO in tests and testnets.
The sgStaking field is erased. It is only used to register initial stake pools in tests and benchmarks.

Instances

Instances details

Eq ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods (==) :: CompactGenesis era -> CompactGenesis era -> Bool Source # (/=) :: CompactGenesis era -> CompactGenesis era -> Bool Source #
Show ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods showsPrec :: Int -> CompactGenesis era -> ShowS Source # show :: CompactGenesis era -> String Source # showList :: [ CompactGenesis era] -> ShowS Source #
Generic ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Associated Types type Rep ( CompactGenesis era) :: Type -> Type Source # Methods from :: CompactGenesis era -> Rep ( CompactGenesis era) x Source # to :: Rep ( CompactGenesis era) x -> CompactGenesis era Source #
Era era => ToCBOR ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods toCBOR :: CompactGenesis era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CompactGenesis era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactGenesis era] -> Size Source #
Era era => FromCBOR ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods fromCBOR :: Decoder s ( CompactGenesis era) Source # label :: Proxy ( CompactGenesis era) -> Text Source #
ShelleyBasedEra era => NoThunks ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods noThunks :: Context -> CompactGenesis era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CompactGenesis era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( CompactGenesis era) -> String Source #
type Rep ( CompactGenesis era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep ( CompactGenesis era) = D1 (' MetaData "CompactGenesis" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' True ) ( C1 (' MetaCons "CompactGenesis" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getCompactGenesis") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( ShelleyGenesis era))))

mkShelleyBlockConfig :: ShelleyBasedEra era => ProtVer -> ShelleyGenesis era -> [ VKey ' BlockIssuer ( EraCrypto era)] -> BlockConfig ( ShelleyBlock proto era) Source #

compactGenesis :: ShelleyGenesis era -> CompactGenesis era Source #

Compacts the given ShelleyGenesis .

data ShelleyReapplyException Source #

Constructors

forall era. Show ( BlockTransitionError era) => ShelleyReapplyException ( BlockTransitionError era)

Instances

Instances details

Show ShelleyReapplyException Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec :: Int -> ShelleyReapplyException -> ShowS Source # show :: ShelleyReapplyException -> String Source # showList :: [ ShelleyReapplyException ] -> ShowS Source #
Exception ShelleyReapplyException Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods toException :: ShelleyReapplyException -> SomeException Source # fromException :: SomeException -> Maybe ShelleyReapplyException Source # displayException :: ShelleyReapplyException -> String Source #

data ShelleyLedgerEvent era Source #

All events emitted by the Shelley ledger API

Constructors

ShelleyLedgerEventBBODY ( Event ( EraRule "BBODY" era))	An event emitted when (re)applying a block
ShelleyLedgerEventTICK ( Event ( EraRule "TICK" era))	An event emitted during the chain tick

newtype ShelleyTransition Source #

Information required to determine the hard fork point from Shelley to the next ledger

Constructors

ShelleyTransitionInfo

Fields

shelleyAfterVoting :: Word32
The number of blocks in this epoch past the voting deadline

We record this to make sure that we can tell the HFC about hard forks if and only if we are certain:
1. Blocks that came in within an epoch after the 4k/f voting deadline are not relevant (10k f - 2 * 3k f).
2. Since there are slots between blocks, we are probably only sure that there will be no more relevant block when we have seen the first block after the deadline.
3. If we count how many blocks we have seen post deadline, and we have reached k of them, we know that that last pre-deadline block won't be rolled back anymore.
4. At this point we can look at the ledger state and see which proposals we accepted in the voting period, if any, and notify the HFC is one of them indicates a transition.

Instances

Instances details

Eq ShelleyTransition Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) :: ShelleyTransition -> ShelleyTransition -> Bool Source # (/=) :: ShelleyTransition -> ShelleyTransition -> Bool Source #
Show ShelleyTransition Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec :: Int -> ShelleyTransition -> ShowS Source # show :: ShelleyTransition -> String Source # showList :: [ ShelleyTransition ] -> ShowS Source #
Generic ShelleyTransition Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ShelleyTransition :: Type -> Type Source # Methods from :: ShelleyTransition -> Rep ShelleyTransition x Source # to :: Rep ShelleyTransition x -> ShelleyTransition Source #
NoThunks ShelleyTransition Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> ShelleyTransition -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ShelleyTransition -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ShelleyTransition -> String Source #
type Rep ShelleyTransition Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ShelleyTransition = D1 (' MetaData "ShelleyTransition" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' True ) ( C1 (' MetaCons "ShelleyTransitionInfo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyAfterVoting") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word32 )))

data ShelleyTip proto era Source #

Constructors

ShelleyTip
Fields shelleyTipSlotNo :: ! SlotNo shelleyTipBlockNo :: ! BlockNo shelleyTipHash :: !( HeaderHash ( ShelleyBlock proto era))

Instances

Instances details

( ShelleyBasedEra era, ShelleyBasedEra ( PreviousEra era), EraCrypto ( PreviousEra era) ~ EraCrypto era) => TranslateEra era ( ShelleyTip proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC Associated Types type TranslationError era ( ShelleyTip proto) Source # Methods translateEra :: TranslationContext era -> ShelleyTip proto ( PreviousEra era) -> Except ( TranslationError era ( ShelleyTip proto)) ( ShelleyTip proto era) Source #
Eq ( ShelleyTip proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) :: ShelleyTip proto era -> ShelleyTip proto era -> Bool Source # (/=) :: ShelleyTip proto era -> ShelleyTip proto era -> Bool Source #
Show ( ShelleyTip proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec :: Int -> ShelleyTip proto era -> ShowS Source # show :: ShelleyTip proto era -> String Source # showList :: [ ShelleyTip proto era] -> ShowS Source #
Generic ( ShelleyTip proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ( ShelleyTip proto era) :: Type -> Type Source # Methods from :: ShelleyTip proto era -> Rep ( ShelleyTip proto era) x Source # to :: Rep ( ShelleyTip proto era) x -> ShelleyTip proto era Source #
NoThunks ( ShelleyTip proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> ShelleyTip proto era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ShelleyTip proto era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ShelleyTip proto era) -> String Source #
type TranslationError era ( ShelleyTip proto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era ( ShelleyTip proto) = Void
type Rep ( ShelleyTip proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ( ShelleyTip proto era) = D1 (' MetaData "ShelleyTip" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyTip" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyTipSlotNo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNo ) :: ( S1 (' MetaSel (' Just "shelleyTipBlockNo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 BlockNo ) :: S1 (' MetaSel (' Just "shelleyTipHash") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HeaderHash ( ShelleyBlock proto era))))))

data ShelleyLedgerConfig era Source #

Constructors

ShelleyLedgerConfig
Fields shelleyLedgerCompactGenesis :: !( CompactGenesis era) shelleyLedgerGlobals :: ! Globals Derived from `shelleyLedgerGenesis` but we store a cached version because it used very often. shelleyLedgerTranslationContext :: !( TranslationContext era)

Instances

Instances details

Generic ( ShelleyLedgerConfig era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ( ShelleyLedgerConfig era) :: Type -> Type Source # Methods from :: ShelleyLedgerConfig era -> Rep ( ShelleyLedgerConfig era) x Source # to :: Rep ( ShelleyLedgerConfig era) x -> ShelleyLedgerConfig era Source #
ShelleyBasedEra era => NoThunks ( ShelleyLedgerConfig era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> ShelleyLedgerConfig era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ShelleyLedgerConfig era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ShelleyLedgerConfig era) -> String Source #
type Rep ( ShelleyLedgerConfig era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ( ShelleyLedgerConfig era) = D1 (' MetaData "ShelleyLedgerConfig" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "ShelleyLedgerConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "shelleyLedgerCompactGenesis") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( CompactGenesis era)) :: ( S1 (' MetaSel (' Just "shelleyLedgerGlobals") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Globals ) :: S1 (' MetaSel (' Just "shelleyLedgerTranslationContext") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TranslationContext era)))))

newtype ShelleyLedgerError era Source #

Constructors

BBodyError ( BlockTransitionError era)

Instances

Instances details

ShelleyBasedEra era => Eq ( ShelleyLedgerError era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods (==) :: ShelleyLedgerError era -> ShelleyLedgerError era -> Bool Source # (/=) :: ShelleyLedgerError era -> ShelleyLedgerError era -> Bool Source #
ShelleyBasedEra era => Show ( ShelleyLedgerError era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods showsPrec :: Int -> ShelleyLedgerError era -> ShowS Source # show :: ShelleyLedgerError era -> String Source # showList :: [ ShelleyLedgerError era] -> ShowS Source #
Generic ( ShelleyLedgerError era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Associated Types type Rep ( ShelleyLedgerError era) :: Type -> Type Source # Methods from :: ShelleyLedgerError era -> Rep ( ShelleyLedgerError era) x Source # to :: Rep ( ShelleyLedgerError era) x -> ShelleyLedgerError era Source #
ShelleyBasedEra era => NoThunks ( ShelleyLedgerError era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger Methods noThunks :: Context -> ShelleyLedgerError era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ShelleyLedgerError era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ShelleyLedgerError era) -> String Source #
type Rep ( ShelleyLedgerError era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep ( ShelleyLedgerError era) = D1 (' MetaData "ShelleyLedgerError" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' True ) ( C1 (' MetaCons "BBodyError" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( BlockTransitionError era))))

shelleyLedgerGenesis :: ShelleyLedgerConfig era -> ShelleyGenesis era Source #

shelleyEraParams :: ShelleyGenesis era -> EraParams Source #

shelleyEraParamsNeverHardForks :: ShelleyGenesis era -> EraParams Source #

Separate variant of shelleyEraParams to be used for a Shelley-only chain.

mkShelleyLedgerConfig :: ShelleyGenesis era -> TranslationContext era -> EpochInfo ( Except PastHorizonException ) -> MaxMajorProtVer -> ShelleyLedgerConfig era Source #

shelleyTipToPoint :: WithOrigin ( ShelleyTip proto era) -> Point ( ShelleyBlock proto era) Source #

castShelleyTip :: HeaderHash ( ShelleyBlock proto era) ~ HeaderHash ( ShelleyBlock proto' era') => ShelleyTip proto era -> ShelleyTip proto' era' Source #

shelleyLedgerTipPoint :: LedgerState ( ShelleyBlock proto era) -> Point ( ShelleyBlock proto era) Source #

getPParams :: NewEpochState era -> PParams era Source #

encodeShelleyAnnTip :: ShelleyCompatible proto era => AnnTip ( ShelleyBlock proto era) -> Encoding Source #

decodeShelleyAnnTip :: ShelleyCompatible proto era => Decoder s ( AnnTip ( ShelleyBlock proto era)) Source #

encodeShelleyHeaderState :: ShelleyCompatible proto era => HeaderState ( ShelleyBlock proto era) -> Encoding Source #

encodeShelleyLedgerState :: ShelleyCompatible proto era => LedgerState ( ShelleyBlock proto era) -> Encoding Source #

decodeShelleyLedgerState :: forall era proto s. ShelleyCompatible proto era => Decoder s ( LedgerState ( ShelleyBlock proto era)) Source #

newtype NonMyopicMemberRewards c Source #

Constructors

NonMyopicMemberRewards
Fields unNonMyopicMemberRewards :: Map ( Either Coin ( Credential ' Staking c)) ( Map ( KeyHash ' StakePool c) Coin )

Instances

Instances details

Eq ( NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: NonMyopicMemberRewards c -> NonMyopicMemberRewards c -> Bool Source # (/=) :: NonMyopicMemberRewards c -> NonMyopicMemberRewards c -> Bool Source #
Show ( NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec :: Int -> NonMyopicMemberRewards c -> ShowS Source # show :: NonMyopicMemberRewards c -> String Source # showList :: [ NonMyopicMemberRewards c] -> ShowS Source #
Crypto c => Serialise ( NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods encode :: NonMyopicMemberRewards c -> Encoding Source # decode :: Decoder s ( NonMyopicMemberRewards c) Source # encodeList :: [ NonMyopicMemberRewards c] -> Encoding Source # decodeList :: Decoder s [ NonMyopicMemberRewards c] Source #

querySupportedVersion :: BlockQuery ( ShelleyBlock proto era) result -> ShelleyNodeToClientVersion -> Bool Source #

Is the given query supported by the given ShelleyNodeToClientVersion ?

encodeShelleyQuery :: ShelleyBasedEra era => BlockQuery ( ShelleyBlock proto era) result -> Encoding Source #

decodeShelleyQuery :: ShelleyBasedEra era => Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #

encodeShelleyResult :: ShelleyCompatible proto era => BlockQuery ( ShelleyBlock proto era) result -> result -> Encoding Source #

decodeShelleyResult :: ShelleyCompatible proto era => BlockQuery ( ShelleyBlock proto era) result -> forall s. Decoder s result Source #

data WithTop a Source #

Add a unique top element to a lattice.

TODO This should be relocated to `cardano-base:Data.Measure'.

Constructors

NotTop a
Top

Instances

Instances details

Eq a => Eq ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) :: WithTop a -> WithTop a -> Bool Source # (/=) :: WithTop a -> WithTop a -> Bool Source #
Ord a => Ord ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods compare :: WithTop a -> WithTop a -> Ordering Source # (<) :: WithTop a -> WithTop a -> Bool Source # (<=) :: WithTop a -> WithTop a -> Bool Source # (>) :: WithTop a -> WithTop a -> Bool Source # (>=) :: WithTop a -> WithTop a -> Bool Source # max :: WithTop a -> WithTop a -> WithTop a Source # min :: WithTop a -> WithTop a -> WithTop a Source #
Show a => Show ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec :: Int -> WithTop a -> ShowS Source # show :: WithTop a -> String Source # showList :: [ WithTop a] -> ShowS Source #
Generic ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep ( WithTop a) :: Type -> Type Source # Methods from :: WithTop a -> Rep ( WithTop a) x Source # to :: Rep ( WithTop a) x -> WithTop a Source #
Measure a => BoundedMeasure ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods maxBound :: WithTop a Source #
Measure a => Measure ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods zero :: WithTop a Source # plus :: WithTop a -> WithTop a -> WithTop a Source # min :: WithTop a -> WithTop a -> WithTop a Source # max :: WithTop a -> WithTop a -> WithTop a Source #
type Rep ( WithTop a) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep ( WithTop a) = D1 (' MetaData "WithTop" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "NotTop" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)) :+: C1 (' MetaCons "Top" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data AlonzoMeasure Source #

Constructors

AlonzoMeasure
Fields byteSize :: ! ByteSize exUnits :: !( ExUnits' ( WithTop Natural ))

Instances

Instances details

Eq AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods (==) :: AlonzoMeasure -> AlonzoMeasure -> Bool Source # (/=) :: AlonzoMeasure -> AlonzoMeasure -> Bool Source #
Show AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods showsPrec :: Int -> AlonzoMeasure -> ShowS Source # show :: AlonzoMeasure -> String Source # showList :: [ AlonzoMeasure ] -> ShowS Source #
Generic AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type Rep AlonzoMeasure :: Type -> Type Source # Methods from :: AlonzoMeasure -> Rep AlonzoMeasure x Source # to :: Rep AlonzoMeasure x -> AlonzoMeasure Source #
BoundedMeasure AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods maxBound :: AlonzoMeasure Source #
Measure AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Methods zero :: AlonzoMeasure Source # plus :: AlonzoMeasure -> AlonzoMeasure -> AlonzoMeasure Source # min :: AlonzoMeasure -> AlonzoMeasure -> AlonzoMeasure Source # max :: AlonzoMeasure -> AlonzoMeasure -> AlonzoMeasure Source #
type Rep AlonzoMeasure Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep AlonzoMeasure = D1 (' MetaData "AlonzoMeasure" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.1-Kwox0dapAHUG8fY5XKE0pO" ' False ) ( C1 (' MetaCons "AlonzoMeasure" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "byteSize") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ByteSize ) :*: S1 (' MetaSel (' Just "exUnits") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ExUnits' ( WithTop Natural )))))

fixedBlockBodyOverhead :: Num a => a Source #

txInBlockSize is used to estimate how many transactions we can grab from the Mempool to put into the block we are going to forge without exceeding the maximum block body size according to the ledger. If we exceed that limit, we will have forged a block that is invalid according to the ledger. We ourselves won't even adopt it, causing us to lose our slot, something we must try to avoid.

For this reason it is better to overestimate the size of a transaction than to underestimate. The only downside is that we maybe could have put one (or more?) transactions extra in that block.

As the sum of the serialised transaction sizes is not equal to the size of the serialised block body ( TxSeq ) consisting of those transactions (see cardano-node#1545 for an example), we account for some extra overhead per transaction as a safety margin.

Also see perTxOverhead .

perTxOverhead :: Num a => a Source #

See fixedBlockBodyOverhead .

mkShelleyTx :: forall era proto. ShelleyBasedEra era => Tx era -> GenTx ( ShelleyBlock proto era) Source #

mkShelleyValidatedTx :: forall era proto. ShelleyBasedEra era => Validated ( Tx era) -> Validated ( GenTx ( ShelleyBlock proto era)) Source #

fromExUnits :: ExUnits -> ExUnits' ( WithTop Natural ) Source #

forgeShelleyBlock Source #

Arguments

:: forall m era proto. ( ShelleyCompatible proto era, TxLimits ( ShelleyBlock proto era), Monad m)
=> HotKey ( EraCrypto era) m
-> CanBeLeader proto
-> TopLevelConfig ( ShelleyBlock proto era)
-> Overrides ( ShelleyBlock proto era)	How to override max tx capacity defined by ledger
-> BlockNo	Current block number
-> SlotNo	Current slot number
-> TickedLedgerState ( ShelleyBlock proto era)	Current ledger
-> [ Validated ( GenTx ( ShelleyBlock proto era))]	Txs to add in the block
-> IsLeader proto
-> m ( ShelleyBlock proto era)