type Rep (CodecConfig ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))

Methods

from ∷ CodecConfig ByronBlock → Rep (CodecConfig ByronBlock) x #

to ∷ Rep (CodecConfig ByronBlock) x → CodecConfig ByronBlock #

Generic (CodecConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (CodecConfig (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ CodecConfig (ShelleyBlock proto era) → Rep (CodecConfig (ShelleyBlock proto era)) x #

to ∷ Rep (CodecConfig (ShelleyBlock proto era)) x → CodecConfig (ShelleyBlock proto era) #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #

(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #

NoThunks (CodecConfig ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

Methods

noThunks ∷ Context → CodecConfig ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig ByronBlock) → String Source #

NoThunks (CodecConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (ShelleyBlock proto era)) → String Source #

newtype CodecConfig ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

newtype CodecConfig ByronBlock = ByronCodecConfig {

getByronEpochSlots ∷ EpochSlots

}

type Rep (CodecConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

type Rep (CodecConfig ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

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

type Rep (CodecConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype CodecConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a)

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data CodecConfig (DualBlock m a) = DualCodecConfig {

dualCodecConfigMain ∷ !(CodecConfig m)
dualCodecConfigAux ∷ !(CodecConfig a)

}

data CodecConfig (ShelleyBlock proto era) Source #

No particular codec configuration is needed for Shelley

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data CodecConfig (ShelleyBlock proto era) = ShelleyCodecConfig

data family StorageConfig blk Source #

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

Instances

Instances details

Isomorphic StorageConfig

Instance details

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

Methods

project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source #

inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source #

Generic (StorageConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

Methods

from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x #

to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) #

Generic (StorageConfig ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

Associated Types

type Rep (StorageConfig ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

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

Methods

from ∷ StorageConfig ByronBlock → Rep (StorageConfig ByronBlock) x #

to ∷ Rep (StorageConfig ByronBlock) x → StorageConfig ByronBlock #

Generic (StorageConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep (StorageConfig (ShelleyBlock proto era))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))

Methods

from ∷ StorageConfig (ShelleyBlock proto era) → Rep (StorageConfig (ShelleyBlock proto era)) x #

to ∷ Rep (StorageConfig (ShelleyBlock proto era)) x → StorageConfig (ShelleyBlock proto era) #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #

(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

noThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (DualBlock m a)) → String Source #

NoThunks (StorageConfig ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

Methods

noThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig ByronBlock) → String Source #

NoThunks (StorageConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (ShelleyBlock proto era)) → String Source #

newtype StorageConfig ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

newtype StorageConfig ByronBlock = ByronStorageConfig {

getByronBlockConfig ∷ BlockConfig ByronBlock

}

type Rep (StorageConfig (DualBlock m a))

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

type Rep (StorageConfig ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Config

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

type Rep (StorageConfig (ShelleyBlock proto era)) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))

newtype StorageConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a)

Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data StorageConfig (DualBlock m a) = DualStorageConfig {

dualStorageConfigMain ∷ !(StorageConfig m)
dualStorageConfigAux ∷ !(StorageConfig a)

}

data StorageConfig (ShelleyBlock proto era) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

data StorageConfig (ShelleyBlock proto era) = ShelleyStorageConfig {

shelleyStorageConfigSlotsPerKESPeriod ∷ !Word64
shelleyStorageConfigSecurityParam ∷ !SecurityParam

}

compactGenesis ∷ ShelleyGenesis → CompactGenesis Source #

Compacts the given ShelleyGenesis.

getCompactGenesis ∷ CompactGenesis → ShelleyGenesis Source #

mkShelleyBlockConfig ∷ ∀ proto era. ShelleyBasedEra era ⇒ ProtVer → ShelleyGenesis → [VKey 'BlockIssuer] → BlockConfig (ShelleyBlock proto era) Source #

opaque

data CompactGenesis Source #

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

Concretely:

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

Instances

Instances details

FromCBOR CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

fromCBOR ∷ Decoder s CompactGenesis Source #

label ∷ Proxy CompactGenesis → Text Source #

ToCBOR CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

toCBOR ∷ CompactGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactGenesis] → Size Source #

Generic CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Associated Types

type Rep CompactGenesis
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep CompactGenesis = D1 ('MetaData "CompactGenesis" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'True) (C1 ('MetaCons "CompactGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCompactGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

from ∷ CompactGenesis → Rep CompactGenesis x #

to ∷ Rep CompactGenesis x → CompactGenesis #

Show CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

showsPrec ∷ Int → CompactGenesis → ShowS #

show ∷ CompactGenesis → String #

showList ∷ [CompactGenesis] → ShowS #

Eq CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

(==) ∷ CompactGenesis → CompactGenesis → Bool #

(/=) ∷ CompactGenesis → CompactGenesis → Bool #

NoThunks CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

Methods

noThunks ∷ Context → CompactGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CompactGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy CompactGenesis → String Source #

type Rep CompactGenesis Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep CompactGenesis = D1 ('MetaData "CompactGenesis" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'True) (C1 ('MetaCons "CompactGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "getCompactGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Orphan instances

Generic (BlockConfig (ShelleyBlock proto era)) Source #

Instance details

Associated Types

type Rep (BlockConfig (ShelleyBlock proto era))

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Config

type Rep (BlockConfig (ShelleyBlock proto era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "shelleySystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)) :*: (S1 ('MetaSel ('Just "shelleyNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic) :*: (S1 ('MetaSel ('Just "shelleyBlockIssuerVKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer) (VKey 'BlockIssuer))) :*: S1 ('MetaSel ('Just "shelleyVRFTiebreakerFlavor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VRFTiebreakerFlavor)))))

Methods

from ∷ BlockConfig (ShelleyBlock proto era) → Rep (BlockConfig (ShelleyBlock proto era)) x #

to ∷ Rep (BlockConfig (ShelleyBlock proto era)) x → BlockConfig (ShelleyBlock proto era) #

Generic (CodecConfig (ShelleyBlock proto era)) Source #

Instance details

Associated Types

type Rep (CodecConfig (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-cardano-0.25.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))