Consensus modes

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

Instance details

Associated Types

type Rep EpochSlots

Instance details

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.1.0.0-7fb551a04b7ebd202180a636c363fd4c69d431c37908920ba820fedd2c0d0ade" '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

Instance details

Methods

readsPrec :: Int -> ReadS EpochSlots Source #

readList :: ReadS [EpochSlots] Source #

readPrec :: ReadPrec EpochSlots Source #

readListPrec :: ReadPrec [EpochSlots] Source #

Show EpochSlots

Instance details

Methods

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

show :: EpochSlots -> String Source #

showList :: [EpochSlots] -> ShowS Source #

FromCBOR EpochSlots

Instance details

Methods

fromCBOR :: Decoder s EpochSlots Source #

label :: Proxy EpochSlots -> Text Source #

ToCBOR EpochSlots

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

Instance details

Methods

decCBOR :: Decoder s EpochSlots Source #

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

label :: Proxy EpochSlots -> Text Source #

EncCBOR EpochSlots

Instance details

Methods

encCBOR :: EpochSlots -> Encoding Source #

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

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

Buildable EpochSlots

Instance details

Methods

build :: EpochSlots -> Builder

Eq EpochSlots

Instance details

Methods

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

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

Ord EpochSlots

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 #

NoThunks EpochSlots

Instance details

Methods

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

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

showTypeOf :: Proxy EpochSlots -> String #

type Rep EpochSlots

Instance details

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.1.0.0-7fb551a04b7ebd202180a636c363fd4c69d431c37908920ba820fedd2c0d0ade" '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.

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

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

Transactions in the consensus mode

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

Transaction in a consensus mode

data TxInMode where Source #

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

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

Constructors

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

Instances

Instances details

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

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

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

Transaction id in a consensus mode

data TxIdInMode where Source #

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

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

TODO Rename to TxIdInEra

Constructors

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

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

Transaction validation errors

data TxValidationError era where Source #

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

Constructors

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

Instances

Instances details

ToJSON (TxValidationError era) Source #

Instance details

Methods

toJSON :: TxValidationError era -> Value #

toEncoding :: TxValidationError era -> Encoding #

toJSONList :: [TxValidationError era] -> Value #

toEncodingList :: [TxValidationError era] -> Encoding #

omitField :: TxValidationError era -> Bool #

Generic (TxValidationError era) Source #

Instance details

Associated Types

type Rep (TxValidationError era)

Instance details

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

Methods

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

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

Show (TxValidationError era) Source #

Instance details

Methods

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

show :: TxValidationError era -> String Source #

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

type Rep (TxValidationError era) Source #

Instance details

type Rep (TxValidationError era) = D1 ('MetaData "TxValidationError" "Cardano.Api.Consensus.Internal.InMode" "cardano-api-10.17.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

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

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, m [BlockForging 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, m [BlockForging m ByronBlockHFC]) Source #

(CardanoHardForkConstraints StandardCrypto, IOLike 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), m [BlockForging m (CardanoBlock StandardCrypto)]) Source #

(IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra)) => 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), m [BlockForging m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)]) Source #

data family ProtocolInfoArgs blk Source #

Instances

Instances details

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

class RunNode blk => ProtocolClient blk where Source #

Node client support for each consensus protocol.

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

Associated Types

data ProtocolClientInfoArgs blk Source #

Methods

protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk Source #

Instances

Instances details

ProtocolClient ByronBlockHFC Source #

Instance details

Associated Types

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

Methods

protocolClientInfo :: ProtocolClientInfoArgs ByronBlockHFC -> ProtocolClientInfo ByronBlockHFC Source #

CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto) Source #

Instance details

Associated Types

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

Methods

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

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

Instance details

Associated Types

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

Methods

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

data family ProtocolClientInfoArgs blk Source #

Instances

Instances details

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

Reexports from `ouroboros-consensus`

data ByronBlock Source #

Byron block

We cache two bits of information:

We cache the slot number as this is not readily available for EBBs. Having it cached allows us to e.g. give a HasHeader instance.
We cache the hash as this is expensive to compute and we need it often.

Instances

Instances details

Show ByronBlock

Instance details

Methods

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

show :: ByronBlock -> String Source #

showList :: [ByronBlock] -> ShowS Source #

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 #

Eq ByronBlock

Instance details

ConvertRawHash ByronBlock

Methods

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

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

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

Methods

headerPrevHash :: Header ByronBlock -> ChainHash ByronBlock Source #

Condense ByronBlock

Instance details

Methods

condense :: ByronBlock -> String Source #

HasHeader ByronBlock

Instance details

Methods

getHeaderFields :: ByronBlock -> HeaderFields ByronBlock Source #

IOLike m => Protocol m ByronBlockHFC Source #

Run PBFT against the Byron ledger

Instance details

SerialiseNodeToClient ByronBlock ByronPartialLedgerConfig

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, m [BlockForging m ByronBlockHFC]) Source #

Instance details

Methods

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

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

StandardHash ByronBlock

Instance details

ShowProxy ByronBlock

Instance details

Methods

showProxy :: Proxy ByronBlock -> String Source #

(CardanoHardForkConstraints StandardCrypto, IOLike 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), m [BlockForging m (CardanoBlock StandardCrypto)]) Source #

ShowProxy (Header ByronBlock)

Instance details

Methods

showProxy :: Proxy (Header ByronBlock) -> String 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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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 #

Show (Header ByronBlock)

Instance details

Methods

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

show :: Header ByronBlock -> String Source #

showList :: [Header ByronBlock] -> ShowS 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 #

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 #

Condense (Header ByronBlock)

Instance details

Methods

condense :: Header ByronBlock -> String Source #

HasHeader (Header ByronBlock)

Instance details

Methods

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

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

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

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 => LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> Unpack b (CardanoTxOut c) Source #

indexedTypeName :: LedgerState (HardForkBlock (CardanoEras c)) EmptyMK -> String 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

Extended configuration we need for Byron

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

Byron header

See ByronBlock for comments on why we cache certain values.

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

Since the Byron header does not contain the size, we include it in the nested type instead.

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

data NestedCtxt_ ByronBlock f a where

CtxtByronRegular :: !SizeInBytes -> NestedCtxt_ ByronBlock Header (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

Generalized transactions in Byron

This is effectively the same as AMempoolPayload but we cache the transaction ID (a hash).

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data GenTx ByronBlock

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

type 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

type Rep (BlockConfig ByronBlock)

Instance details

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

type Rep (CodecConfig ByronBlock)

Instance details

type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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

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 HardForkTxMeasure (CardanoEras c)

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c)

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn :: TxIn

}

type HardForkTxOut (CardanoEras c)

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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)

The ticked Byron ledger state

Instance details

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

}

type Rep (Ticked (LedgerState ByronBlock) mk)

Instance details

type Rep (Ticked (LedgerState ByronBlock) mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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

getPraosNonces, getOpCertCounters

type HardForkTxOut '[ByronBlock] = Void

type family ChainDepState p Source #

Protocol-specific state

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

Instances

Instances details

type ChainDepState (HardForkProtocol xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol type ChainDepState (HardForkProtocol xs) = HardForkChainDepState xs
type ChainDepState (Bft c)
Instance details Defined in Ouroboros.Consensus.Protocol.BFT type ChainDepState (Bft c) = ()
type ChainDepState (PBft c)
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 s)
Instance details Defined in Ouroboros.Consensus.Protocol.ModChainSel type ChainDepState (ModChainSel p s) = 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
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
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 #
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a) :: Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (GenTx (DualBlock m a)) -> String Source #
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)) :: Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy (TxId (GenTx (DualBlock m a))) -> String Source #
Bridge m a => Show (Validated (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
Bridge m a => Show (GenTx (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> GenTx (DualBlock m a) -> ShowS Source # show :: GenTx (DualBlock m a) -> String Source # showList :: [GenTx (DualBlock m a)] -> ShowS Source #
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
NoThunks (Validated (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 (GenTx (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 (TxId (GenTx (DualBlock m a)))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 #
Bridge m a => HasTxId (GenTx (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods txId :: GenTx (DualBlock m a) -> TxId (GenTx (DualBlock m a)) Source #
data GenTx ByronBlock	Generalized transactions in Byron This is effectively the same as `AMempoolPayload` but we cache the transaction ID (a hash).
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data GenTx ByronBlock = ByronTx !TxId !(ATxAux ByteString) \| ByronDlg !CertificateId !(ACertificate ByteString) \| ByronUpdateProposal !UpId !(AProposal ByteString) \| ByronUpdateVote !VoteId !(AVote ByteString)
type TranslationError era (GenTx :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.27.0.0-98d4bbbb4794985db6f0fbc4f516e4cbc877408de54ac32fbd1eed03abfeb508" '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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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 era)))))
type Rep (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.27.0.0-98d4bbbb4794985db6f0fbc4f516e4cbc877408de54ac32fbd1eed03abfeb508" '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 ByronBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" 'False) ((C1 ('MetaCons "ByronTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxAux ByteString))) :+: C1 ('MetaCons "ByronDlg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 CertificateId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ACertificate ByteString)))) :+: (C1 ('MetaCons "ByronUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 UpId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AProposal ByteString))) :+: C1 ('MetaCons "ByronUpdateVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 VoteId) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AVote ByteString)))))
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-cardano-0.25.1.0-582e32434684e3551683d7670b1accb15b237e2048628eacef46fe86e338c4c7" '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 era))))
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.27.0.0-98d4bbbb4794985db6f0fbc4f516e4cbc877408de54ac32fbd1eed03abfeb508" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx :: OneEraValidatedGenTx xs }
data Validated (GenTx (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx { vDualGenTxMain :: Validated (GenTx m) vDualGenTxAux :: Validated (GenTx a) vDualGenTxBridge :: BridgeTx m a }
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 era))
newtype GenTx (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx :: OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId :: OneEraGenTxId xs }
newtype TxId (GenTx (DualBlock m a))
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual 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 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

Generic EraMismatch

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-0.27.0.0-98d4bbbb4794985db6f0fbc4f516e4cbc877408de54ac32fbd1eed03abfeb508" '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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

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

show :: EraMismatch -> String Source #

showList :: [EraMismatch] -> ShowS Source #

Eq EraMismatch

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras

Methods

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

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

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

data PastHorizonException Source #

We tried to convert something that is past the horizon

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

Instances

Instances details

Exception PastHorizonException
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods toException :: PastHorizonException -> SomeException Source # fromException :: SomeException -> Maybe PastHorizonException Source # displayException :: PastHorizonException -> String Source #
Show PastHorizonException
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 Source #

The node has Praos-aware code that inspects nonces in order to support some Cardano API queries that are crucial to the user exprience

The interface being used for that has grown and needs review, but we're adding to it here under time pressure. See https://github.com/IntersectMBO/cardano-node/issues/3864

Minimal complete definition

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

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

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

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

type family PraosProtocolSupportsNodeCrypto p Source #

Instances

Instances details

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

data ShelleyGenesisStaking Source #

Genesis Shelley staking configuration.

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

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

Constructors

ShelleyGenesisStaking

Fields

sgsPools :: ListMap (KeyHash 'StakePool) PoolParams
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

FromJSON ShelleyGenesisStaking

Instance details

ToJSON ShelleyGenesisStaking

Methods

parseJSON :: Value -> Parser ShelleyGenesisStaking #

parseJSONList :: Value -> Parser [ShelleyGenesisStaking] #

omittedField :: Maybe ShelleyGenesisStaking #

Instance details

Monoid ShelleyGenesisStaking

Methods

toJSON :: ShelleyGenesisStaking -> Value #

toEncoding :: ShelleyGenesisStaking -> Encoding #

toJSONList :: [ShelleyGenesisStaking] -> Value #

toEncodingList :: [ShelleyGenesisStaking] -> Encoding #

omitField :: ShelleyGenesisStaking -> Bool #

Instance details

Semigroup ShelleyGenesisStaking

Methods

mempty :: ShelleyGenesisStaking Source #

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

mconcat :: [ShelleyGenesisStaking] -> ShelleyGenesisStaking Source #

Instance details

Generic ShelleyGenesisStaking

Methods

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

sconcat :: NonEmpty ShelleyGenesisStaking -> ShelleyGenesisStaking Source #

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

Instance details

Associated Types

type Rep ShelleyGenesisStaking

Instance details

Show ShelleyGenesisStaking

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.16.0.0-c94e4acbae2c451b736d7fa131482fce1d6ffd0e83dcc66450421e4714554169" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) PoolParams)) :*: 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 #

Instance details

DecCBOR ShelleyGenesisStaking

Methods

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

show :: ShelleyGenesisStaking -> String Source #

showList :: [ShelleyGenesisStaking] -> ShowS Source #

Instance details

EncCBOR ShelleyGenesisStaking

Methods

decCBOR :: Decoder s ShelleyGenesisStaking Source #

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

label :: Proxy ShelleyGenesisStaking -> Text Source #

Instance details

Methods

encCBOR :: ShelleyGenesisStaking -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy ShelleyGenesisStaking -> Size Source #

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

Eq ShelleyGenesisStaking

Instance details

NoThunks ShelleyGenesisStaking

Methods

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

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

Instance details

Methods

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

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

showTypeOf :: Proxy ShelleyGenesisStaking -> String #

type Rep ShelleyGenesisStaking

Instance details