Modulecardano-api-11.7.0.0
Cardano.Api.Query
- 25 types
- 67 values
- Packagecardano-api-11.7.0.0
- Exports104
- LicenceApache-2.0
value
queryChainBlockNo :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (WithOrigin BlockNo))value
queryChainPoint :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError ChainPoint)value
queryCurrentEra :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError AnyCardanoEra)value
queryEraHistory :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError EraHistory)value
queryLedgerConfig :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError (CardanoLedgerConfig StandardCrypto))value
querySystemStart :: LocalStateQueryExpr block point QueryInMode r IO (Either UnsupportedNtcVersionError SystemStart)Instances2Show, Error
Show QueryConvenienceErrorDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.ConvenienceError QueryConvenienceErrorDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Convenience
Constructors
Instances1Show
Show TxCurrentTreasuryValueDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Convenience
Constructors
Instances2ToJSON, FromCBOR
IsShelleyBasedEra era => ToJSON (DebugLedgerState era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DebugLedgerStateIsShelleyBasedEra era => FromCBOR (DebugLedgerState era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DebugLedgerState
Constructors
Instances4Eq, Show, FromJSON, ToJSON
Eq DelegationsAndRewardsDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DelegationsAndRewardsShow DelegationsAndRewardsDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DelegationsAndRewardsFromJSON DelegationsAndRewardsDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DelegationsAndRewardsToJSON DelegationsAndRewardsDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.DelegationsAndRewards
Constructors
Constructors
EraHistory :: CardanoBlock StandardCrypto ~ HardForkBlock xs => Interpreter xs -> EraHistory
Instances4HasTypeProxy, SerialiseAsCBOR, HasTextEnvelope, AsType
HasTypeProxy EraHistoryDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInModeSerialiseAsCBOR EraHistoryDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInModeHasTextEnvelope EraHistoryDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInModedata AsType EraHistoryAsEraHistory
Constructors
Constructors
Constructors
Constructors
Constructors
QueryByronUpdateState :: QueryInEra ByronEra ByronUpdateStateQueryInShelleyBasedEra :: ShelleyBasedEra era -> QueryInShelleyBasedEra era result -> QueryInEra era result
Instances1Show
Show (QueryInEra era result)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
QueryCurrentEra :: QueryInMode AnyCardanoEraQueryInEra :: QueryInEra era result1 -> QueryInMode (Either EraMismatch result1)QueryEraHistory :: QueryInMode EraHistoryQuerySystemStart :: QueryInMode SystemStartQueryChainBlockNo :: QueryInMode (WithOrigin BlockNo)QueryChainPoint :: QueryInMode ChainPointQueryLedgerConfig :: QueryInMode (HardForkLedgerConfig (CardanoEras StandardCrypto))
Instances1Show
Show (QueryInMode result)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
QueryEpoch :: QueryInShelleyBasedEra era EpochNoQueryGenesisParameters :: QueryInShelleyBasedEra era (GenesisParameters ShelleyEra)QueryProtocolParameters :: QueryInShelleyBasedEra era (PParams (ShelleyLedgerEra era))QueryStakeDistribution :: QueryInShelleyBasedEra era (Map (Hash StakePoolKey) Rational)QueryUTxO :: QueryUTxOFilter -> QueryInShelleyBasedEra era (UTxO era)QueryStakeAddresses :: Set StakeCredential -> NetworkId -> QueryInShelleyBasedEra era (Map StakeAddress Coin, Map StakeAddress PoolId)QueryStakePools :: QueryInShelleyBasedEra era (Set PoolId)QueryStakePoolParameters :: Set PoolId -> QueryInShelleyBasedEra era (Map PoolId StakePoolParameters)QueryDebugLedgerState :: QueryInShelleyBasedEra era (SerialisedDebugLedgerState era)QueryProtocolState :: QueryInShelleyBasedEra era (ProtocolState era)QueryCurrentEpochState :: QueryInShelleyBasedEra era (SerialisedCurrentEpochState era)QueryPoolState :: Maybe (Set PoolId) -> QueryInShelleyBasedEra era SerialisedPoolStateQueryPoolDistribution :: Maybe (Set PoolId) -> QueryInShelleyBasedEra era (Serialised (PoolDistribution era))QueryStakeSnapshot :: Maybe (Set PoolId) -> QueryInShelleyBasedEra era (SerialisedStakeSnapshots era)QueryStakeDelegDeposits :: Set StakeCredential -> QueryInShelleyBasedEra era (Map StakeCredential Coin)QueryAccountState :: QueryInShelleyBasedEra era ChainAccountStateQueryConstitution :: QueryInShelleyBasedEra era (Constitution (ShelleyLedgerEra era))QueryGovState :: QueryInShelleyBasedEra era (GovState (ShelleyLedgerEra era))QueryRatifyState :: QueryInShelleyBasedEra era (RatifyState (ShelleyLedgerEra era))QueryFuturePParams :: QueryInShelleyBasedEra era (Maybe (PParams (ShelleyLedgerEra era)))QueryDRepState :: Set (Credential DRepRole) -> QueryInShelleyBasedEra era (Map (Credential DRepRole) DRepState)QueryDRepStakeDistr :: Set DRep -> QueryInShelleyBasedEra era (Map DRep Coin)QuerySPOStakeDistr :: Set (KeyHash StakePool) -> QueryInShelleyBasedEra era (Map (KeyHash StakePool) Coin)QueryCommitteeMembersState :: Set (Credential ColdCommitteeRole) -> Set (Credential HotCommitteeRole) -> Set MemberStatus -> QueryInShelleyBasedEra era CommitteeMembersStateQueryStakeVoteDelegatees :: Set StakeCredential -> QueryInShelleyBasedEra era (Map StakeCredential DRep)QueryProposals :: Set GovActionId -> QueryInShelleyBasedEra era (Seq (GovActionState (ShelleyLedgerEra era)))QueryLedgerPeerSnapshot :: SingLedgerPeersKind ledgerPeersKind -> QueryInShelleyBasedEra era (LedgerPeerSnapshot ledgerPeersKind)QueryStakePoolDefaultVote :: KeyHash StakePool -> QueryInShelleyBasedEra era DefaultVoteGetDRepDelegations :: Set DRep -> QueryInShelleyBasedEra era (Map DRep (Set (Credential Staking)))
Instances1Show
Show (QueryInShelleyBasedEra era result)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
Instances2Eq, Show
Eq QueryUTxOFilterDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInModeShow QueryUTxOFilterDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
Constructors
Constructors
Constructors
Constructors
Constructors
Constructors
Instances2DecCBOR, EncCBOR
Typeable era => DecCBOR (StakeSnapshot era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInModeEncCBOR (StakeSnapshot era)Defined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
UTxOInAnyEra :: CardanoEra era -> UTxO era -> UTxOInAnyEra
Instances1Show
Show UTxOInAnyEraDefined in cardano-api-11.7.0.0 · Cardano.Api.Query.Internal.Type.QueryInMode
Constructors
Instances9Eq, Ord, Show, Generic, ToJSON, DecCBOR, …
Eq CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceOrd CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceShow CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceGeneric CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceToJSON CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceDecCBOR CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceEncCBOR CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceToKeyValuePairs CommitteeMembersStateDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.Governancetype Rep CommitteeMembersState = D1 ('MetaDataDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.Governance"CommitteeMembersState"
"Cardano.Ledger.Api.State.Query.Governance"
"cardano-ledger-api-1.14.0.0-3LOnNQbShFt3uw91qYK4BI"
'False) (C1 ('MetaCons"CommitteeMembersState"
'PrefixI 'True) (S1 ('MetaSel ('Just"csCommittee"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential ColdCommitteeRole) CommitteeMemberState)) :*: (S1 ('MetaSel ('Just"csThreshold"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe UnitInterval)) :*: S1 ('MetaSel ('Just"csEpochNo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))))
Instances10Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceEnum MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceEq MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceOrd MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceShow MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceGeneric MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceToJSON MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceDecCBOR MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.GovernanceEncCBOR MemberStatusDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.Governancetype Rep MemberStatus = D1 ('MetaDataDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.State.Query.Governance"MemberStatus"
"Cardano.Ledger.Api.State.Query.Governance"
"cardano-ledger-api-1.14.0.0-3LOnNQbShFt3uw91qYK4BI"
'False) (C1 ('MetaCons"Active"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"Expired"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Unrecognized"
'PrefixI 'False) U1))
Constructors
Instances12Eq, Show, Generic, FromJSON, ToJSON, Serialise, …
Eq SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeShow SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeGeneric SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeFromJSON SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeToJSON SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeSerialise SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeNoThunks SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeFromCBOR SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeToCBOR SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.TimeDecCBOR SystemStartDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR SystemStartDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep SystemStart = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time"SystemStart"
"Cardano.Slotting.Time"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"SystemStart"
'PrefixI 'True) (S1 ('MetaSel ('Just"getSystemStart"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))
Instances39ApplyBlock, CanUpgradeLedgerTables, IsLedger, SerializeTablesWithHint, IndexedMemPack, CanStowLedgerTables, …
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => ApplyBlock LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphanCanHardFork xs => IsLedger LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan(Bridge m a, HasLedgerTables LedgerState m) => HasLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualBridge m a => ApplyBlock LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanUpgradeLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualBridge m a => IsLedger LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) => SerializeTablesWithHint LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(txout ~ TxOut m, IndexedMemPack LedgerState m txout) => IndexedMemPack LedgerState (DualBlock m a) txoutDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => GetTip (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphanBridge m a => GetTip (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanStowLedgerTables (LedgerState m) => CanStowLedgerTables (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualAll (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphanSerialiseHFC xs => EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan(Bridge m a, EqMK mk) => Eq (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(EqMK mk, CanHardFork xs) => Eq (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics(Bridge m a, ShowMK mk) => Show (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(ShowMK mk, CanHardFork xs) => Show (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.BasicsNoThunks (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual(NoThunksMK mk, CanHardFork xs) => NoThunks (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.BasicsStandardHash blk => StandardHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualCanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphanBridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualNoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.DualInject (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.NaryIsomorphic (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unarytype HeaderHash (LedgerState blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basicsdata Ticked LedgerState (HardForkBlock xs)TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
data Ticked LedgerState (DualBlock m a)TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
data LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basicsdata LedgerState (DualBlock m a)DualLedgerStatedualLedgerStateMain :: LedgerState m mkdualLedgerStateAux :: LedgerState a ValuesMKdualLedgerStateBridge :: BridgeLedger m a
type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basicstype LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dualtype LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphantype LedgerErr LedgerState (DualBlock m a) = DualLedgerError m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Fields
hardForkLedgerStatePerEra :: HardForkState (Flip LedgerState mk) xs
Fields
byronLedgerTipBlockNo :: !WithOrigin BlockNobyronLedgerState :: !ChainValidationStatebyronLedgerTransition :: !ByronTransition
pattern
pattern LedgerStateAllegra :: LedgerState (ShelleyBlock (TPraos c) AllegraEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateAlonzo :: LedgerState (ShelleyBlock (TPraos c) AlonzoEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateBabbage :: LedgerState (ShelleyBlock (Praos c) BabbageEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateConway :: LedgerState (ShelleyBlock (Praos c) ConwayEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateDijkstra :: LedgerState (ShelleyBlock (Praos c) DijkstraEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateMary :: LedgerState (ShelleyBlock (TPraos c) MaryEra) mk -> CardanoLedgerState c mkpattern
pattern LedgerStateShelley :: LedgerState (ShelleyBlock (TPraos c) ShelleyEra) mk -> CardanoLedgerState c mkFields
shelleyLedgerTip :: !WithOrigin (ShelleyTip proto era)shelleyLedgerState :: !NewEpochState erashelleyLedgerTransition :: !ShelleyTransitionshelleyLedgerTables :: !LedgerTables (ShelleyBlock proto era) mkshelleyLedgerLatestPerasCertRound :: !StrictMaybe PerasRoundNo