Consensus modes

Methods

fromCBOR :: Decoder s EpochSlots Source #

label :: Proxy EpochSlots -> Text Source #

ToCBOR EpochSlots Source #

Instance details

Methods

toCBOR :: EpochSlots -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochSlots -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochSlots] -> Size Source #

DecCBOR EpochSlots Source #

Instance details

Methods

decCBOR :: Decoder s EpochSlots Source #

dropCBOR :: Proxy EpochSlots -> Decoder s () Source #

label :: Proxy EpochSlots -> Text Source #

EncCBOR EpochSlots Source #

Instance details

Methods

encCBOR :: EpochSlots -> Encoding Source #

Buildable EpochSlots

Instance details

Methods

build :: EpochSlots -> Builder

Eq EpochSlots Source #

Instance details

Methods

(==) :: EpochSlots -> EpochSlots -> Bool Source #

(/=) :: EpochSlots -> EpochSlots -> Bool Source #

Ord EpochSlots Source #

Instance details

Methods

compare :: EpochSlots -> EpochSlots -> Ordering Source #

(<) :: EpochSlots -> EpochSlots -> Bool Source #

(<=) :: EpochSlots -> EpochSlots -> Bool Source #

(>) :: EpochSlots -> EpochSlots -> Bool Source #

(>=) :: EpochSlots -> EpochSlots -> Bool Source #

max :: EpochSlots -> EpochSlots -> EpochSlots Source #

min :: EpochSlots -> EpochSlots -> EpochSlots Source #

Data EpochSlots Source #

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EpochSlots -> c EpochSlots Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EpochSlots Source #

toConstr :: EpochSlots -> Constr Source #

dataTypeOf :: EpochSlots -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EpochSlots) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EpochSlots) Source #

gmapT :: (forall b. Data b => b -> b) -> EpochSlots -> EpochSlots Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EpochSlots -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EpochSlots -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> EpochSlots -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EpochSlots -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots Source #

Generic EpochSlots Source #

Instance details

Associated Types

type Rep EpochSlots

Instance details

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.3.0.0-be177f14c7149c2e07ea7e77b9c85859b9c638367cdb6d5f30a47363aff1d60a" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from :: EpochSlots -> Rep EpochSlots x Source #

to :: Rep EpochSlots x -> EpochSlots Source #

Read EpochSlots Source #

Instance details

Methods

readsPrec :: Int -> ReadS EpochSlots Source #

readList :: ReadS [EpochSlots] Source #

readPrec :: ReadPrec EpochSlots Source #

readListPrec :: ReadPrec [EpochSlots] Source #

Show EpochSlots Source #

Instance details

Methods

showsPrec :: Int -> EpochSlots -> ShowS Source #

show :: EpochSlots -> String Source #

showList :: [EpochSlots] -> ShowS Source #

NoThunks EpochSlots Source #

Instance details

Methods

noThunks :: Context -> EpochSlots -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> EpochSlots -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy EpochSlots -> String #

type Rep EpochSlots Source #

Instance details

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.3.0.0-be177f14c7149c2e07ea7e77b9c85859b9c638367cdb6d5f30a47363aff1d60a" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Conversions to and from types in the consensus library

type family ConsensusCryptoForBlock block where ... Source #

Equations

ConsensusCryptoForBlock ByronBlockHFC = StandardCrypto
ConsensusCryptoForBlock (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ShelleyEra
ConsensusCryptoForBlock (CardanoBlock StandardCrypto) = StandardCrypto

type family ConsensusBlockForEra era where ... Source #

A closed type family that maps between the consensus mode (from this API) and the block type used by the consensus libraries.

Equations

ConsensusBlockForEra ByronEra = ByronBlock
ConsensusBlockForEra ShelleyEra = StandardShelleyBlock
ConsensusBlockForEra AllegraEra = StandardAllegraBlock
ConsensusBlockForEra MaryEra = StandardMaryBlock
ConsensusBlockForEra AlonzoEra = StandardAlonzoBlock
ConsensusBlockForEra BabbageEra = StandardBabbageBlock
ConsensusBlockForEra ConwayEra = StandardConwayBlock
ConsensusBlockForEra DijkstraEra = StandardDijkstraBlock

toConsensusEraIndex :: forall (xs :: [Type]) era. CardanoBlock StandardCrypto ~ HardForkBlock xs => CardanoEra era -> EraIndex xs Source #

fromConsensusEraIndex :: EraIndex (CardanoEras StandardCrypto) -> AnyCardanoEra Source #

Transactions in the consensus mode

Transactions in the context of a consensus mode, and other types used in the transaction submission protocol.

Transaction in a consensus mode

data TxInMode where Source #

A Tx in one of the eras supported by a given protocol mode.

For multi-era modes such as the CardanoMode this type is a sum of the different transaction types for all the eras. It is used in the LocalTxSubmission protocol.

Constructors

TxInMode :: forall era. ShelleyBasedEra era -> Tx era -> TxInMode	Shelley based transactions.
TxInByronSpecial :: GenTx ByronBlock -> TxInMode	Legacy Byron transactions and things we can post to the chain which are not actually transactions. This covers: update proposals, votes and delegation certs.

Instances

Instances details

Show TxInMode Source #
Instance details Defined in Cardano.Api.Consensus.Internal.InMode Methods showsPrec :: Int -> TxInMode -> ShowS Source # show :: TxInMode -> String Source # showList :: [TxInMode] -> ShowS Source #

fromConsensusGenTx :: CardanoBlock StandardCrypto ~ block => GenTx block -> TxInMode Source #

toConsensusGenTx :: CardanoBlock StandardCrypto ~ block => TxInMode -> GenTx block Source #

Transaction id in a consensus mode

data TxIdInMode where Source #

A TxId in one of the eras supported by a given protocol mode.

For multi-era modes such as the CardanoMode this type is a sum of the different transaction types for all the eras. It is used in the LocalTxMonitoring protocol.

TODO Rename to TxIdInEra

Constructors

TxIdInMode :: forall era. CardanoEra era -> TxId -> TxIdInMode

toConsensusTxId :: CardanoBlock StandardCrypto ~ block => TxIdInMode -> TxId (GenTx block) Source #

Transaction validation errors

data TxValidationError era where Source #

The transaction validations errors that can occur from trying to submit a transaction to a local node. The errors are specific to an era.

Constructors

ByronTxValidationError :: forall era. ApplyTxErr ByronBlock -> TxValidationError era
ShelleyTxValidationError :: forall era. ShelleyBasedEra era -> ApplyTxErr (ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era)) -> TxValidationError era

Instances

Instances details

ToJSON (TxValidationError era) Source #

Instance details

Methods

toJSON :: TxValidationError era -> Value #

toEncoding :: TxValidationError era -> Encoding #

toJSONList :: [TxValidationError era] -> Value #

toEncodingList :: [TxValidationError era] -> Encoding #

omitField :: TxValidationError era -> Bool #

Generic (TxValidationError era) Source #

Instance details

Associated Types

type Rep (TxValidationError era)

Instance details

type Rep (TxValidationError era) = D1 ('MetaData "TxValidationError" "Cardano.Api.Consensus.Internal.InMode" "cardano-api-10.26.0.0-inplace" 'False) (C1 ('MetaCons "ByronTxValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApplyTxErr ByronBlock))) :+: C1 ('MetaCons "ShelleyTxValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBasedEra era)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApplyTxErr (ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era))))))

Methods

from :: TxValidationError era -> Rep (TxValidationError era) x Source #

to :: Rep (TxValidationError era) x -> TxValidationError era Source #

Show (TxValidationError era) Source #

Instance details

Methods

showsPrec :: Int -> TxValidationError era -> ShowS Source #

show :: TxValidationError era -> String Source #

showList :: [TxValidationError era] -> ShowS Source #

type Rep (TxValidationError era) Source #

Instance details

type Rep (TxValidationError era) = D1 ('MetaData "TxValidationError" "Cardano.Api.Consensus.Internal.InMode" "cardano-api-10.26.0.0-inplace" 'False) (C1 ('MetaCons "ByronTxValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApplyTxErr ByronBlock))) :+: C1 ('MetaCons "ShelleyTxValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyBasedEra era)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ApplyTxErr (ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era))))))

data TxValidationErrorInCardanoMode where Source #

A TxValidationError in one of the eras supported by a given protocol mode.

This is used in the LocalStateQuery protocol.

Constructors

TxValidationErrorInCardanoMode :: forall era. TxValidationError era -> TxValidationErrorInCardanoMode
TxValidationEraMismatch :: EraMismatch -> TxValidationErrorInCardanoMode

Instances

Instances details

ToJSON TxValidationErrorInCardanoMode Source #
Instance details Defined in Cardano.Api.Consensus.Internal.InMode Methods toJSON :: TxValidationErrorInCardanoMode -> Value # toEncoding :: TxValidationErrorInCardanoMode -> Encoding # toJSONList :: [TxValidationErrorInCardanoMode] -> Value # toEncodingList :: [TxValidationErrorInCardanoMode] -> Encoding # omitField :: TxValidationErrorInCardanoMode -> Bool #
Show TxValidationErrorInCardanoMode Source #
Instance details Defined in Cardano.Api.Consensus.Internal.InMode Methods showsPrec :: Int -> TxValidationErrorInCardanoMode -> ShowS Source # show :: TxValidationErrorInCardanoMode -> String Source # showList :: [TxValidationErrorInCardanoMode] -> ShowS Source #

fromConsensusApplyTxErr :: CardanoBlock StandardCrypto ~ block => ApplyTxErr block -> TxValidationErrorInCardanoMode Source #

Consensus protocol

data BlockType blk where Source #

Constructors

ByronBlockType :: BlockType (HardForkBlock '[ByronBlock])
ShelleyBlockType :: BlockType (HardForkBlock '[ShelleyBlock (TPraos StandardCrypto) ShelleyEra])
CardanoBlockType :: BlockType (HardForkBlock (CardanoEras StandardCrypto))

Instances

Instances details

Eq (BlockType blk) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol Methods (==) :: BlockType blk -> BlockType blk -> Bool Source # (/=) :: BlockType blk -> BlockType blk -> Bool Source #
Show (BlockType blk) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol Methods showsPrec :: Int -> BlockType blk -> ShowS Source # show :: BlockType blk -> String Source # showList :: [BlockType blk] -> ShowS Source #

data SomeBlockType where Source #

Constructors

SomeBlockType :: forall blk. BlockType blk -> SomeBlockType

Instances

Instances details

Show SomeBlockType Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol Methods showsPrec :: Int -> SomeBlockType -> ShowS Source # show :: SomeBlockType -> String Source # showList :: [SomeBlockType] -> ShowS Source #

reflBlockType :: BlockType blk -> BlockType blk' -> Maybe (blk :~: blk') Source #

class (RunNode blk, IOLike m) => Protocol (m :: Type -> Type) blk where Source #

Associated Types

data ProtocolInfoArgs blk Source #

Methods

protocolInfo :: ProtocolInfoArgs blk -> (ProtocolInfo blk, Tracer m KESAgentClientTrace -> m [MkBlockForging m blk]) Source #

Instances

Instances details

IOLike m => Protocol m ByronBlockHFC Source #

Run PBFT against the Byron ledger

Instance details

Associated Types

data ProtocolInfoArgs ByronBlockHFC
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs ByronBlockHFC = ProtocolInfoArgsByron ProtocolParamsByron

Methods

protocolInfo :: ProtocolInfoArgs ByronBlockHFC -> (ProtocolInfo ByronBlockHFC, Tracer m KESAgentClientTrace -> m [MkBlockForging m ByronBlockHFC]) Source #

(CardanoHardForkConstraints StandardCrypto, IOLike m, MonadKESAgent m) => Protocol m (CardanoBlock StandardCrypto) Source #

Instance details

Associated Types

data ProtocolInfoArgs (CardanoBlock StandardCrypto)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs (CardanoBlock StandardCrypto) = ProtocolInfoArgsCardano (CardanoProtocolParams StandardCrypto)

Methods

protocolInfo :: ProtocolInfoArgs (CardanoBlock StandardCrypto) -> (ProtocolInfo (CardanoBlock StandardCrypto), Tracer m KESAgentClientTrace -> m [MkBlockForging m (CardanoBlock StandardCrypto)]) Source #

(IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra), MonadKESAgent m) => Protocol m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #

Instance details

Associated Types

data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolInfoArgsShelley ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer

Methods

protocolInfo :: ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) -> (ProtocolInfo (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra), Tracer m KESAgentClientTrace -> m [MkBlockForging m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)]) Source #

data family ProtocolInfoArgs blk Source #

Instances

Instances details

data ProtocolInfoArgs ByronBlockHFC Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs ByronBlockHFC = ProtocolInfoArgsByron ProtocolParamsByron
data ProtocolInfoArgs (CardanoBlock StandardCrypto) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs (CardanoBlock StandardCrypto) = ProtocolInfoArgsCardano (CardanoProtocolParams StandardCrypto)
data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolInfoArgsShelley ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer

class RunNode blk => ProtocolClient blk where Source #

Node client support for each consensus protocol.

This is like Protocol but for clients of the node, so with less onerous requirements than to run a node.

Associated Types

data ProtocolClientInfoArgs blk Source #

Methods

protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk Source #

Instances

Instances details

ProtocolClient ByronBlockHFC Source #

Instance details

Associated Types

data ProtocolClientInfoArgs ByronBlockHFC
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs ByronBlockHFC = ProtocolClientInfoArgsByron EpochSlots

Methods

protocolClientInfo :: ProtocolClientInfoArgs ByronBlockHFC -> ProtocolClientInfo ByronBlockHFC Source #

CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto) Source #

Instance details

Associated Types

data ProtocolClientInfoArgs (CardanoBlock StandardCrypto)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) = ProtocolClientInfoArgsCardano EpochSlots

Methods

protocolClientInfo :: ProtocolClientInfoArgs (CardanoBlock StandardCrypto) -> ProtocolClientInfo (CardanoBlock StandardCrypto) Source #

LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra) => ProtocolClient (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #

Instance details

Associated Types

data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolClientInfoArgsShelley

Methods

protocolClientInfo :: ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) -> ProtocolClientInfo (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #

data family ProtocolClientInfoArgs blk Source #

Instances

Instances details

data ProtocolClientInfoArgs ByronBlockHFC Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs ByronBlockHFC = ProtocolClientInfoArgsByron EpochSlots
data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) = ProtocolClientInfoArgsCardano EpochSlots
data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolClientInfoArgsShelley

Reexports from `ouroboros-consensus`

data ByronBlock #

Instances

Instances details

ProtocolClient ByronBlockHFC Source #

Instance details

Associated Types

data ProtocolClientInfoArgs ByronBlockHFC
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs ByronBlockHFC = ProtocolClientInfoArgsByron EpochSlots

Methods

protocolClientInfo :: ProtocolClientInfoArgs ByronBlockHFC -> ProtocolClientInfo ByronBlockHFC Source #

NFData ByronBlock #

Instance details

Methods

rnf :: ByronBlock -> () Source #

Eq ByronBlock #

Instance details

Methods

(==) :: ByronBlock -> ByronBlock -> Bool Source #

(/=) :: ByronBlock -> ByronBlock -> Bool Source #

Show ByronBlock #

Instance details

Methods

showsPrec :: Int -> ByronBlock -> ShowS Source #

show :: ByronBlock -> String Source #

showList :: [ByronBlock] -> ShowS Source #

ConvertRawHash ByronBlock #

Instance details

Methods

toRawHash :: proxy ByronBlock -> HeaderHash ByronBlock -> ByteString Source #

fromRawHash :: proxy ByronBlock -> ByteString -> HeaderHash ByronBlock Source #

toShortRawHash :: proxy ByronBlock -> HeaderHash ByronBlock -> ShortByteString Source #

fromShortRawHash :: proxy ByronBlock -> ShortByteString -> HeaderHash ByronBlock Source #

hashSize :: proxy ByronBlock -> Word32 Source #

GetHeader ByronBlock #

Instance details

Methods

getHeader :: ByronBlock -> Header ByronBlock Source #

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

headerIsEBB :: Header ByronBlock -> Maybe EpochNo Source #

GetPrevHash ByronBlock #

Instance details

BlockSupportsDiffusionPipelining ByronBlock #

Methods

headerPrevHash :: Header ByronBlock -> ChainHash ByronBlock Source #

Instance details

BlockSupportsMetrics ByronBlock #

Associated Types

type TentativeHeaderState ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)
type TentativeHeaderView ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)

Instance details

BlockSupportsProtocol ByronBlock #

Methods

isSelfIssued :: BlockConfig ByronBlock -> Header ByronBlock -> WhetherSelfIssued Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.PBFT

BlockSupportsSanityCheck ByronBlock #

Instance details

ConfigSupportsNode ByronBlock #

Methods

configAllSecurityParams :: TopLevelConfig ByronBlock -> NonEmpty SecurityParam Source #

Instance details

HasHardForkHistory ByronBlock #

Methods

getSystemStart :: BlockConfig ByronBlock -> SystemStart Source #

getNetworkMagic :: BlockConfig ByronBlock -> NetworkMagic Source #

Instance details

ImmutableEraParams ByronBlock #

Associated Types

type HardForkIndices ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type HardForkIndices ByronBlock = '[ByronBlock]

Methods

hardForkSummary :: forall (mk :: MapKind). LedgerConfig ByronBlock -> LedgerState ByronBlock mk -> Summary (HardForkIndices ByronBlock) Source #

Instance details

Methods

immutableEraParams :: TopLevelConfig ByronBlock -> EraParams Source #

NoHardForks ByronBlock #

Instance details

Methods

toPartialLedgerConfig :: proxy ByronBlock -> LedgerConfig ByronBlock -> PartialLedgerConfig ByronBlock Source #

SingleEraBlock ByronBlock #

Instance details

HasPartialLedgerConfig ByronBlock #

Methods

singleEraTransition :: forall (mk :: MapKind). PartialLedgerConfig ByronBlock -> EraParams -> Bound -> LedgerState ByronBlock mk -> Maybe EpochNo Source #

singleEraInfo :: proxy ByronBlock -> SingleEraInfo ByronBlock Source #

Instance details

SerialiseConstraintsHFC ByronBlock #

Associated Types

type PartialLedgerConfig ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC type PartialLedgerConfig ByronBlock = ByronPartialLedgerConfig

Methods

completeLedgerConfig :: proxy ByronBlock -> EpochInfo (Except PastHorizonException) -> PartialLedgerConfig ByronBlock -> LedgerConfig ByronBlock Source #

Instance details

BasicEnvelopeValidation ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

expectedFirstBlockNo :: proxy ByronBlock -> BlockNo Source #

expectedNextBlockNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> BlockNo -> BlockNo Source #

minimumPossibleSlotNo :: Proxy ByronBlock -> SlotNo Source #

minimumNextSlotNo :: proxy ByronBlock -> TipInfo ByronBlock -> TipInfo ByronBlock -> SlotNo -> SlotNo Source #

HasAnnTip ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type TipInfo ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type TipInfo ByronBlock = TipInfoIsEBB ByronBlock

Methods

getTipInfo :: Header ByronBlock -> TipInfo ByronBlock Source #

tipInfoHash :: proxy ByronBlock -> TipInfo ByronBlock -> HeaderHash ByronBlock Source #

ValidateEnvelope ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type OtherHeaderEnvelopeError ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type OtherHeaderEnvelopeError ByronBlock = ByronOtherHeaderEnvelopeError

Methods

additionalEnvelopeChecks :: TopLevelConfig ByronBlock -> LedgerView (BlockProtocol ByronBlock) -> Header ByronBlock -> Except (OtherHeaderEnvelopeError ByronBlock) () Source #

UpdateLedger ByronBlock #

Instance details

CommonProtocolParams ByronBlock #

Instance details

BlockSupportsLedgerQuery ByronBlock #

Methods

maxHeaderSize :: forall (mk :: MapKind). LedgerState ByronBlock mk -> Word32 Source #

maxTxSize :: forall (mk :: MapKind). LedgerState ByronBlock mk -> Word32 Source #

InspectLedger ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

Associated Types

type LedgerWarning ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerWarning ByronBlock = Void
type LedgerUpdate ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerUpdate ByronBlock = ByronLedgerUpdate

Methods

inspectLedger :: forall (mk1 :: MapKind) (mk2 :: MapKind). TopLevelConfig ByronBlock -> LedgerState ByronBlock mk1 -> LedgerState ByronBlock mk2 -> [LedgerEvent ByronBlock] Source #

Instance details

LedgerSupportsMempool ByronBlock #

Methods

answerPureBlockQuery :: ExtLedgerCfg ByronBlock -> BlockQuery ByronBlock 'QFNoTables result -> ExtLedgerState ByronBlock EmptyMK -> result Source #

answerBlockQueryLookup :: MonadSTM m => ExtLedgerCfg ByronBlock -> BlockQuery ByronBlock 'QFLookupTables result -> ReadOnlyForker' m ByronBlock -> m result Source #

answerBlockQueryTraverse :: MonadSTM m => ExtLedgerCfg ByronBlock -> BlockQuery ByronBlock 'QFTraverseTables result -> ReadOnlyForker' m ByronBlock -> m result Source #

blockQueryIsSupportedOnVersion :: forall (fp :: QueryFootprint) result. BlockQuery ByronBlock fp result -> BlockNodeToClientVersion ByronBlock -> Bool Source #

HasTxs ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

extractTxs :: ByronBlock -> [GenTx ByronBlock] Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

txInvariant :: GenTx ByronBlock -> Bool Source #

applyTx :: LedgerConfig ByronBlock -> WhetherToIntervene -> SlotNo -> GenTx ByronBlock -> TickedLedgerState ByronBlock ValuesMK -> Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock DiffMK, Validated (GenTx ByronBlock)) Source #

reapplyTx :: LedgerConfig ByronBlock -> SlotNo -> Validated (GenTx ByronBlock) -> TickedLedgerState ByronBlock ValuesMK -> Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock ValuesMK) Source #

reapplyTxs :: forall (wtd :: WhatToDoWithTxDiffs) extra. LedgerConfig ByronBlock -> SlotNo -> [(Validated (GenTx ByronBlock), InputTxDiffs ByronBlock wtd, extra)] -> TickedLedgerState ByronBlock ValuesMK -> ReapplyTxsResult extra ByronBlock wtd Source #

txForgetValidated :: Validated (GenTx ByronBlock) -> GenTx ByronBlock Source #

getTransactionKeySets :: GenTx ByronBlock -> LedgerTables (LedgerState ByronBlock) KeysMK Source #

prependMempoolDiffs :: TickedLedgerState ByronBlock DiffMK -> TickedLedgerState ByronBlock DiffMK -> TickedLedgerState ByronBlock DiffMK Source #

applyMempoolDiffs :: LedgerTables (LedgerState ByronBlock) ValuesMK -> LedgerTables (LedgerState ByronBlock) KeysMK -> TickedLedgerState ByronBlock DiffMK -> TickedLedgerState ByronBlock ValuesMK Source #

mkMempoolApplyTxError :: forall (mk :: MapKind). TickedLedgerState ByronBlock mk -> Text -> Maybe (ApplyTxErr ByronBlock) Source #

TxLimits ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type TxMeasure ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasure ByronBlock = IgnoringOverflow ByteSize32

Methods

txWireSize :: GenTx ByronBlock -> SizeInBytes Source #

txMeasure :: LedgerConfig ByronBlock -> TickedLedgerState ByronBlock ValuesMK -> GenTx ByronBlock -> Except (ApplyTxErr ByronBlock) (TxMeasure ByronBlock) Source #

blockCapacityTxMeasure :: forall (mk :: MapKind). LedgerConfig ByronBlock -> TickedLedgerState ByronBlock mk -> TxMeasure ByronBlock Source #

LedgerSupportsPeerSelection ByronBlock #

Instance details

LedgerSupportsPeras ByronBlock #

Methods

getPeers :: forall (mk :: MapKind). LedgerState ByronBlock mk -> [(PoolStake, NonEmpty StakePoolRelay)] Source #

Instance details

LedgerSupportsProtocol ByronBlock #

Methods

getLatestPerasCertRound :: forall (mk :: MapKind). LedgerState ByronBlock mk -> Maybe PerasRoundNo Source #

Instance details

Methods

protocolLedgerView :: forall (mk :: MapKind). LedgerConfig ByronBlock -> Ticked (LedgerState ByronBlock) mk -> LedgerView (BlockProtocol ByronBlock) Source #

ledgerViewForecastAt :: forall (mk :: MapKind). HasCallStack => LedgerConfig ByronBlock -> LedgerState ByronBlock mk -> Forecast (LedgerView (BlockProtocol ByronBlock)) Source #

NodeInitStorage ByronBlock #

Instance details

HasNetworkProtocolVersion ByronBlock #

Methods

nodeImmutableDbChunkInfo :: StorageConfig ByronBlock -> ChunkInfo Source #

nodeCheckIntegrity :: StorageConfig ByronBlock -> ByronBlock -> Bool Source #

nodeInitChainDB :: IOLike m => StorageConfig ByronBlock -> InitChainDB m ByronBlock -> m () Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

Associated Types

type BlockNodeToNodeVersion ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion ByronBlock = ByronNodeToNodeVersion
type BlockNodeToClientVersion ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion ByronBlock = ByronNodeToClientVersion

SupportedNetworkProtocolVersion ByronBlockHFC #

Instance details

SupportedNetworkProtocolVersion ByronBlock #

Methods

supportedNodeToNodeVersions :: Proxy ByronBlockHFC -> Map NodeToNodeVersion (BlockNodeToNodeVersion ByronBlockHFC) Source #

supportedNodeToClientVersions :: Proxy ByronBlockHFC -> Map NodeToClientVersion (BlockNodeToClientVersion ByronBlockHFC) Source #

latestReleasedNodeVersion :: Proxy ByronBlockHFC -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

RunNode ByronBlock #

Instance details

SerialiseNodeToClientConstraints ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

SerialiseNodeToNodeConstraints ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

estimateBlockSize :: Header ByronBlock -> SizeInBytes Source #

SerialiseDiskConstraints ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

HasBinaryBlockInfo ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

getBinaryBlockInfo :: ByronBlock -> BinaryBlockInfo Source #

Condense ByronBlock #

Instance details

Methods

condense :: ByronBlock -> String Source #

HasHeader ByronBlock #

Instance details

Methods

getHeaderFields :: ByronBlock -> HeaderFields ByronBlock #

IOLike m => Protocol m ByronBlockHFC Source #

Run PBFT against the Byron ledger

Instance details

SerialiseNodeToClient ByronBlock ApplyMempoolPayloadErr #

Associated Types

data ProtocolInfoArgs ByronBlockHFC
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs ByronBlockHFC = ProtocolInfoArgsByron ProtocolParamsByron

Methods

protocolInfo :: ProtocolInfoArgs ByronBlockHFC -> (ProtocolInfo ByronBlockHFC, Tracer m KESAgentClientTrace -> m [MkBlockForging m ByronBlockHFC]) Source #

HasNestedContent Header ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

unnest :: Header ByronBlock -> DepPair (NestedCtxt Header ByronBlock) Source #

nest :: DepPair (NestedCtxt Header ByronBlock) -> Header ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> ApplyMempoolPayloadErr -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ApplyMempoolPayloadErr Source #

SerialiseNodeToClient ByronBlock Config #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> Config -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s Config Source #

SerialiseNodeToClient ByronBlock SlotNo #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> SlotNo -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s SlotNo Source #

SerialiseNodeToClient ByronBlock ByronPartialLedgerConfig #

Instance details

SerialiseNodeToClient ByronBlock ByronBlock #

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> ByronPartialLedgerConfig -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ByronPartialLedgerConfig Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s ByronBlock Source #

SerialiseNodeToNode ByronBlock ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s ByronBlock Source #

EncodeDisk ByronBlock ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk :: CodecConfig ByronBlock -> ByronBlock -> Encoding Source #

ReconstructNestedCtxt Header ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

reconstructPrefixLen :: proxy (Header ByronBlock) -> PrefixLen Source #

reconstructNestedCtxt :: proxy (Header ByronBlock) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) ByronBlock Source #

StandardHash ByronBlock #

Instance details

ShowProxy ByronBlock #

Instance details

SerialiseBlockQueryResult ByronBlock BlockQuery #

Methods

showProxy :: Proxy ByronBlock -> String #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeBlockQueryResult :: forall (fp :: QueryFootprint) result. CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> BlockQuery ByronBlock fp result -> result -> Encoding Source #

decodeBlockQueryResult :: forall (fp :: QueryFootprint) result. CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> BlockQuery ByronBlock fp result -> forall s. Decoder s result Source #

SameDepIndex2 (BlockQuery ByronBlock) #

Instance details

Methods

sameDepIndex2 :: forall (x :: QueryFootprint) a (y :: QueryFootprint) b. BlockQuery ByronBlock x a -> BlockQuery ByronBlock y b -> Maybe ('(x, a) :~: '(y, b)) Source #

(CardanoHardForkConstraints StandardCrypto, IOLike m, MonadKESAgent m) => Protocol m (CardanoBlock StandardCrypto) Source #

Instance details

Associated Types

data ProtocolInfoArgs (CardanoBlock StandardCrypto)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolInfoArgs (CardanoBlock StandardCrypto) = ProtocolInfoArgsCardano (CardanoProtocolParams StandardCrypto)

Methods

protocolInfo :: ProtocolInfoArgs (CardanoBlock StandardCrypto) -> (ProtocolInfo (CardanoBlock StandardCrypto), Tracer m KESAgentClientTrace -> m [MkBlockForging m (CardanoBlock StandardCrypto)]) Source #

SerialiseNodeToClient ByronBlock (SomeBlockQuery (BlockQuery ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> SomeBlockQuery (BlockQuery ByronBlock) -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (SomeBlockQuery (BlockQuery ByronBlock)) Source #

SerialiseNodeToClient ByronBlock (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTx ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToClient ByronBlock (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (GenTxId ByronBlock) Source #

SerialiseNodeToNode ByronBlock (Header ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> Header ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (Header ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTx ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (GenTxId ByronBlock) Source #

SerialiseNodeToNode ByronBlock (SerialisedHeader ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> SerialisedHeader ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (SerialisedHeader ByronBlock) Source #

DecodeDisk ByronBlock (AnnTip ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s (AnnTip ByronBlock) Source #

DecodeDisk ByronBlock (PBftState PBftByronCrypto) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s (PBftState PBftByronCrypto) Source #

EncodeDisk ByronBlock (AnnTip ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk :: CodecConfig ByronBlock -> AnnTip ByronBlock -> Encoding Source #

EncodeDisk ByronBlock (PBftState PBftByronCrypto) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk :: CodecConfig ByronBlock -> PBftState PBftByronCrypto -> Encoding Source #

ShowProxy (Header ByronBlock) #

Instance details

Methods

showProxy :: Proxy (Header ByronBlock) -> String #

ShowProxy (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy :: Proxy (GenTx ByronBlock) -> String #

ShowProxy (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy :: Proxy (TxId (GenTx ByronBlock)) -> String #

SerialiseNodeToClient ByronBlock (Serialised ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> Serialised ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (Serialised ByronBlock) Source #

SerialiseNodeToNode ByronBlock (Serialised ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> Serialised ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (Serialised ByronBlock) Source #

DecodeDisk ByronBlock (LedgerState ByronBlock mk) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s (LedgerState ByronBlock mk) Source #

DecodeDisk ByronBlock (ByteString -> Either DecoderError ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk :: CodecConfig ByronBlock -> forall s. Decoder s (ByteString -> Either DecoderError ByronBlock) Source #

EncodeDisk ByronBlock (LedgerState ByronBlock mk) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk :: CodecConfig ByronBlock -> LedgerState ByronBlock mk -> Encoding Source #

SameDepIndex (NestedCtxt_ ByronBlock f :: Type -> Type) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

sameDepIndex :: NestedCtxt_ ByronBlock f a -> NestedCtxt_ ByronBlock f b -> Maybe (a :~: b) Source #

CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto) Source #

Instance details

Associated Types

data ProtocolClientInfoArgs (CardanoBlock StandardCrypto)
Instance details Defined in Cardano.Api.Consensus.Internal.Protocol data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) = ProtocolClientInfoArgsCardano EpochSlots

Methods

protocolClientInfo :: ProtocolClientInfoArgs (CardanoBlock StandardCrypto) -> ProtocolClientInfo (CardanoBlock StandardCrypto) Source #

Eq (Header ByronBlock) #

Instance details

Methods

(==) :: Header ByronBlock -> Header ByronBlock -> Bool Source #

(/=) :: Header ByronBlock -> Header ByronBlock -> Bool Source #

Eq (CanonicalTxIn (CardanoEras c)) #

Instance details

Methods

(==) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

(/=) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

Eq (CanonicalTxIn '[ByronBlock]) #

Instance details

Methods

(==) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

(/=) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

Eq (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: Validated (GenTx ByronBlock) -> Validated (GenTx ByronBlock) -> Bool Source #

(/=) :: Validated (GenTx ByronBlock) -> Validated (GenTx ByronBlock) -> Bool Source #

Eq (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source #

(/=) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source #

Eq (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(/=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

Ord (CanonicalTxIn (CardanoEras c)) #

Instance details

Methods

compare :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Ordering Source #

(<) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

(<=) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

(>) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

(>=) :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> Bool Source #

max :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) Source #

min :: CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) -> CanonicalTxIn (CardanoEras c) Source #

Ord (CanonicalTxIn '[ByronBlock]) #

Instance details

Methods

compare :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Ordering Source #

(<) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

(<=) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

(>) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

(>=) :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> Bool Source #

max :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] Source #

min :: CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] -> CanonicalTxIn '[ByronBlock] Source #

Ord (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

compare :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Ordering Source #

(<) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(<=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(>) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(>=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

max :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) Source #

min :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) Source #

Generic (BlockConfig ByronBlock) #

Instance details

Associated Types

type Rep (BlockConfig ByronBlock)

Instance details

type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronGenesisConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Config) :*: (S1 ('MetaSel ('Just "byronProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "byronSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion))))

Methods

from :: BlockConfig ByronBlock -> Rep (BlockConfig ByronBlock) x Source #

to :: Rep (BlockConfig ByronBlock) x -> BlockConfig ByronBlock Source #

Generic (CodecConfig ByronBlock) #

Instance details

Associated Types

type Rep (CodecConfig ByronBlock)

Instance details

type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))

Methods

from :: CodecConfig ByronBlock -> Rep (CodecConfig ByronBlock) x Source #

to :: Rep (CodecConfig ByronBlock) x -> CodecConfig ByronBlock Source #

Generic (Header ByronBlock) #

Instance details

Associated Types

type Rep (Header ByronBlock)

Instance details

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SizeInBytes))))

Methods

from :: Header ByronBlock -> Rep (Header ByronBlock) x Source #

to :: Rep (Header ByronBlock) x -> Header ByronBlock Source #

Generic (StorageConfig ByronBlock) #

Instance details

Associated Types

type Rep (StorageConfig ByronBlock)

Instance details

type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ByronStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronBlockConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BlockConfig ByronBlock))))

Methods

from :: StorageConfig ByronBlock -> Rep (StorageConfig ByronBlock) x Source #

to :: Rep (StorageConfig ByronBlock) x -> StorageConfig ByronBlock Source #

Generic (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

Methods

from :: Validated (GenTx ByronBlock) -> Rep (Validated (GenTx ByronBlock)) x Source #

to :: Rep (Validated (GenTx ByronBlock)) x -> Validated (GenTx ByronBlock) Source #

Generic (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (GenTx ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

from :: GenTx ByronBlock -> Rep (GenTx ByronBlock) x Source #

to :: Rep (GenTx ByronBlock) x -> GenTx ByronBlock Source #

Show (Header ByronBlock) #

Instance details

Methods

showsPrec :: Int -> Header ByronBlock -> ShowS Source #

show :: Header ByronBlock -> String Source #

showList :: [Header ByronBlock] -> ShowS Source #

Show (CanonicalTxIn (CardanoEras c)) #

Instance details

Methods

showsPrec :: Int -> CanonicalTxIn (CardanoEras c) -> ShowS Source #

show :: CanonicalTxIn (CardanoEras c) -> String Source #

showList :: [CanonicalTxIn (CardanoEras c)] -> ShowS Source #

Show (CanonicalTxIn '[ByronBlock]) #

Instance details

Methods

showsPrec :: Int -> CanonicalTxIn '[ByronBlock] -> ShowS Source #

show :: CanonicalTxIn '[ByronBlock] -> String Source #

showList :: [CanonicalTxIn '[ByronBlock]] -> ShowS Source #

Show (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> Validated (GenTx ByronBlock) -> ShowS Source #

show :: Validated (GenTx ByronBlock) -> String Source #

showList :: [Validated (GenTx ByronBlock)] -> ShowS Source #

Show (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> GenTx ByronBlock -> ShowS Source #

show :: GenTx ByronBlock -> String Source #

showList :: [GenTx ByronBlock] -> ShowS Source #

Show (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> GenTxId ByronBlock -> ShowS Source #

show :: GenTxId ByronBlock -> String Source #

showList :: [GenTxId ByronBlock] -> ShowS Source #

CardanoHardForkConstraints c => MemPack (CanonicalTxIn (CardanoEras c)) #

Instance details

Methods

typeName :: String #

packedByteCount :: CanonicalTxIn (CardanoEras c) -> Int #

packM :: CanonicalTxIn (CardanoEras c) -> Pack s () #

unpackM :: Buffer b => Unpack s b (CanonicalTxIn (CardanoEras c)) #

MemPack (CanonicalTxIn '[ByronBlock]) #

Instance details

Methods

typeName :: String #

packedByteCount :: CanonicalTxIn '[ByronBlock] -> Int #

packM :: CanonicalTxIn '[ByronBlock] -> Pack s () #

unpackM :: Buffer b => Unpack s b (CanonicalTxIn '[ByronBlock]) #

NoThunks (BlockConfig ByronBlock) #

Instance details

Methods

noThunks :: Context -> BlockConfig ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> BlockConfig ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (BlockConfig ByronBlock) -> String #

NoThunks (CodecConfig ByronBlock) #

Instance details

Methods

noThunks :: Context -> CodecConfig ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> CodecConfig ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (CodecConfig ByronBlock) -> String #

NoThunks (Header ByronBlock) #

Instance details

Methods

noThunks :: Context -> Header ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Header ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Header ByronBlock) -> String #

NoThunks (StorageConfig ByronBlock) #

Instance details

Methods

noThunks :: Context -> StorageConfig ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> StorageConfig ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (StorageConfig ByronBlock) -> String #

NoThunks (CanonicalTxIn (CardanoEras c)) #

Instance details

Methods

noThunks :: Context -> CanonicalTxIn (CardanoEras c) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> CanonicalTxIn (CardanoEras c) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (CanonicalTxIn (CardanoEras c)) -> String #

NoThunks (CanonicalTxIn '[ByronBlock]) #

Instance details

Methods

noThunks :: Context -> CanonicalTxIn '[ByronBlock] -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> CanonicalTxIn '[ByronBlock] -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (CanonicalTxIn '[ByronBlock]) -> String #

NoThunks (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> Validated (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Validated (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Validated (GenTx ByronBlock)) -> String #

NoThunks (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> GenTx ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GenTx ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GenTx ByronBlock) -> String #

NoThunks (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> TxId (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TxId (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TxId (GenTx ByronBlock)) -> String #

CardanoHardForkConstraints c => CanHardFork (CardanoEras c) #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = DijkstraMeasure

Methods

hardForkEraTranslation :: EraTranslation (CardanoEras c) Source #

hardForkChainSel :: Tails AcrossEraTiebreaker (CardanoEras c) Source #

hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #

hardForkInjTxMeasure :: NS WrapTxMeasure (CardanoEras c) -> HardForkTxMeasure (CardanoEras c) Source #

CardanoHardForkConstraints c => HasCanonicalTxIn (CardanoEras c) #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn :: BigEndianTxIn }

Methods

injectCanonicalTxIn :: Index (CardanoEras c) x -> TxIn (LedgerState x) -> CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn :: Index (CardanoEras c) x -> CanonicalTxIn (CardanoEras c) -> TxIn (LedgerState x) Source #

CardanoHardForkConstraints c => HasHardForkTxOut (CardanoEras c) #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut :: Index (CardanoEras c) x -> TxOut (LedgerState x) -> HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut :: Index (CardanoEras c) x -> HardForkTxOut (CardanoEras c) -> TxOut (LedgerState x) Source #

txOutEjections :: NP ((K (NS WrapTxOut (CardanoEras c)) :: Type -> Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations :: Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c => BlockSupportsHFLedgerQuery (CardanoEras c) #

Instance details

Defined in Ouroboros.Consensus.Cardano.QueryHF

Methods

answerBlockQueryHFLookup :: (All SingleEraBlock (CardanoEras c), Monad m) => Index (CardanoEras c) x -> ExtLedgerCfg x -> BlockQuery x 'QFLookupTables result -> ReadOnlyForker' m (HardForkBlock (CardanoEras c)) -> m result Source #

answerBlockQueryHFTraverse :: (All SingleEraBlock (CardanoEras c), Monad m) => Index (CardanoEras c) x -> ExtLedgerCfg x -> BlockQuery x 'QFTraverseTables result -> ReadOnlyForker' m (HardForkBlock (CardanoEras c)) -> m result Source #

queryLedgerGetTraversingFilter :: Index (CardanoEras c) x -> BlockQuery x 'QFTraverseTables result -> TxOut (LedgerState (HardForkBlock (CardanoEras c))) -> Bool Source #

CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) #

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding Source #

decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> Either DecoderError (HardForkBlock (CardanoEras c))) Source #

reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen Source #

reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo Source #

estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes Source #

GetTip (LedgerState ByronBlock) #

Instance details

Methods

getTip :: forall (mk :: MapKind). LedgerState ByronBlock mk -> Point (LedgerState ByronBlock) Source #

IsLedger (LedgerState ByronBlock) #

Instance details

Associated Types

type LedgerErr (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr (LedgerState ByronBlock) = ChainValidationError
type AuxLedgerEvent (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

Methods

applyChainTickLedgerResult :: ComputeLedgerEvents -> LedgerCfg (LedgerState ByronBlock) -> SlotNo -> LedgerState ByronBlock EmptyMK -> LedgerResult (LedgerState ByronBlock) (Ticked (LedgerState ByronBlock) DiffMK) Source #

ConvertRawTxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

toRawTxIdHash :: TxId (GenTx ByronBlock) -> ShortByteString Source #

HasTxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

txId :: GenTx ByronBlock -> TxId (GenTx ByronBlock) Source #

CanStowLedgerTables (LedgerState ByronBlock) #

Instance details

Methods

stowLedgerTables :: LedgerState ByronBlock ValuesMK -> LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables :: LedgerState ByronBlock EmptyMK -> LedgerState ByronBlock ValuesMK Source #

HasLedgerTables (LedgerState ByronBlock) #

Instance details

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState ByronBlock mk -> LedgerTables (LedgerState ByronBlock) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => LedgerState ByronBlock any -> LedgerTables (LedgerState ByronBlock) mk -> LedgerState ByronBlock mk Source #

LedgerTablesAreTrivial (LedgerState ByronBlock) #

Instance details

Methods

convertMapKind :: forall (mk :: MapKind) (mk' :: MapKind). LedgerState ByronBlock mk -> LedgerState ByronBlock mk' Source #

CardanoHardForkConstraints c => SerializeTablesWithHint (LedgerState (HardForkBlock (CardanoEras c))) #

Instance details

Methods

encodeTablesWithHint :: SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) -> LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK -> Encoding Source #

decodeTablesWithHint :: SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) -> Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) Source #

SerializeTablesWithHint (LedgerState (HardForkBlock '[ByronBlock])) #

Instance details

Methods

encodeTablesWithHint :: SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) -> LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK -> Encoding Source #

decodeTablesWithHint :: SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) -> Decoder s (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) Source #

SerializeTablesWithHint (LedgerState ByronBlock) #

Instance details

CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) #

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

CanUpgradeLedgerTables (LedgerState ByronBlock) #

Instance details

Methods

upgradeTables :: forall (mk1 :: MapKind) (mk2 :: MapKind). LedgerState ByronBlock mk1 -> LedgerState ByronBlock mk2 -> LedgerTables (LedgerState ByronBlock) ValuesMK -> LedgerTables (LedgerState ByronBlock) ValuesMK Source #

Condense (Header ByronBlock) #

Instance details

Methods

condense :: Header ByronBlock -> String Source #

Condense (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense :: GenTx ByronBlock -> String Source #

Condense (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense :: GenTxId ByronBlock -> String Source #

HasHeader (Header ByronBlock) #

Instance details

Methods

getHeaderFields :: Header ByronBlock -> HeaderFields (Header ByronBlock) #

ApplyBlock (LedgerState ByronBlock) ByronBlock #

Instance details

Methods

applyBlockLedgerResultWithValidation :: ValidationPolicy -> ComputeLedgerEvents -> LedgerCfg (LedgerState ByronBlock) -> ByronBlock -> Ticked (LedgerState ByronBlock) ValuesMK -> Except (LedgerErr (LedgerState ByronBlock)) (LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK)) Source #

applyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg (LedgerState ByronBlock) -> ByronBlock -> Ticked (LedgerState ByronBlock) ValuesMK -> Except (LedgerErr (LedgerState ByronBlock)) (LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK)) Source #

reapplyBlockLedgerResult :: ComputeLedgerEvents -> LedgerCfg (LedgerState ByronBlock) -> ByronBlock -> Ticked (LedgerState ByronBlock) ValuesMK -> LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK) Source #

getBlockKeySets :: ByronBlock -> LedgerTables (LedgerState ByronBlock) KeysMK Source #

DecodeDiskDep (NestedCtxt Header) ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDep :: CodecConfig ByronBlock -> NestedCtxt Header ByronBlock a -> forall s. Decoder s (ByteString -> a) Source #

DecodeDiskDepIx (NestedCtxt Header) ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDepIx :: CodecConfig ByronBlock -> Decoder s (SomeSecond (NestedCtxt Header) ByronBlock) Source #

EncodeDiskDep (NestedCtxt Header) ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDep :: CodecConfig ByronBlock -> NestedCtxt Header ByronBlock a -> a -> Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDepIx :: CodecConfig ByronBlock -> SomeSecond (NestedCtxt Header) ByronBlock -> Encoding Source #

Eq (LedgerState ByronBlock mk) #

Instance details

Methods

(==) :: LedgerState ByronBlock mk -> LedgerState ByronBlock mk -> Bool Source #

(/=) :: LedgerState ByronBlock mk -> LedgerState ByronBlock mk -> Bool Source #

Generic (LedgerState ByronBlock mk) #

Instance details

Associated Types

type Rep (LedgerState ByronBlock mk)

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition))))

Methods

from :: LedgerState ByronBlock mk -> Rep (LedgerState ByronBlock mk) x Source #

to :: Rep (LedgerState ByronBlock mk) x -> LedgerState ByronBlock mk Source #

Show (LedgerState ByronBlock mk) #

Instance details

Methods

showsPrec :: Int -> LedgerState ByronBlock mk -> ShowS Source #

show :: LedgerState ByronBlock mk -> String Source #

showList :: [LedgerState ByronBlock mk] -> ShowS Source #

NoThunks (LedgerState ByronBlock mk) #

Instance details

Methods

noThunks :: Context -> LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LedgerState ByronBlock mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LedgerState ByronBlock mk) -> String #

GetTip (Ticked (LedgerState ByronBlock)) #

Instance details

Methods

getTip :: forall (mk :: MapKind). Ticked (LedgerState ByronBlock) mk -> Point (Ticked (LedgerState ByronBlock)) Source #

HasLedgerTables (Ticked (LedgerState ByronBlock)) #

Instance details

Methods

projectLedgerTables :: forall (mk :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked (LedgerState ByronBlock) mk -> LedgerTables (Ticked (LedgerState ByronBlock)) mk Source #

withLedgerTables :: forall (mk :: MapKind) (any :: MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) => Ticked (LedgerState ByronBlock) any -> LedgerTables (Ticked (LedgerState ByronBlock)) mk -> Ticked (LedgerState ByronBlock) mk Source #

LedgerTablesAreTrivial (Ticked (LedgerState ByronBlock)) #

Instance details

Methods

convertMapKind :: forall (mk :: MapKind) (mk' :: MapKind). Ticked (LedgerState ByronBlock) mk -> Ticked (LedgerState ByronBlock) mk' Source #

ShowQuery (BlockQuery ByronBlock fp) #

Instance details

Methods

showResult :: BlockQuery ByronBlock fp result -> result -> String #

IndexedMemPack (LedgerState (HardForkBlock '[ByronBlock]) EmptyMK) Void #

Instance details

Methods

indexedPackedByteCount :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Void -> Int Source #

indexedPackM :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Void -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> Unpack s b Void Source #

indexedTypeName :: LedgerState (HardForkBlock '[ByronBlock]) EmptyMK -> String Source #

IndexedMemPack (LedgerState ByronBlock EmptyMK) Void #

Instance details

Methods

indexedPackedByteCount :: LedgerState ByronBlock EmptyMK -> Void -> Int Source #

indexedPackM :: LedgerState ByronBlock EmptyMK -> Void -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState ByronBlock EmptyMK -> Unpack s b Void Source #

indexedTypeName :: LedgerState ByronBlock EmptyMK -> String Source #

CardanoHardForkConstraints c => IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (CardanoTxOut c) #

Instance details

Methods

indexedPackedByteCount :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> CardanoTxOut c -> Int Source #

indexedPackM :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> CardanoTxOut c -> Pack s () Source #

indexedUnpackM :: Buffer b => forall s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> Unpack s b (CardanoTxOut c) Source #

indexedTypeName :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> String Source #

ShowProxy (BlockQuery ByronBlock) #

Instance details

Methods

showProxy :: Proxy (BlockQuery ByronBlock) -> String #

Eq (BlockQuery ByronBlock fp result) #

Instance details

Methods

(==) :: BlockQuery ByronBlock fp result -> BlockQuery ByronBlock fp result -> Bool Source #

(/=) :: BlockQuery ByronBlock fp result -> BlockQuery ByronBlock fp result -> Bool Source #

Generic (Ticked (LedgerState ByronBlock) mk) #

Instance details

Associated Types

type Rep (Ticked (LedgerState ByronBlock) mk)

Instance details

type Rep (Ticked (LedgerState ByronBlock) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition)))

Methods

from :: Ticked (LedgerState ByronBlock) mk -> Rep (Ticked (LedgerState ByronBlock) mk) x Source #

to :: Rep (Ticked (LedgerState ByronBlock) mk) x -> Ticked (LedgerState ByronBlock) mk Source #

Show (NestedCtxt_ ByronBlock f a) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

showsPrec :: Int -> NestedCtxt_ ByronBlock f a -> ShowS Source #

show :: NestedCtxt_ ByronBlock f a -> String Source #

showList :: [NestedCtxt_ ByronBlock f a] -> ShowS Source #

Show (BlockQuery ByronBlock fp result) #

Instance details

Methods

showsPrec :: Int -> BlockQuery ByronBlock fp result -> ShowS Source #

show :: BlockQuery ByronBlock fp result -> String Source #

showList :: [BlockQuery ByronBlock fp result] -> ShowS Source #

NoThunks (Ticked (LedgerState ByronBlock) mk) #

Instance details

Methods

noThunks :: Context -> Ticked (LedgerState ByronBlock) mk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Ticked (LedgerState ByronBlock) mk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Ticked (LedgerState ByronBlock) mk) -> String #

HasCanonicalTxIn '[ByronBlock] #

Instance details

Associated Types

newtype CanonicalTxIn '[ByronBlock]
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC newtype CanonicalTxIn '[ByronBlock] = ByronHFCTxIn { getByronHFCTxIn :: Void }

Methods

injectCanonicalTxIn :: Index '[ByronBlock] x -> TxIn (LedgerState x) -> CanonicalTxIn '[ByronBlock] Source #

ejectCanonicalTxIn :: Index '[ByronBlock] x -> CanonicalTxIn '[ByronBlock] -> TxIn (LedgerState x) Source #

HasHardForkTxOut '[ByronBlock] #

Instance details

Associated Types

type HardForkTxOut '[ByronBlock]
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC type HardForkTxOut '[ByronBlock] = Void

Methods

injectHardForkTxOut :: Index '[ByronBlock] x -> TxOut (LedgerState x) -> HardForkTxOut '[ByronBlock] Source #

ejectHardForkTxOut :: Index '[ByronBlock] x -> HardForkTxOut '[ByronBlock] -> TxOut (LedgerState x) Source #

txOutEjections :: NP ((K (NS WrapTxOut '[ByronBlock]) :: Type -> Type) -.-> WrapTxOut) '[ByronBlock] Source #

txOutTranslations :: Tails (Fn2 WrapTxOut) '[ByronBlock] Source #

BlockSupportsHFLedgerQuery '[ByronBlock] #

Instance details

Methods

answerBlockQueryHFLookup :: (All SingleEraBlock '[ByronBlock], Monad m) => Index '[ByronBlock] x -> ExtLedgerCfg x -> BlockQuery x 'QFLookupTables result -> ReadOnlyForker' m (HardForkBlock '[ByronBlock]) -> m result Source #

answerBlockQueryHFTraverse :: (All SingleEraBlock '[ByronBlock], Monad m) => Index '[ByronBlock] x -> ExtLedgerCfg x -> BlockQuery x 'QFTraverseTables result -> ReadOnlyForker' m (HardForkBlock '[ByronBlock]) -> m result Source #

queryLedgerGetTraversingFilter :: Index '[ByronBlock] x -> BlockQuery x 'QFTraverseTables result -> TxOut (LedgerState (HardForkBlock '[ByronBlock])) -> Bool Source #

SerialiseHFC '[ByronBlock] #

Instance details

Methods

encodeDiskHfcBlock :: CodecConfig (HardForkBlock '[ByronBlock]) -> HardForkBlock '[ByronBlock] -> Encoding Source #

decodeDiskHfcBlock :: CodecConfig (HardForkBlock '[ByronBlock]) -> forall s. Decoder s (ByteString -> Either DecoderError (HardForkBlock '[ByronBlock])) Source #

reconstructHfcPrefixLen :: proxy (Header (HardForkBlock '[ByronBlock])) -> PrefixLen Source #

reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock '[ByronBlock])) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock '[ByronBlock]) Source #

getHfcBinaryBlockInfo :: HardForkBlock '[ByronBlock] -> BinaryBlockInfo Source #

estimateHfcBlockSize :: Header (HardForkBlock '[ByronBlock]) -> SizeInBytes Source #

data ProtocolClientInfoArgs ByronBlockHFC Source #

Instance details

data ProtocolClientInfoArgs ByronBlockHFC = ProtocolClientInfoArgsByron EpochSlots

data ProtocolInfoArgs ByronBlockHFC Source #

Instance details

data ProtocolInfoArgs ByronBlockHFC = ProtocolInfoArgsByron ProtocolParamsByron

data BlockConfig ByronBlock #

Instance details

data BlockConfig ByronBlock = ByronConfig {

byronGenesisConfig :: !Config
byronProtocolVersion :: !ProtocolVersion
byronSoftwareVersion :: !SoftwareVersion

}

type BlockProtocol ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.PBFT

type BlockProtocol ByronBlock = PBft PBftByronCrypto

newtype CodecConfig ByronBlock #

Instance details

newtype CodecConfig ByronBlock = ByronCodecConfig {

getByronEpochSlots :: EpochSlots

}

data Header ByronBlock #

newtype StorageConfig ByronBlock #

Instance details

newtype StorageConfig ByronBlock = ByronStorageConfig {

getByronBlockConfig :: BlockConfig ByronBlock

}

type CannotForge ByronBlock #

Instance details

type CannotForge ByronBlock = PBftCannotForge PBftByronCrypto

type ForgeStateInfo ByronBlock #

Instance details

type ForgeStateInfo ByronBlock = ()

type ForgeStateUpdateError ByronBlock #

Instance details

type ForgeStateUpdateError ByronBlock = Void

data NestedCtxt_ ByronBlock f a #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

data NestedCtxt_ ByronBlock f a where

CtxtByronRegular :: !SizeInBytes -> NestedCtxt_ ByronBlock Header (AHeader ByteString)
CtxtByronBoundary :: !SizeInBytes -> NestedCtxt_ ByronBlock Header (SlotNo, RawBoundaryHeader)

type TentativeHeaderState ByronBlock #

Instance details

type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)

type TentativeHeaderView ByronBlock #

Instance details

type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)

type HardForkIndices ByronBlock #

Instance details

type HardForkIndices ByronBlock = '[ByronBlock]

type PartialLedgerConfig ByronBlock #

Instance details

type PartialLedgerConfig ByronBlock = ByronPartialLedgerConfig

type OtherHeaderEnvelopeError ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

type OtherHeaderEnvelopeError ByronBlock = ByronOtherHeaderEnvelopeError

type TipInfo ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

type TipInfo ByronBlock = TipInfoIsEBB ByronBlock

data LedgerState ByronBlock mk #

Instance details

data LedgerState ByronBlock mk = ByronLedgerState {

byronLedgerTipBlockNo :: !(WithOrigin BlockNo)
byronLedgerState :: !ChainValidationState
byronLedgerTransition :: !ByronTransition

}

type LedgerUpdate ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

type LedgerUpdate ByronBlock = ByronLedgerUpdate

type LedgerWarning ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

type LedgerWarning ByronBlock = Void

data BlockQuery ByronBlock fp result #

Instance details

data BlockQuery ByronBlock fp result where

GetUpdateInterfaceState :: BlockQuery ByronBlock 'QFNoTables State

type ApplyTxErr ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type ApplyTxErr ByronBlock = ApplyMempoolPayloadErr

data GenTx ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data GenTx ByronBlock

= ByronTx !TxId !(ATxAux ByteString)
| ByronDlg !CertificateId !(ACertificate ByteString)
| ByronUpdateProposal !UpId !(AProposal ByteString)
| ByronUpdateVote !VoteId !(AVote ByteString)

type TxMeasure ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type TxMeasure ByronBlock = IgnoringOverflow ByteSize32

type BlockNodeToClientVersion ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

type BlockNodeToClientVersion ByronBlock = ByronNodeToClientVersion

type BlockNodeToNodeVersion ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

type BlockNodeToNodeVersion ByronBlock = ByronNodeToNodeVersion

type HeaderHash ByronBlock #

Instance details

type HeaderHash ByronBlock = ByronHash

data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) Source #

Instance details

data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) = ProtocolClientInfoArgsCardano EpochSlots

data ProtocolInfoArgs (CardanoBlock StandardCrypto) Source #

Instance details

data ProtocolInfoArgs (CardanoBlock StandardCrypto) = ProtocolInfoArgsCardano (CardanoProtocolParams StandardCrypto)

type Rep (BlockConfig ByronBlock) #

Instance details

type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronGenesisConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Config) :*: (S1 ('MetaSel ('Just "byronProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "byronSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion))))

type Rep (CodecConfig ByronBlock) #

Instance details

type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))

type Rep (Header ByronBlock) #

Instance details

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SizeInBytes))))

type Rep (StorageConfig ByronBlock) #

Instance details

type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ByronStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronBlockConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BlockConfig ByronBlock))))

type Rep (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

type Rep (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type HardForkTxMeasure (CardanoEras c) #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = DijkstraMeasure

newtype CanonicalTxIn (CardanoEras c) #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn :: BigEndianTxIn

}

type HardForkTxOut (CardanoEras c) #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

newtype Validated (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

newtype Validated (GenTx ByronBlock) = ValidatedByronTx {

forgetValidatedByronTx :: GenTx ByronBlock

}

type AuxLedgerEvent (LedgerState ByronBlock) #

Instance details

type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

type LedgerCfg (LedgerState ByronBlock) #

Instance details

type LedgerCfg (LedgerState ByronBlock) = Config

type LedgerErr (LedgerState ByronBlock) #

Instance details

type LedgerErr (LedgerState ByronBlock) = ChainValidationError

data TxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data TxId (GenTx ByronBlock)

= ByronTxId !TxId
| ByronDlgId !CertificateId
| ByronUpdateProposalId !UpId
| ByronUpdateVoteId !VoteId

type TxIn (LedgerState ByronBlock) #

Instance details

type TxIn (LedgerState ByronBlock) = Void

type TxOut (LedgerState ByronBlock) #

Instance details

type TxOut (LedgerState ByronBlock) = Void

type Rep (LedgerState ByronBlock mk) #

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition))))

data Ticked (LedgerState ByronBlock) (mk :: MapKind) #

Instance details

data Ticked (LedgerState ByronBlock) (mk :: MapKind) = TickedByronLedgerState {

tickedByronLedgerState :: !ChainValidationState
untickedByronLedgerTransition :: !ByronTransition

}

type Rep (Ticked (LedgerState ByronBlock) mk) #

Instance details

type Rep (Ticked (LedgerState ByronBlock) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByronTransition)))

newtype CanonicalTxIn '[ByronBlock] #

Instance details

newtype CanonicalTxIn '[ByronBlock] = ByronHFCTxIn {

getByronHFCTxIn :: Void

}

type HardForkTxOut '[ByronBlock] #

Instance details

type HardForkTxOut '[ByronBlock] = Void

type family ChainDepState p Source #

Protocol-specific state

NOTE: This chain is blockchain dependent, i.e., updated when new blocks come in (more precisely, new headers), and subject to rollback.

Instances

Instances details

type ChainDepState (HardForkProtocol xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ChainDepState (HardForkProtocol xs) = HardForkChainDepState xs
type ChainDepState (Bft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type ChainDepState (Bft c) = ()
type ChainDepState (PBft c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type ChainDepState (PBft c) = PBftState c
type ChainDepState (Praos c) #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type ChainDepState (Praos c) = PraosState
type ChainDepState (TPraos c) #
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos type ChainDepState (TPraos c) = TPraosState
type ChainDepState (ModChainSel p t) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel type ChainDepState (ModChainSel p t) = ChainDepState p

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

Inject GenTx Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject :: forall x (xs :: [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => InjectionIndex xs x -> GenTx x -> GenTx (HardForkBlock xs) Source #

Isomorphic GenTx Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project :: NoHardForks blk => GenTx (HardForkBlock '[blk]) -> GenTx blk Source #

inject :: NoHardForks blk => GenTx blk -> GenTx (HardForkBlock '[blk]) Source #

SerialiseNodeToClient ByronBlock (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTx ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToClient ByronBlock (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source #

decodeNodeToClient :: CodecConfig ByronBlock -> BlockNodeToClientVersion ByronBlock -> forall s. Decoder s (GenTxId ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTx ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> GenTxId ByronBlock -> Encoding Source #

decodeNodeToNode :: CodecConfig ByronBlock -> BlockNodeToNodeVersion ByronBlock -> forall s. Decoder s (GenTxId ByronBlock) Source #

(Typeable era, Typeable proto) => ShowProxy (Validated (GenTx (ShelleyBlock proto era)) :: Type) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy :: Proxy (Validated (GenTx (ShelleyBlock proto era))) -> String #

Typeable xs => ShowProxy (GenTx (HardForkBlock xs) :: Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy :: Proxy (GenTx (HardForkBlock xs)) -> String #

(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a) :: Type) Source #

Instance details

Methods

showProxy :: Proxy (GenTx (DualBlock m a)) -> String #

ShowProxy (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy :: Proxy (GenTx ByronBlock) -> String #

(Typeable era, Typeable proto) => ShowProxy (GenTx (ShelleyBlock proto era) :: Type) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy :: Proxy (GenTx (ShelleyBlock proto era)) -> String #

Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)) :: Type) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String #

(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)) :: Type) Source #

Instance details

Methods

showProxy :: Proxy (TxId (GenTx (DualBlock m a))) -> String #

ShowProxy (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy :: Proxy (TxId (GenTx ByronBlock)) -> String #

(Typeable era, Typeable proto) => ShowProxy (TxId (GenTx (ShelleyBlock proto era)) :: Type) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

showProxy :: Proxy (TxId (GenTx (ShelleyBlock proto era))) -> String #

(ShelleyBasedEra era, TranslateEra era (Tx 'TopTx)) => TranslateEra era (GenTx :.: ShelleyBlock proto) #

Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

Associated Types

type TranslationError era (GenTx :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era (Tx 'TopTx)

Methods

translateEra :: TranslationContext era -> (GenTx :.: ShelleyBlock proto) (PreviousEra era) -> Except (TranslationError era (GenTx :.: ShelleyBlock proto)) ((GenTx :.: ShelleyBlock proto) era) Source #

ShelleyCompatible proto era => FromCBOR (GenTx (ShelleyBlock proto era)) #

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 #

ShelleyCompatible proto era => ToCBOR (GenTx (ShelleyBlock proto era)) #

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 #

(Typeable era, Typeable proto, Crypto (ProtoCrypto proto)) => DecCBOR (TxId (GenTx (ShelleyBlock proto era))) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

decCBOR :: Decoder s (TxId (GenTx (ShelleyBlock proto era))) Source #

dropCBOR :: Proxy (TxId (GenTx (ShelleyBlock proto era))) -> Decoder s () Source #

label :: Proxy (TxId (GenTx (ShelleyBlock proto era))) -> Text Source #

Crypto (ProtoCrypto proto) => EncCBOR (TxId (GenTx (ShelleyBlock proto era))) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

encCBOR :: TxId (GenTx (ShelleyBlock proto era)) -> Encoding Source #

CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: Validated (GenTx (HardForkBlock xs)) -> Validated (GenTx (HardForkBlock xs)) -> Bool Source #

(/=) :: Validated (GenTx (HardForkBlock xs)) -> Validated (GenTx (HardForkBlock xs)) -> Bool Source #

Eq (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: Validated (GenTx ByronBlock) -> Validated (GenTx ByronBlock) -> Bool Source #

(/=) :: Validated (GenTx ByronBlock) -> Validated (GenTx ByronBlock) -> Bool Source #

ShelleyBasedEra era => Eq (Validated (GenTx (ShelleyBlock proto era))) #

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 #

CanHardFork xs => Eq (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool Source #

(/=) :: GenTx (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Bool Source #

Eq (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source #

(/=) :: GenTx ByronBlock -> GenTx ByronBlock -> Bool Source #

ShelleyBasedEra era => Eq (GenTx (ShelleyBlock proto era)) #

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 #

CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

(/=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a))) Source #

Instance details

Methods

(==) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

(/=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

Eq (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(/=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

Eq (TxId (GenTx (ShelleyBlock proto era))) #

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 #

CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Ordering Source #

(<) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

(<=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

(>) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

(>=) :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> Bool Source #

max :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) Source #

min :: TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) -> TxId (GenTx (HardForkBlock xs)) Source #

Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a))) Source #

Instance details

Methods

compare :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Ordering Source #

(<) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

(<=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

(>) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

(>=) :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> Bool Source #

max :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) Source #

min :: TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) -> TxId (GenTx (DualBlock m a)) Source #

Ord (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

compare :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Ordering Source #

(<) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(<=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(>) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

(>=) :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> Bool Source #

max :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) Source #

min :: TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) -> TxId (GenTx ByronBlock) Source #

Ord (TxId (GenTx (ShelleyBlock proto era))) #

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 #

Generic (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

Methods

from :: Validated (GenTx (HardForkBlock xs)) -> Rep (Validated (GenTx (HardForkBlock xs))) x Source #

to :: Rep (Validated (GenTx (HardForkBlock xs))) x -> Validated (GenTx (HardForkBlock xs)) Source #

Generic (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

Methods

from :: Validated (GenTx ByronBlock) -> Rep (Validated (GenTx ByronBlock)) x Source #

to :: Rep (Validated (GenTx ByronBlock)) x -> Validated (GenTx ByronBlock) Source #

Generic (Validated (GenTx (ShelleyBlock proto era))) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx (ShelleyBlock proto era)))

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-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx 'TopTx era)))))

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 (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

Methods

from :: GenTx (HardForkBlock xs) -> Rep (GenTx (HardForkBlock xs)) x Source #

to :: Rep (GenTx (HardForkBlock xs)) x -> GenTx (HardForkBlock xs) Source #

Generic (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (GenTx ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

from :: GenTx ByronBlock -> Rep (GenTx ByronBlock) x Source #

to :: Rep (GenTx ByronBlock) x -> GenTx ByronBlock Source #

Generic (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Associated Types

type Rep (GenTx (ShelleyBlock proto era))

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-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx 'TopTx era))))

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 (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

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-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

Methods

from :: TxId (GenTx (HardForkBlock xs)) -> Rep (TxId (GenTx (HardForkBlock xs))) x Source #

to :: Rep (TxId (GenTx (HardForkBlock xs))) x -> TxId (GenTx (HardForkBlock xs)) Source #

CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> Validated (GenTx (HardForkBlock xs)) -> ShowS Source #

show :: Validated (GenTx (HardForkBlock xs)) -> String Source #

showList :: [Validated (GenTx (HardForkBlock xs))] -> ShowS Source #

Bridge m a => Show (Validated (GenTx (DualBlock m a))) Source #

Instance details

Methods

showsPrec :: Int -> Validated (GenTx (DualBlock m a)) -> ShowS Source #

show :: Validated (GenTx (DualBlock m a)) -> String Source #

showList :: [Validated (GenTx (DualBlock m a))] -> ShowS Source #

Show (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> Validated (GenTx ByronBlock) -> ShowS Source #

show :: Validated (GenTx ByronBlock) -> String Source #

showList :: [Validated (GenTx ByronBlock)] -> ShowS Source #

ShelleyBasedEra era => Show (Validated (GenTx (ShelleyBlock proto era))) #

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 #

CanHardFork xs => Show (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> GenTx (HardForkBlock xs) -> ShowS Source #

show :: GenTx (HardForkBlock xs) -> String Source #

showList :: [GenTx (HardForkBlock xs)] -> ShowS Source #

Bridge m a => Show (GenTx (DualBlock m a)) Source #

Instance details

Methods

showsPrec :: Int -> GenTx (DualBlock m a) -> ShowS Source #

show :: GenTx (DualBlock m a) -> String Source #

showList :: [GenTx (DualBlock m a)] -> ShowS Source #

Show (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> GenTx ByronBlock -> ShowS Source #

show :: GenTx ByronBlock -> String Source #

showList :: [GenTx ByronBlock] -> ShowS Source #

ShelleyBasedEra era => Show (GenTx (ShelleyBlock proto era)) #

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

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec :: Int -> GenTxId ByronBlock -> ShowS Source #

show :: GenTxId ByronBlock -> String Source #

showList :: [GenTxId ByronBlock] -> ShowS Source #

Show (GenTxId (ShelleyBlock proto era)) #

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 #

CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec :: Int -> TxId (GenTx (HardForkBlock xs)) -> ShowS Source #

show :: TxId (GenTx (HardForkBlock xs)) -> String Source #

showList :: [TxId (GenTx (HardForkBlock xs))] -> ShowS Source #

Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a))) Source #

Instance details

Methods

showsPrec :: Int -> TxId (GenTx (DualBlock m a)) -> ShowS Source #

show :: TxId (GenTx (DualBlock m a)) -> String Source #

showList :: [TxId (GenTx (DualBlock m a))] -> ShowS Source #

CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> Validated (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Validated (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Validated (GenTx (HardForkBlock xs))) -> String #

NoThunks (Validated (GenTx (DualBlock m a))) Source #

Instance details

Methods

noThunks :: Context -> Validated (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Validated (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Validated (GenTx (DualBlock m a))) -> String #

NoThunks (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> Validated (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Validated (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Validated (GenTx ByronBlock)) -> String #

ShelleyBasedEra era => NoThunks (Validated (GenTx (ShelleyBlock proto era))) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks :: Context -> Validated (GenTx (ShelleyBlock proto era)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Validated (GenTx (ShelleyBlock proto era)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Validated (GenTx (ShelleyBlock proto era))) -> String #

CanHardFork xs => NoThunks (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GenTx (HardForkBlock xs) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GenTx (HardForkBlock xs)) -> String #

NoThunks (GenTx (DualBlock m a)) Source #

Instance details

Methods

noThunks :: Context -> GenTx (DualBlock m a) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GenTx (DualBlock m a) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GenTx (DualBlock m a)) -> String #

NoThunks (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> GenTx ByronBlock -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GenTx ByronBlock -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GenTx ByronBlock) -> String #

ShelleyBasedEra era => NoThunks (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks :: Context -> GenTx (ShelleyBlock proto era) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GenTx (ShelleyBlock proto era) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (GenTx (ShelleyBlock proto era)) -> String #

CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs))) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

noThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TxId (GenTx (HardForkBlock xs)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TxId (GenTx (HardForkBlock xs))) -> String #

NoThunks (TxId (GenTx (DualBlock m a))) Source #

Instance details

Methods

noThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TxId (GenTx (DualBlock m a)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TxId (GenTx (DualBlock m a))) -> String #

NoThunks (TxId (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks :: Context -> TxId (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TxId (GenTx ByronBlock) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TxId (GenTx ByronBlock)) -> String #

NoThunks (TxId (GenTx (ShelleyBlock proto era))) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

noThunks :: Context -> TxId (GenTx (ShelleyBlock proto era)) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TxId (GenTx (ShelleyBlock proto era)) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TxId (GenTx (ShelleyBlock proto era))) -> String #

ConvertRawTxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

toRawTxIdHash :: TxId (GenTx ByronBlock) -> ShortByteString Source #

ShelleyBasedEra era => ConvertRawTxId (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

toRawTxIdHash :: TxId (GenTx (ShelleyBlock proto era)) -> ShortByteString Source #

CanHardFork xs => HasTxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

txId :: GenTx (HardForkBlock xs) -> TxId (GenTx (HardForkBlock xs)) Source #

Bridge m a => HasTxId (GenTx (DualBlock m a)) Source #

Instance details

Methods

txId :: GenTx (DualBlock m a) -> TxId (GenTx (DualBlock m a)) Source #

HasTxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

txId :: GenTx ByronBlock -> TxId (GenTx ByronBlock) Source #

ShelleyBasedEra era => HasTxId (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

txId :: GenTx (ShelleyBlock proto era) -> TxId (GenTx (ShelleyBlock proto era)) Source #

Condense (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense :: GenTx ByronBlock -> String Source #

ShelleyBasedEra era => Condense (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

condense :: GenTx (ShelleyBlock proto era) -> String Source #

Condense (GenTxId ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense :: GenTxId ByronBlock -> String Source #

Condense (GenTxId (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

Methods

condense :: GenTxId (ShelleyBlock proto era) -> String Source #

SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> forall s. Decoder s (GenTx (HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> GenTxId (HardForkBlock xs) -> Encoding Source #

decodeNodeToClient :: CodecConfig (HardForkBlock xs) -> BlockNodeToClientVersion (HardForkBlock xs) -> forall s. Decoder s (GenTxId (HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> GenTx (HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (GenTx (HardForkBlock xs)) Source #

SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> GenTxId (HardForkBlock xs) -> Encoding Source #

decodeNodeToNode :: CodecConfig (HardForkBlock xs) -> BlockNodeToNodeVersion (HardForkBlock xs) -> forall s. Decoder s (GenTxId (HardForkBlock xs)) Source #

ShelleyCompatible proto era => SerialiseNodeToClient (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) #

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 #

ShelleyCompatible proto era => SerialiseNodeToClient (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) #

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 => SerialiseNodeToNode (ShelleyBlock proto era) (GenTx (ShelleyBlock proto era)) #

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 => SerialiseNodeToNode (ShelleyBlock proto era) (GenTxId (ShelleyBlock proto era)) #

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 #

data GenTx ByronBlock #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data GenTx ByronBlock

= ByronTx !TxId !(ATxAux ByteString)
| ByronDlg !CertificateId !(ACertificate ByteString)
| ByronUpdateProposal !UpId !(AProposal ByteString)
| ByronUpdateVote !VoteId !(AVote ByteString)

type TranslationError era (GenTx :.: ShelleyBlock proto) #

Instance details

Defined in Ouroboros.Consensus.Shelley.ShelleyHFC

type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era (Tx 'TopTx)

type Rep (Validated (GenTx (HardForkBlock xs))) Source #

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-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

type Rep (Validated (GenTx ByronBlock)) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

type Rep (Validated (GenTx (ShelleyBlock proto era))) #

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-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx 'TopTx era)))))

type Rep (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

type Rep (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (GenTx (ShelleyBlock proto era)) #

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-3.0.0.0-l-cardano-af9592d6f64ab87e47c798dee6e1db964ebb0989a04b05617d48118746c0307b" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx 'TopTx era))))

type Rep (TxId (GenTx (HardForkBlock xs))) Source #

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-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

newtype Validated (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx :: OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a)) Source #

Instance details

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

newtype Validated (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

newtype Validated (GenTx ByronBlock) = ValidatedByronTx {

forgetValidatedByronTx :: GenTx ByronBlock

}

data Validated (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !TxId !(Validated (Tx 'TopTx era))

newtype GenTx (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx :: OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId :: OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a)) Source #

Instance details

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain :: GenTxId m

}

data TxId (GenTx ByronBlock) #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data TxId (GenTx ByronBlock)

= ByronTxId !TxId
| ByronDlgId !CertificateId
| ByronUpdateProposalId !UpId
| ByronUpdateVoteId !VoteId

newtype TxId (GenTx (ShelleyBlock proto era)) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId TxId

data GenTx (DualBlock m a) Source #

Instance details

FromJSON ShelleyGenesisStaking Source #

data GenTx (DualBlock m a) = DualGenTx {

dualGenTxMain :: GenTx m
dualGenTxAux :: GenTx a
dualGenTxBridge :: BridgeTx m a

}

data GenTx (ShelleyBlock proto era) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool

data GenTx (ShelleyBlock proto era) = ShelleyTx !TxId !(Tx 'TopTx era)

data EraMismatch Source #

Extra info for errors caused by applying a block, header, transaction, or query from one era to a ledger from a different era.

Constructors

EraMismatch
Fields ledgerEraName :: !Text Name of the era of the ledger (Byron or Shelley). otherEraName :: !Text Era of the block, header, transaction, or query.

Instances

Instances details

Error EraMismatch Source #

Instance details

Defined in Cardano.Api.Internal.Orphans.Misc

Methods

prettyError :: EraMismatch -> Doc ann Source #

Eq EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

(==) :: EraMismatch -> EraMismatch -> Bool Source #

(/=) :: EraMismatch -> EraMismatch -> Bool Source #

Generic EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Associated Types

type Rep EraMismatch

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

Methods

from :: EraMismatch -> Rep EraMismatch x Source #

to :: Rep EraMismatch x -> EraMismatch Source #

Show EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

showsPrec :: Int -> EraMismatch -> ShowS Source #

show :: EraMismatch -> String Source #

showList :: [EraMismatch] -> ShowS Source #

type Rep EraMismatch Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-3.0.0.0-e56c70450b32403f0bb2259cc50981ca64bfa88d12f9c25e984feb3f15259e4e" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

data PastHorizonException Source #

We tried to convert something that is past the horizon

That is, we tried to convert something that is past the point in time beyond which we lack information due to uncertainty about the next hard fork.

Instances

Instances details

Error PastHorizonException Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Misc Methods prettyError :: PastHorizonException -> Doc ann Source #
Exception PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods toException :: PastHorizonException -> SomeException Source # fromException :: SomeException -> Maybe PastHorizonException Source # displayException :: PastHorizonException -> String Source # backtraceDesired :: PastHorizonException -> Bool Source #
Show PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods showsPrec :: Int -> PastHorizonException -> ShowS Source # show :: PastHorizonException -> String Source # showList :: [PastHorizonException] -> ShowS Source #

class ConsensusProtocol p => PraosProtocolSupportsNode p #

Minimal complete definition

getPraosNonces, getOpCertCounters

Instances

Instances details

PraosCrypto c => PraosProtocolSupportsNode (Praos c) #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

Associated Types

type PraosProtocolSupportsNodeCrypto (Praos c)
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type PraosProtocolSupportsNodeCrypto (Praos c) = c

Methods

getPraosNonces :: proxy (Praos c) -> ChainDepState (Praos c) -> PraosNonces

getOpCertCounters :: proxy (Praos c) -> ChainDepState (Praos c) -> Map (KeyHash 'BlockIssuer) Word64 #

PraosCrypto c => PraosProtocolSupportsNode (TPraos c) #

Instance details

Defined in Ouroboros.Consensus.Protocol.TPraos

Associated Types

type PraosProtocolSupportsNodeCrypto (TPraos c)
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos type PraosProtocolSupportsNodeCrypto (TPraos c) = c

Methods

getPraosNonces :: proxy (TPraos c) -> ChainDepState (TPraos c) -> PraosNonces

getOpCertCounters :: proxy (TPraos c) -> ChainDepState (TPraos c) -> Map (KeyHash 'BlockIssuer) Word64 #

type family PraosProtocolSupportsNodeCrypto p #

Instances

Instances details

type PraosProtocolSupportsNodeCrypto (Praos c) #
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type PraosProtocolSupportsNodeCrypto (Praos c) = c
type PraosProtocolSupportsNodeCrypto (TPraos c) #
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos type PraosProtocolSupportsNodeCrypto (TPraos c) = c

data ShelleyGenesisStaking Source #

Genesis Shelley staking configuration.

This allows us to configure some initial stake pools and delegation to them, in order to test Praos in a static configuration, without requiring on-chain registration and delegation.

For simplicity, pools defined in the genesis staking do not pay deposits for their registration.

Constructors

ShelleyGenesisStaking

Fields

sgsPools :: ListMap (KeyHash 'StakePool) StakePoolParams
Pools to register
The key in this map is the hash of the public key of the _pool_. This need not correspond to any payment or staking key, but must correspond to the cold key held by TPraosIsCoreNode.
sgsStake :: ListMap (KeyHash 'Staking) (KeyHash 'StakePool)
Stake-holding key hash credentials and the pools to delegate that stake to. We require the raw staking key hash in order to:
- Avoid pointer addresses, which would be tricky when there's no slot or transaction to point to.
- Avoid script credentials.

Instances

Instances details

Instance details

Methods

parseJSON :: Value -> Parser ShelleyGenesisStaking #

parseJSONList :: Value -> Parser [ShelleyGenesisStaking] #

omittedField :: Maybe ShelleyGenesisStaking #

ToJSON ShelleyGenesisStaking Source #

Instance details

Methods

toJSON :: ShelleyGenesisStaking -> Value #

toEncoding :: ShelleyGenesisStaking -> Encoding #

toJSONList :: [ShelleyGenesisStaking] -> Value #

toEncodingList :: [ShelleyGenesisStaking] -> Encoding #

omitField :: ShelleyGenesisStaking -> Bool #

DecCBOR ShelleyGenesisStaking Source #

Instance details

Methods

decCBOR :: Decoder s ShelleyGenesisStaking Source #

dropCBOR :: Proxy ShelleyGenesisStaking -> Decoder s () Source #

label :: Proxy ShelleyGenesisStaking -> Text Source #

EncCBOR ShelleyGenesisStaking Source #

Instance details

ToKeyValuePairs ShelleyGenesisStaking Source #

Methods

encCBOR :: ShelleyGenesisStaking -> Encoding Source #

Instance details

Methods

toKeyValuePairs :: KeyValue e kv => ShelleyGenesisStaking -> [kv] Source #

NFData ShelleyGenesisStaking Source #

Instance details

Methods

rnf :: ShelleyGenesisStaking -> () Source #

Monoid ShelleyGenesisStaking Source #

Instance details

Semigroup ShelleyGenesisStaking Source #

Methods

mempty :: ShelleyGenesisStaking Source #

mappend :: ShelleyGenesisStaking -> ShelleyGenesisStaking -> ShelleyGenesisStaking Source #

mconcat :: [ShelleyGenesisStaking] -> ShelleyGenesisStaking Source #

Instance details

Methods

(<>) :: ShelleyGenesisStaking -> ShelleyGenesisStaking -> ShelleyGenesisStaking Source #

sconcat :: NonEmpty ShelleyGenesisStaking -> ShelleyGenesisStaking Source #

stimes :: Integral b => b -> ShelleyGenesisStaking -> ShelleyGenesisStaking Source #

Eq ShelleyGenesisStaking Source #

Instance details

Methods

(==) :: ShelleyGenesisStaking -> ShelleyGenesisStaking -> Bool Source #

(/=) :: ShelleyGenesisStaking -> ShelleyGenesisStaking -> Bool Source #

Generic ShelleyGenesisStaking Source #

Instance details

Associated Types

type Rep ShelleyGenesisStaking

Instance details

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.18.0.0-354459bdbb7674169916592cedcbeff697feec9edfefb98014ad7ca415f6a892" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just "sgsStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'Staking) (KeyHash 'StakePool)))))

Methods

from :: ShelleyGenesisStaking -> Rep ShelleyGenesisStaking x Source #

to :: Rep ShelleyGenesisStaking x -> ShelleyGenesisStaking Source #

Show ShelleyGenesisStaking Source #

Instance details

NoThunks ShelleyGenesisStaking Source #

Methods

showsPrec :: Int -> ShelleyGenesisStaking -> ShowS Source #

show :: ShelleyGenesisStaking -> String Source #

showList :: [ShelleyGenesisStaking] -> ShowS Source #

Instance details

Methods

noThunks :: Context -> ShelleyGenesisStaking -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> ShelleyGenesisStaking -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy ShelleyGenesisStaking -> String #

type Rep ShelleyGenesisStaking Source #

Instance details