Cardano.Api.Consensus · cardano-api-11.7.0.0

Show TxValidationErrorInCardanoModeDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.InMode
ToJSON TxValidationErrorInCardanoModeDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.InMode

familytype family ChainDepStateProtocol era where

#

Equations

ChainDepStateProtocol ShelleyEra = TPraosState
ChainDepStateProtocol AllegraEra = TPraosState
ChainDepStateProtocol MaryEra = TPraosState
ChainDepStateProtocol AlonzoEra = TPraosState
ChainDepStateProtocol BabbageEra = PraosState
ChainDepStateProtocol ConwayEra = PraosState

familytype family ConsensusBlockForEra era where

#

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

familytype family ConsensusCryptoForBlock block where

#

Equations

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

datadata ConsensusModeParams where

#

Constructors

CardanoModeParams :: EpochSlots -> ConsensusModeParams

Instances1Show

Show ConsensusModeParamsDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Mode

familytype family ConsensusProtocol era where

#

Equations

ConsensusProtocol ShelleyEra = TPraos StandardCrypto
ConsensusProtocol AllegraEra = TPraos StandardCrypto
ConsensusProtocol MaryEra = TPraos StandardCrypto
ConsensusProtocol AlonzoEra = TPraos StandardCrypto
ConsensusProtocol BabbageEra = Praos StandardCrypto
ConsensusProtocol ConwayEra = Praos StandardCrypto
ConsensusProtocol DijkstraEra = Praos StandardCrypto

datadata BlockType blk where

#

Constructors

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

Instances2Eq, Show

Eq (BlockType blk)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
Show (BlockType blk)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

classclass (RunNode blk, IOLike m) => Protocol (m :: Type -> Type) blk where

#

Associated types

data family ProtocolInfoArgs (m :: Type -> Type) blk

Methods

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

Instances3Protocol

IOLike m => Protocol m ByronBlockHFCDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
(CardanoHardForkConstraints StandardCrypto, IOLike m, MonadKESAgent m) => Protocol m (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
(IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra), MonadKESAgent m) => Protocol m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

classclass RunNode blk => ProtocolClient blk where

#

Associated types

data family ProtocolClientInfoArgs blk

Methods

protocolClientInfo :: ProtocolClientInfoArgs blk -> ProtocolClientInfo blk

Instances3ProtocolClient

ProtocolClient ByronBlockHFCDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra) => ProtocolClient (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

familydata family ProtocolClientInfoArgs blk

#

Instances3ProtocolClientInfoArgs

data ProtocolClientInfoArgs ByronBlockHFC
- ProtocolClientInfoArgsByron EpochSlots
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolClientInfoArgs (CardanoBlock StandardCrypto)
- ProtocolClientInfoArgsCardano EpochSlots
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
- ProtocolClientInfoArgsShelley
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

constructorProtocolClientInfoArgsByron EpochSlots

#

constructorProtocolClientInfoArgsCardano EpochSlots

#

constructorProtocolClientInfoArgsShelley

#

familydata family ProtocolInfoArgs (m :: Type -> Type) blk

#

Instances3ProtocolInfoArgs

data ProtocolInfoArgs m ByronBlockHFC
- ProtocolInfoArgsByron ProtocolParamsByron
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolInfoArgs m (CardanoBlock StandardCrypto)
- ProtocolInfoArgsCardano (SomeHasFS m) (CardanoProtocolParams StandardCrypto)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
- ProtocolInfoArgsShelley (SomeHasFS m) ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

constructorProtocolInfoArgsByron ProtocolParamsByron

#

constructorProtocolInfoArgsCardano (SomeHasFS m) (CardanoProtocolParams StandardCrypto)

#

constructorProtocolInfoArgsShelley (SomeHasFS m) ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer

:: SomeHasFS m
-> ShelleyGenesis
-> ProtocolParamsShelleyBased StandardCrypto
-> ProtVer
-> R:ProtocolInfoArgsmHardForkBlock m

#

datadata SomeBlockType where

#

Constructors

SomeBlockType :: BlockType blk -> SomeBlockType

Instances1Show

Show SomeBlockTypeDefined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

newtypenewtype EpochSlots

#

Constructors

EpochSlots
- unEpochSlots :: Word64

Instances13Eq, Data, Ord, Read, Show, Generic, …

Eq EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Data EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Ord EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Read EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Show EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Generic EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
NoThunks EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
Buildable EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
FromCBOR EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
ToCBOR EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
DecCBOR EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
EncCBOR EpochSlotsDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots
type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Slotting.EpochSlots

datadata ShelleyGenesisStaking

#

Constructors

ShelleyGenesisStaking
- sgsPools :: ListMap (KeyHash StakePool) StakePoolParams
- sgsStake :: ListMap (KeyHash Staking) (KeyHash StakePool)

Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
Show ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
Generic ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
Semigroup ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
Monoid ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
NFData ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
FromJSON ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
ToJSON ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
NoThunks ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
DecCBOR ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
EncCBOR ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
ToKeyValuePairs ShelleyGenesisStakingDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis
type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" '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)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis

datadata StandardCrypto

#

The same crypto used on the net

Instances15Crypto, PraosCrypto, Protocol, FromCBOR, ToCBOR, ConvertLedgerEvent, …

Crypto StandardCryptoDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Crypto
PraosCrypto StandardCryptoDefined in cardano-protocol-tpraos-1.6.0.0 · Cardano.Protocol.TPraos.API
(CardanoHardForkConstraints StandardCrypto, IOLike m, MonadKESAgent m) => Protocol m (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
(IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra), MonadKESAgent m) => Protocol m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
FromCBOR (OCert StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
ToCBOR (OCert StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
ConvertLedgerEvent (HardForkBlock (CardanoEras StandardCrypto))Defined in cardano-api-11.7.0.0 · Cardano.Api.LedgerState.Internal.ConvertLedgerEvent
LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) ShelleyEra) => ProtocolClient (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Crypto
type VRF StandardCrypto = PraosVRFDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Crypto
data ProtocolInfoArgs m (CardanoBlock StandardCrypto)
- ProtocolInfoArgsCardano (SomeHasFS m) (CardanoProtocolParams StandardCrypto)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolInfoArgs m (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
- ProtocolInfoArgsShelley (SomeHasFS m) ShelleyGenesis (ProtocolParamsShelleyBased StandardCrypto) ProtVer
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolClientInfoArgs (CardanoBlock StandardCrypto)
- ProtocolClientInfoArgsCardano EpochSlots
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) ShelleyEra)
- ProtocolClientInfoArgsShelley
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

datadata NodeKernel (m :: Type -> Type) addrNTN addrNTC blk

#

Constructors

NodeKernel
- getChainDB :: ChainDB m blk
- getMempool :: Mempool m blk
- getTopLevelConfig :: TopLevelConfig blk
- getFetchClientRegistry :: FetchClientRegistry (ConnectionId addrNTN) (HeaderWithTime blk) blk m
- getKeepAliveRegistry :: KeepAliveRegistry (ConnectionId addrNTN) 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
- getPeerTxRegistry :: PeerTxRegistry m (ConnectionId addrNTN)
- getSharedTxStateVar :: SharedTxStateVar m (ConnectionId addrNTN) (GenTxId blk)
- getTxCountersVar :: TxSubmissionCountersVar m
- getTxDecisionPolicy :: TxDecisionPolicy

data familydata family Header blk

#

Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata RealPoint blk

#

Constructors

RealPoint !SlotNo !(HeaderHash blk)

Instances7Eq, Ord, Show, Generic, NoThunks, Condense, …

StandardHash blk => Eq (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
StandardHash blk => Ord (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
StandardHash blk => Show (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Generic (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
(StandardHash blk, Typeable blk) => NoThunks (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
Condense (HeaderHash blk) => Condense (RealPoint blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint
type Rep (RealPoint blk) = D1 ('MetaData "RealPoint" "Ouroboros.Consensus.Block.RealPoint" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "RealPoint" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderHash blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.RealPoint

datadata TopLevelConfig blk

#

Instances4Isomorphic, Generic, NoThunks, Rep

Isomorphic TopLevelConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (TopLevelConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
(ConsensusProtocol (BlockProtocol blk), NoThunks (LedgerConfig blk), NoThunks (BlockConfig blk), NoThunks (CodecConfig blk), NoThunks (StorageConfig blk), NoThunks (HeaderHash blk)) => NoThunks (TopLevelConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config
type Rep (TopLevelConfig blk) = D1 ('MetaData "TopLevelConfig" "Ouroboros.Consensus.Config" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config

newtypenewtype SecurityParam

#

Constructors

SecurityParam
- maxRollbacks :: NonZero Word64

Instances7Eq, Show, Generic, NoThunks, FromCBOR, ToCBOR, …

Eq SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
Show SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
Generic SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
NoThunks SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
FromCBOR SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
ToCBOR SecurityParamDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam
type Rep SecurityParam = D1 ('MetaData "SecurityParam" "Ouroboros.Consensus.Config.SecurityParam" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "SecurityParam" 'PrefixI 'True) (S1 ('MetaSel ('Just "maxRollbacks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonZero Word64))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Config.SecurityParam

classclass ConfigSupportsNode blk where

#

Instances2ConfigSupportsNode

CanHardFork xs => ConfigSupportsNode (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node · orphan
ConfigSupportsNode m => ConfigSupportsNode (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

classclass HasHardForkHistory blk where

#

Associated types

type family HardForkIndices blk :: [Type]

Methods

hardForkSummary :: LedgerConfig blk -> LedgerState blk mk -> Summary (HardForkIndices blk)

Instances2HasHardForkHistory

All SingleEraBlock xs => HasHardForkHistory (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => HasHardForkHistory (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata EraMismatch

#

Constructors

EraMismatch
- ledgerEraName :: !Text
- otherEraName :: !Text

Instances5Eq, Show, Generic, Error, Rep

Eq EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Show EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Generic EraMismatchDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Error EraMismatchDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Misc · orphan
type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype OneEraHash (xs :: [k])

#

Constructors

OneEraHash
- getOneEraHash :: ShortByteString

Instances10Eq, Ord, Show, NFData, ToJSON, Serialise, …

Eq (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Ord (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Show (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
NFData (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
ToJSON (OneEraHash xs)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
Serialise (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
NoThunks (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
(Typeable k, Typeable xs) => FromCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
(Typeable k, Typeable xs) => ToCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
Condense (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras

newtypenewtype PerEraLedgerConfig (xs :: [Type])

#

Constructors

PerEraLedgerConfig
- getPerEraLedgerConfig :: NP WrapPartialLedgerConfig xs

Instances3Show, NoThunks, SerialiseNodeToClient

CanHardFork xs => Show (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
CanHardFork xs => NoThunks (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan

datadata HardForkLedgerConfig (xs :: [Type])

#

Constructors

HardForkLedgerConfig
- hardForkLedgerConfigShape :: !Shape xs
- hardForkLedgerConfigPerEra :: !PerEraLedgerConfig xs

Instances5Show, Generic, NoThunks, SerialiseNodeToClient, Rep

Show (PerEraLedgerConfig xs) => Show (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
Generic (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => NoThunks (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HardForkLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkLedgerConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkLedgerConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraLedgerConfig xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics

newtypenewtype WrapPartialLedgerConfig blk

#

Constructors

WrapPartialLedgerConfig
- unwrapPartialLedgerConfig :: PartialLedgerConfig blk

Instances3SerialiseNodeToClient, Show, NoThunks

SerialiseNodeToClient blk (PartialLedgerConfig blk) => SerialiseNodeToClient blk (WrapPartialLedgerConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.PartialConfig
Show (PartialLedgerConfig xs) => Show (WrapPartialLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras · orphan
NoThunks (PartialLedgerConfig blk) => NoThunks (WrapPartialLedgerConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.PartialConfig

datadata PastHorizonException

#

Instances3Show, Exception, Error

Show PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Exception PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Error PastHorizonExceptionDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Misc · orphan

valueledgerState :: ExtLedgerState blk mk -> LedgerState blk mk

#

data familydata family GenTx blk

#

Instances48Inject, Isomorphic, ShowProxy, Eq, Ord, Show, …

Inject GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Typeable xs => ShowProxy (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All CondenseConstraints xs => Condense (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data GenTx (HardForkBlock xs)
- HardForkGenTxgetHardForkGenTx :: OneEraGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data GenTx (DualBlock m a)
- DualGenTxdualGenTxMain :: GenTx mdualGenTxAux :: GenTx adualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorByronDlg !CertificateId !(ACertificate ByteString)

#

constructorByronTx !TxId !(ATxAux ByteString)

#

constructorByronUpdateProposal !UpId !(AProposal ByteString)

#

constructorByronUpdateVote !VoteId !(AVote ByteString)

#

methodtxId :: tx -> TxId tx

#

familytype family ChainDepState p

#

Instances4ChainDepState

type ChainDepState (HardForkProtocol xs) = HardForkChainDepState xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type ChainDepState (Bft c) = ()Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
type ChainDepState (ModChainSel p t) = ChainDepState pDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
type ChainDepState (PBft c) = PBftState cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

datadata ChainDB (m :: Type -> Type) blk

#

valuegetBlockComponent

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

#

valuegetCurrentLedger :: ChainDB m blk -> STM m (ExtLedgerState blk EmptyMK)

#

valuegetTipHeader :: ChainDB m blk -> m (Maybe (Header blk))

#

valuenewFollower

:: ChainDB m blk
-> forall b. ResourceRegistry m -> ChainType -> BlockComponent blk b -> m (Follower m blk b)

#

datadata ChainType

#

SelectedChain TentativeChain

Instances4Eq, Show, Generic, Rep

Eq ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Show ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Generic ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type Rep ChainType = D1 ('MetaData "ChainType" "Ouroboros.Consensus.Storage.ChainDB.API" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "SelectedChain" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TentativeChain" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata Follower (m :: Type -> Type) blk a

#

Constructors

Follower
- followerInstruction :: m (Maybe (ChainUpdate blk a))
- followerInstructionBlocking :: m (ChainUpdate blk a)
- followerForward :: [Point blk] -> m (Maybe (Point blk))
- followerClose :: m ()

Instances1Functor

Functor m => Functor (Follower m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API

datadata BlockComponent blk a where

#

Constructors

GetVerifiedBlock :: BlockComponent blk blk
GetBlock :: BlockComponent blk blk
GetRawBlock :: BlockComponent blk ByteString
GetHeader :: BlockComponent blk (Header blk)
GetRawHeader :: BlockComponent blk ByteString
GetHash :: BlockComponent blk (HeaderHash blk)
GetSlot :: BlockComponent blk SlotNo
GetIsEBB :: BlockComponent blk IsEBB
GetBlockSize :: BlockComponent blk SizeInBytes
GetHeaderSize :: BlockComponent blk Word16
GetNestedCtxt :: BlockComponent blk (SomeSecond (NestedCtxt Header) blk)
GetPure :: a -> BlockComponent blk a
GetApply :: BlockComponent blk (a1 -> a) -> BlockComponent blk a1 -> BlockComponent blk a

Instances2Functor, Applicative

Functor (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
Applicative (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common

methodcondense :: a -> String

#

datadata ByronPartialLedgerConfig

#

Constructors

ByronPartialLedgerConfig
- byronLedgerConfig :: !LedgerConfig ByronBlock
- byronTriggerHardFork :: !TriggerHardFork

datadata ByronBlock

#

Instances1ConvertLedgerEvent

ConvertLedgerEvent ByronBlockDefined in cardano-api-11.7.0.0 · Cardano.Api.LedgerState.Internal.ConvertLedgerEvent

valuebyronBlockRaw :: ByronBlock -> ABlockOrBoundary ByteString

#

valuebyronGenesis :: ProtocolParamsByron -> Config

#

typetype CardanoBlock c = HardForkBlock (CardanoEras c)

#

Instances4Protocol, ProtocolClient, ProtocolInfoArgs, ProtocolClientInfoArgs

(CardanoHardForkConstraints StandardCrypto, IOLike m, MonadKESAgent m) => Protocol m (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto)Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolInfoArgs m (CardanoBlock StandardCrypto)
- ProtocolInfoArgsCardano (SomeHasFS m) (CardanoProtocolParams StandardCrypto)
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol
data ProtocolClientInfoArgs (CardanoBlock StandardCrypto)
- ProtocolClientInfoArgsCardano EpochSlots
Defined in cardano-api-11.7.0.0 · Cardano.Api.Consensus.Internal.Protocol

valuebyronProtocolParams :: CardanoProtocolParams c -> ProtocolParamsByron

#

valuecardanoLedgerTransitionConfig

:: CardanoProtocolParams c
-> TransitionConfig LatestKnownEra

#

valueshelleyLedgerTranslationContext

:: ShelleyLedgerConfig era
-> TranslationContext era

#

datadata ShelleyPartialLedgerConfig era

#

Constructors

ShelleyPartialLedgerConfig
- shelleyLedgerConfig :: !ShelleyLedgerConfig era
- shelleyTriggerHardFork :: !TriggerHardFork

classclass ConsensusProtocol p => PraosProtocolSupportsNode p where

#

Associated types

type family PraosProtocolSupportsNodeCrypto p

Methods

getOpCertCounters :: proxy p -> ChainDepState p -> Map (KeyHash BlockIssuer) Word64

datadata ChainUpdate (block :: k) a

#

Constructors

AddBlock a
RollBack (Point block)

classclass (StandardHash b, Typeable b) => HasHeader b where

#

Instances5HasHeader

CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
(HasHeader (Header blk), StandardHash (HeaderWithTime blk), Typeable blk) => HasHeader (HeaderWithTime blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
Bridge m a => HasHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

familytype family HeaderHash (b :: k)

#

Instances12HeaderHash, …

type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type HeaderHash (HardForkBlock xs) = OneEraHash xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type HeaderHash (HeaderWithTime blk) = HeaderHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
type HeaderHash (LedgerState blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
type HeaderHash (DualBlock m a) = HeaderHash mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type HeaderHash (ExtLedgerState blk) = HeaderHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
type HeaderHash (WithPoint blk b) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
type HeaderHash (LedgerDB m l blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.API
type HeaderHash (Forker m l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
type HeaderHash (ReadOnlyForker m l) = HeaderHash lDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
type HeaderHash (SerialisedHeader blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
type HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked

datadata ResourceRegistry (m :: Type -> Type)

#

Tracks resources during their lifetime.

Instances3Generic, NoThunks, Rep

Generic (ResourceRegistry m)Defined in resource-registry-0.3.0.0 · Control.ResourceRegistry
(forall a. NoThunks a => NoThunks (StrictTVar m a)) => NoThunks (ResourceRegistry m)Defined in resource-registry-0.3.0.0 · Control.ResourceRegistry
type Rep (ResourceRegistry m) = D1 ('MetaData "ResourceRegistry" "Control.ResourceRegistry" "resource-registry-0.3.0.0-7xXIu2toNVRF4qB02vw7Hc" 'False) (C1 ('MetaCons "ResourceRegistry" 'PrefixI 'True) (S1 ('MetaSel ('Just "registryContext") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Context m)) :*: S1 ('MetaSel ('Just "registryState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (RegistryState m)))))Defined in resource-registry-0.3.0.0 · Control.ResourceRegistry