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-cbe47ecdd78ec099b7c9f533b8e2d06e89ee5e3addc26db2003f25d930e0b6f8" '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-cbe47ecdd78ec099b7c9f533b8e2d06e89ee5e3addc26db2003f25d930e0b6f8" '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-11.3.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-11.3.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

nodeSystemStart :: ConfigSupportsNode blk => TopLevelConfig blk -> SystemStart Source #

Extract the network system start time from the node's top-level configuration.

Reexports from `ouroboros-consensus`

data BlockComponent blk a where Source #

Which component of the block to read from a database: the whole block, its header, its hash, the block size, ..., or combinations thereof.

NOTE: when requesting multiple components, we will not optimise/cache them.

Constructors

GetVerifiedBlock :: forall blk. BlockComponent blk blk	Verify the integrity of the block by checking its signature and/or hashes. The interpreter should throw an exception when the block does not pass the check.
GetBlock :: forall blk. BlockComponent blk blk
GetRawBlock :: forall blk. BlockComponent blk ByteString
GetHeader :: forall blk. BlockComponent blk (Header blk)
GetRawHeader :: forall blk. BlockComponent blk ByteString
GetHash :: forall blk. BlockComponent blk (HeaderHash blk)
GetSlot :: forall blk. BlockComponent blk SlotNo
GetIsEBB :: forall blk. BlockComponent blk IsEBB
GetBlockSize :: forall blk. BlockComponent blk SizeInBytes
GetHeaderSize :: forall blk. BlockComponent blk Word16
GetNestedCtxt :: forall blk. BlockComponent blk (SomeSecond (NestedCtxt Header) blk)
GetPure :: forall a blk. a -> BlockComponent blk a
GetApply :: forall blk a1 a. BlockComponent blk (a1 -> a) -> BlockComponent blk a1 -> BlockComponent blk a

Instances

Instances details

Applicative (BlockComponent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Common Methods pure :: a -> BlockComponent blk a Source # (<>) :: BlockComponent blk (a -> b) -> BlockComponent blk a -> BlockComponent blk b Source # liftA2 :: (a -> b -> c) -> BlockComponent blk a -> BlockComponent blk b -> BlockComponent blk c Source # (>) :: BlockComponent blk a -> BlockComponent blk b -> BlockComponent blk b Source # (<*) :: BlockComponent blk a -> BlockComponent blk b -> BlockComponent blk a Source #
Functor (BlockComponent blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Common Methods fmap :: (a -> b) -> BlockComponent blk a -> BlockComponent blk b Source # (<$) :: a -> BlockComponent blk b -> BlockComponent blk a Source #

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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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

getSystemStart, getNetworkMagic

type HardForkTxOut '[ByronBlock] = Void

type CardanoBlock c = HardForkBlock (CardanoEras c) #

data ChainDB (m :: Type -> Type) blk Source #

The chain database

The chain database provides a unified interface on top of:

The ImmutableDB, storing the part of the chain that can't roll back.
The VolatileDB, storing the blocks near the tip of the chain, possibly in multiple competing forks.
The LedgerDB, storing snapshots of the ledger state for blocks in the ImmutableDB (and in-memory snapshots for the rest).

In addition to providing a unifying interface on top of these disparate components, the main responsibilities that the ChainDB itself has are:

Chain selection (on initialization and whenever a block is added)
Trigger full recovery whenever we detect disk failure in any component
Provide iterators across fixed fragments of the current chain
Provide followers that track the status of the current chain

The ChainDB instantiates all the various type parameters of these databases to conform to the unified interface we provide here.

getBlockComponent :: ChainDB m blk -> forall b. BlockComponent blk b -> RealPoint blk -> m (Maybe b) Source #

Get the given component(s) of the block at the specified point. If there is no block at the given point, Nothing is returned.

getCurrentLedger :: ChainDB m blk -> STM m (ExtLedgerState blk EmptyMK) Source #

Get current ledger

class ConfigSupportsNode blk Source #

The BlockConfig needs to contain some information in order to support running a node.

Minimal complete definition

Instances

Instances details

ConfigSupportsNode ByronBlock #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods getSystemStart :: BlockConfig ByronBlock -> SystemStart Source # getNetworkMagic :: BlockConfig ByronBlock -> NetworkMagic Source #
CanHardFork xs => ConfigSupportsNode (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node Methods getSystemStart :: BlockConfig (HardForkBlock xs) -> SystemStart Source # getNetworkMagic :: BlockConfig (HardForkBlock xs) -> NetworkMagic Source #
ConfigSupportsNode m => ConfigSupportsNode (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getSystemStart :: BlockConfig (DualBlock m a) -> SystemStart Source # getNetworkMagic :: BlockConfig (DualBlock m a) -> NetworkMagic Source #
ConfigSupportsNode (ShelleyBlock proto era) #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Common Methods getSystemStart :: BlockConfig (ShelleyBlock proto era) -> SystemStart Source # getNetworkMagic :: BlockConfig (ShelleyBlock proto era) -> NetworkMagic Source #

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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-l-cardano-f86c1f08ec538bbdd74f211c4ba323728cf5c84a255db435f9773273df9f421f" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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

HasHardForkHistory ByronBlock #

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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" '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.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

class HasHardForkHistory blk where Source #

Associated Types

type HardForkIndices blk :: [Type] Source #

Type level description of the hard fork shape

The Summary infrastructure does not care what the types in this list are, it just cares how many eras there are. The hard fork combinator will instantiate HardForkIndices to the types of the blocks involved in the hard fork, e.g., we might have something like

'[ByronBlock, ShelleyBlock, GoguenBlock]

Methods

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

Summary of the hard fork state

NOTE: HasHardForkHistory is the only abstraction that the consensus layer is aware in relation to potential hard forks, and is needed only for time translations (in block production and in the chain DB). It is independent from the hard fork combinator and can be used for blocks that never fork (in which case the Summary will be trivial) or indeed for blocks that do support transitions but do not use the hard fork combinator.

It is however useful to consider what this function means in the (typical) case that the hard fork combinator is used. The HFC introduces the concept of a partial ledger config, which is essentially the ledger config minus an EpochInfo. Whenever the HFC calls functions on the underlying ledger, it maintains enough state to be able to construct an EpochInfo on the fly and then combines that with the PartialLedgerConfig to get the full LedgerConfig. The config of the HFC itself however does not require an EpochInfo, and so the config that we pass here will not contain that EpochInfo (if it did, that would be strange: we'd be computing the Summary required to construct an EpochInfo while we already have one). Critically, the HFC implements hardForkSummary directly and does not call hardForkSummary in the underlying ledgers.

When running ledgers that are normally run using the HFC as standalone ledgers, then the LedgerConfig here must indeed already contain timing information, and so this function becomes little more than a projection (indeed, in this case the LedgerState should be irrelevant).

Instances

Instances details

Instance details

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 #

All SingleEraBlock xs => HasHardForkHistory (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type HardForkIndices (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type HardForkIndices (HardForkBlock xs) = xs

Methods

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

Bridge m a => HasHardForkHistory (DualBlock m a) Source #

Instance details

Associated Types

type HardForkIndices (DualBlock m a)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type HardForkIndices (DualBlock m a) = HardForkIndices m

Methods

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

HasHardForkHistory (ShelleyBlock proto era) #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger

Associated Types

type HardForkIndices (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type HardForkIndices (ShelleyBlock proto era) = '[ShelleyBlock proto era]

Methods

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

class (StandardHash b, Typeable b) => HasHeader b #

Minimal complete definition

getHeaderFields

Instances

Instances details

HasHeader ByronBlock #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields :: ByronBlock -> HeaderFields ByronBlock #
CanHardFork xs => HasHeader (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: Header (HardForkBlock xs) -> HeaderFields (Header (HardForkBlock xs)) #
HasHeader (Header ByronBlock) #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields :: Header ByronBlock -> HeaderFields (Header ByronBlock) #
ShelleyCompatible proto era => HasHeader (Header (ShelleyBlock proto era)) #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields :: Header (ShelleyBlock proto era) -> HeaderFields (Header (ShelleyBlock proto era)) #
CanHardFork xs => HasHeader (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods getHeaderFields :: HardForkBlock xs -> HeaderFields (HardForkBlock xs) #
(HasHeader (Header blk), StandardHash (HeaderWithTime blk), Typeable blk) => HasHeader (HeaderWithTime blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation Methods getHeaderFields :: HeaderWithTime blk -> HeaderFields (HeaderWithTime blk) #
Bridge m a => HasHeader (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualBlock m a -> HeaderFields (DualBlock m a) #
Bridge m a => HasHeader (DualHeader m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields :: DualHeader m a -> HeaderFields (DualHeader m a) #
ShelleyCompatible proto era => HasHeader (ShelleyBlock proto era) #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields :: ShelleyBlock proto era -> HeaderFields (ShelleyBlock proto era) #
(StandardHash b, Typeable b, Typeable k) => HasHeader (HeaderFields b) #
Instance details Defined in Ouroboros.Network.Block Methods getHeaderFields :: HeaderFields b -> HeaderFields (HeaderFields b) #

type family HeaderHash (b :: k) #

Instances

Instances details

type HeaderHash ByronBlock #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type HeaderHash ByronBlock = ByronHash
type HeaderHash RawBlockHash #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type type HeaderHash RawBlockHash = RawBlockHash
type HeaderHash (Header blk :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk :: Type) = HeaderHash blk
type HeaderHash (HardForkBlock xs :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type HeaderHash (HardForkBlock xs :: Type) = OneEraHash xs
type HeaderHash (HeaderWithTime blk :: Type) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation type HeaderHash (HeaderWithTime blk :: Type) = HeaderHash (Header blk)
type HeaderHash (SerialisedHeader blk :: Type) Source #	Only needed for the `ChainSyncServer`
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation type HeaderHash (SerialisedHeader blk :: Type) = HeaderHash blk
type HeaderHash (DualBlock m a :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type HeaderHash (DualBlock m a :: Type) = HeaderHash m
type HeaderHash (WithPoint blk b :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.API type HeaderHash (WithPoint blk b :: Type) = HeaderHash blk
type HeaderHash (Forker m l :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.Forker type HeaderHash (Forker m l :: Type) = HeaderHash l
type HeaderHash (ReadOnlyForker m l :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.Forker type HeaderHash (ReadOnlyForker m l :: Type) = HeaderHash l
type HeaderHash (ShelleyBlock proto era :: Type) #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type HeaderHash (ShelleyBlock proto era :: Type) = ShelleyHash
type HeaderHash (HeaderFields b :: Type) #
Instance details Defined in Ouroboros.Network.Block type HeaderHash (HeaderFields b :: Type) = HeaderHash b
type HeaderHash (Serialised block :: Type) #
Instance details Defined in Ouroboros.Network.Block type HeaderHash (Serialised block :: Type) = HeaderHash block
type HeaderHash (Ticked l :: k) Source #
Instance details Defined in Ouroboros.Consensus.Ticked type HeaderHash (Ticked l :: k) = HeaderHash l
type HeaderHash (LedgerDB m l blk :: Type) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.API type HeaderHash (LedgerDB m l blk :: Type) = HeaderHash blk
type HeaderHash (LedgerState blk :: MapKind -> Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk :: MapKind -> Type) = HeaderHash blk
type HeaderHash (ExtLedgerState blk :: MapKind -> Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended type HeaderHash (ExtLedgerState blk :: MapKind -> Type) = HeaderHash (LedgerState blk)
type HeaderHash (K (DbChangelog l) :: MapKind -> Type) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.DbChangelog type HeaderHash (K (DbChangelog l) :: MapKind -> Type) = HeaderHash l

data NodeKernel (m :: Type -> Type) addrNTN addrNTC blk #

Constructors

NodeKernel

Fields

getChainDB :: ChainDB m blk
getMempool :: Mempool m blk
getTopLevelConfig :: TopLevelConfig blk
getFetchClientRegistry :: FetchClientRegistry (ConnectionId addrNTN) (HeaderWithTime blk) blk m
getFetchMode :: STM m FetchMode
getGsmState :: STM m GsmState
getChainSyncHandles :: ChainSyncClientHandleCollection (ConnectionId addrNTN) m blk
getPeerSharingRegistry :: PeerSharingRegistry addrNTN m
getTracers :: Tracers m (ConnectionId addrNTN) addrNTC blk
setBlockForging :: [MkBlockForging m blk] -> m ()
getPeerSharingAPI :: PeerSharingAPI addrNTN StdGen m
getOutboundConnectionsState :: StrictTVar m OutboundConnectionsState
getDiffusionPipeliningSupport :: DiffusionPipeliningSupport
getBlockchainTime :: BlockchainTime m
getTxChannelsVar :: TxChannelsVar m (ConnectionId addrNTN) (GenTxId blk) (GenTx blk)
getSharedTxStateVar :: SharedTxStateVar m (ConnectionId addrNTN) (GenTxId blk) (GenTx blk)
getTxMempoolSem :: TxMempoolSem m

newtype OneEraHash (xs :: [k]) Source #

The hash for an era

This type is special: we don't use an NS here, because the hash by itself should not allow us to differentiate between eras. If it did, the size of the hash would necessarily have to increase, and that leads to trouble. So, the type parameter xs here is merely a phantom one, and we just store the underlying raw hash.

Constructors

OneEraHash
Fields getOneEraHash :: ShortByteString

Instances

Instances details

ToJSON (OneEraHash xs) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation Methods toJSON :: OneEraHash xs -> Value # toEncoding :: OneEraHash xs -> Encoding # toJSONList :: [OneEraHash xs] -> Value # toEncodingList :: [OneEraHash xs] -> Encoding # omitField :: OneEraHash xs -> Bool #
(Typeable k, Typeable xs) => FromCBOR (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods fromCBOR :: Decoder s (OneEraHash xs) Source # label :: Proxy (OneEraHash xs) -> Text Source #
(Typeable k, Typeable xs) => ToCBOR (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods toCBOR :: OneEraHash xs -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OneEraHash xs) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OneEraHash xs] -> Size Source #
NFData (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods rnf :: OneEraHash xs -> () Source #
Eq (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (/=) :: OneEraHash xs -> OneEraHash xs -> Bool Source #
Ord (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods compare :: OneEraHash xs -> OneEraHash xs -> Ordering Source # (<) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (<=) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (>) :: OneEraHash xs -> OneEraHash xs -> Bool Source # (>=) :: OneEraHash xs -> OneEraHash xs -> Bool Source # max :: OneEraHash xs -> OneEraHash xs -> OneEraHash xs Source # min :: OneEraHash xs -> OneEraHash xs -> OneEraHash xs Source #
Show (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec :: Int -> OneEraHash xs -> ShowS Source # show :: OneEraHash xs -> String Source # showList :: [OneEraHash xs] -> ShowS Source #
NoThunks (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks :: Context -> OneEraHash xs -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> OneEraHash xs -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (OneEraHash xs) -> String #
Condense (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense :: OneEraHash xs -> String Source #
Serialise (OneEraHash xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods encode :: OneEraHash xs -> Encoding decode :: Decoder s (OneEraHash xs) encodeList :: [OneEraHash xs] -> Encoding decodeList :: Decoder s [OneEraHash xs]

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 RealPoint blk Source #

Point of an actual block (i.e., not genesis)

Constructors

RealPoint !SlotNo !(HeaderHash blk)

Instances

Instances details

StandardHash blk => Eq (RealPoint blk) Source #

Instance details

Methods

(==) :: RealPoint blk -> RealPoint blk -> Bool Source #

(/=) :: RealPoint blk -> RealPoint blk -> Bool Source #

StandardHash blk => Ord (RealPoint blk) Source #

Instance details

Methods

compare :: RealPoint blk -> RealPoint blk -> Ordering Source #

(<) :: RealPoint blk -> RealPoint blk -> Bool Source #

(<=) :: RealPoint blk -> RealPoint blk -> Bool Source #

(>) :: RealPoint blk -> RealPoint blk -> Bool Source #

(>=) :: RealPoint blk -> RealPoint blk -> Bool Source #

max :: RealPoint blk -> RealPoint blk -> RealPoint blk Source #

min :: RealPoint blk -> RealPoint blk -> RealPoint blk Source #

Generic (RealPoint blk) Source #

Instance details

Associated Types

type Rep (RealPoint blk)

Instance details

type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-3.0.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))

Methods

from :: RealPoint blk -> Rep (RealPoint blk) x Source #

to :: Rep (RealPoint blk) x -> RealPoint blk Source #

StandardHash blk => Show (RealPoint blk) Source #

Instance details

Methods

showsPrec :: Int -> RealPoint blk -> ShowS Source #

show :: RealPoint blk -> String Source #

showList :: [RealPoint blk] -> ShowS Source #

(StandardHash blk, Typeable blk) => NoThunks (RealPoint blk) Source #

Instance details

Methods

noThunks :: Context -> RealPoint blk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> RealPoint blk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (RealPoint blk) -> String #

Condense (HeaderHash blk) => Condense (RealPoint blk) Source #

Instance details

Methods

condense :: RealPoint blk -> String Source #

type Rep (RealPoint blk) Source #

Instance details

FromJSON ShelleyGenesisStaking Source #

type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-3.0.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))

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.1.0-b3d5c12271ad45c50cf135a3639f4e87993de2e4501e1637a530cbb76a34db0b" '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

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.18.1.0-b3d5c12271ad45c50cf135a3639f4e87993de2e4501e1637a530cbb76a34db0b" '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)))))

data StandardCrypto Source #

The same crypto used on the net

Instances

Instances details

Crypto StandardCrypto Source #

Instance details

Defined in Cardano.Protocol.Crypto

Associated Types

type KES StandardCrypto
Instance details Defined in Cardano.Protocol.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto
Instance details Defined in Cardano.Protocol.Crypto type VRF StandardCrypto = PraosVRF

PraosCrypto StandardCrypto Source #

Instance details

Defined in Cardano.Protocol.TPraos.API

PraosCrypto StandardCrypto #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos

AgentCrypto StandardCrypto #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

Associated Types

type ACrypto StandardCrypto
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient type ACrypto StandardCrypto = StandardCrypto

(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 #

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 #

type KES StandardCrypto Source #

Instance details

Defined in Cardano.Protocol.Crypto

type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256

type VRF StandardCrypto Source #

Instance details

Defined in Cardano.Protocol.Crypto

type VRF StandardCrypto = PraosVRF

type ACrypto StandardCrypto #

Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type ACrypto StandardCrypto = StandardCrypto

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)

data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #

Instance details

data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolClientInfoArgsShelley

data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) Source #

Instance details

data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra) = ProtocolInfoArgsShelley ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer

data TopLevelConfig blk Source #

The top-level node configuration

Instances

Instances details

Isomorphic TopLevelConfig Source #

Projection/injection for TopLevelConfig

NOTE: We do not define one for LedgerConfig or ConsensusConfig, since we need the EraParams for their injections, which we can only derive if we have the top-level config.

Instance details

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

Methods

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

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

Generic (TopLevelConfig blk) Source #

Instance details

Associated Types

type Rep (TopLevelConfig blk)

Instance details

type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-3.0.1.0-fe666a6afd84f0ff8586a4e0c3c63fa45ab343959a9ba0ad1a50de70ba196952" 'False) (C1 ('MetaCons "TopLevelConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "topLevelConfigProtocol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConsensusConfig (BlockProtocol blk))) :*: (S1 ('MetaSel ('Just "topLevelConfigLedger") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerConfig blk)) :*: S1 ('MetaSel ('Just "topLevelConfigBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockConfig blk)))) :*: (S1 ('MetaSel ('Just "topLevelConfigCodec") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig blk)) :*: (S1 ('MetaSel ('Just "topLevelConfigStorage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig blk)) :*: S1 ('MetaSel ('Just "topLevelConfigCheckpoints") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CheckpointsMap blk))))))

Methods

from :: TopLevelConfig blk -> Rep (TopLevelConfig blk) x Source #

to :: Rep (TopLevelConfig blk) x -> TopLevelConfig blk Source #

(ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) => NoThunks (TopLevelConfig blk) Source #

Instance details

Methods

noThunks :: Context -> TopLevelConfig blk -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> TopLevelConfig blk -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (TopLevelConfig blk) -> String #

type Rep (TopLevelConfig blk) Source #

Instance details