Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Query

Contents

Serialisation
BlockSupportsHFLedgerQuery instances
Orphan instances

Synopsis

data family BlockQuery ∷ Type → QueryFootprint → Type → Type
newtype NonMyopicMemberRewards = NonMyopicMemberRewards {
- unNonMyopicMemberRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)
}
decodeShelleyQuery ∷ ShelleyBasedEra era ⇒ ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era)))
decodeShelleyResult ∷ ∀ proto era (fp ∷ QueryFootprint) result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result
encodeShelleyQuery ∷ ∀ era proto (fp ∷ QueryFootprint) result. ShelleyBasedEra era ⇒ BlockQuery (ShelleyBlock proto era) fp result → Encoding
encodeShelleyResult ∷ ∀ proto era (fp ∷ QueryFootprint) result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding
answerShelleyLookupQueries ∷ ∀ proto era m result blk. (Monad m, ShelleyCompatible proto era) ⇒ (LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK → LedgerTables (LedgerState blk) KeysMK) → (TxOut (LedgerState blk) → TxOut era) → (TxIn (LedgerState blk) → TxIn) → ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFLookupTables result → ReadOnlyForker' m blk → m result
answerShelleyTraversingQueries ∷ ∀ proto era m result blk. (ShelleyCompatible proto era, Ord (TxIn (LedgerState blk)), Eq (TxOut (LedgerState blk)), MemPack (TxIn (LedgerState blk)), IndexedMemPack (LedgerState blk EmptyMK) (TxOut (LedgerState blk)), Monad m) ⇒ (TxOut (LedgerState blk) → TxOut era) → (TxIn (LedgerState blk) → TxIn) → (∀ result'. BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result' → TxOut (LedgerState blk) → Bool) → ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → ReadOnlyForker' m blk → m result
shelleyQFTraverseTablesPredicate ∷ ∀ proto era proto' era' result. (ShelleyBasedEra era, ShelleyBasedEra era') ⇒ BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → TxOut (LedgerState (ShelleyBlock proto' era')) → Bool

Documentation

data family BlockQuery ∷ Type → QueryFootprint → Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

SerialiseBlockQueryResult ByronBlock BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → ∀ s. Decoder s result Source #
All SingleEraBlock xs ⇒ SameDepIndex2 (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (HardForkBlock xs) x a → BlockQuery (HardForkBlock xs) y b → Maybe ('(x, a) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a0 (y ∷ QueryFootprint) b. BlockQuery (DualBlock m a) x a0 → BlockQuery (DualBlock m a) y b → Maybe ('(x, a0) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery ByronBlock x a → BlockQuery ByronBlock y b → Maybe ('(x, a) :~: '(y, b)) Source #
SameDepIndex2 (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (ShelleyBlock proto era) x a → BlockQuery (ShelleyBlock proto era) y b → Maybe ('(x, a) :~: '(y, b)) Source #
SerialiseNodeToClient ByronBlock (SomeBlockQuery (BlockQuery ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → SomeBlockQuery (BlockQuery ByronBlock) → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (SomeBlockQuery (BlockQuery ByronBlock)) Source #
SerialiseHFC xs ⇒ SerialiseBlockQueryResult (HardForkBlock xs) BlockQuery
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) fp result → ∀ s. Decoder s result Source #
ShelleyCompatible proto era ⇒ SerialiseBlockQueryResult (ShelleyBlock proto era) BlockQuery Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding Source # decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result Source #
(∀ (footprint ∷ QueryFootprint) result. Show (BlockQuery blk footprint result)) ⇒ Show (SomeBlockQuery (BlockQuery blk))
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeBlockQuery (BlockQuery blk) → ShowS # show ∷ SomeBlockQuery (BlockQuery blk) → String # showList ∷ [SomeBlockQuery (BlockQuery blk)] → ShowS #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeBlockQuery (BlockQuery (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeBlockQuery (BlockQuery (HardForkBlock xs)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (HardForkBlock xs))) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs) footprint)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) footprint result → result → String Source #
ShowQuery (BlockQuery (DualBlock m a) footprint)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) footprint result → result → String Source #
ShowQuery (BlockQuery ByronBlock fp) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult ∷ BlockQuery ByronBlock fp result → result → String Source #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String Source #
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ConfigSupportsNode (ShelleyBlock proto era)) ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeBlockQuery (BlockQuery (ShelleyBlock proto era)) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ QueryFootprint → Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String Source #
ShowProxy (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showProxy ∷ Proxy (BlockQuery ByronBlock) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) footprint result)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) footprint result → ShowS # show ∷ BlockQuery (HardForkBlock xs) footprint result → String # showList ∷ [BlockQuery (HardForkBlock xs) footprint result] → ShowS #
Show (BlockQuery (DualBlock m a) footprint result)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) footprint result → ShowS # show ∷ BlockQuery (DualBlock m a) footprint result → String # showList ∷ [BlockQuery (DualBlock m a) footprint result] → ShowS #
Show (BlockQuery ByronBlock fp result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec ∷ Int → BlockQuery ByronBlock fp result → ShowS # show ∷ BlockQuery ByronBlock fp result → String # showList ∷ [BlockQuery ByronBlock fp result] → ShowS #
Show (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) fp result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS #
Eq (BlockQuery ByronBlock fp result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool # (/=) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool #
Eq (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #
Inject (SomeBlockQuery :.: BlockQuery)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → (SomeBlockQuery :.: BlockQuery) x → (SomeBlockQuery :.: BlockQuery) (HardForkBlock xs) Source #
data BlockQuery ByronBlock fp result Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock fp result where GetUpdateInterfaceState ∷ BlockQuery ByronBlock 'QFNoTables State
data BlockQuery (HardForkBlock xs) footprint result
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) footprint result where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) (footprint ∷ QueryFootprint) result1. QueryIfCurrent xs footprint result1 → BlockQuery (HardForkBlock xs) footprint (Either (MismatchEraInfo xs) result1) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) result x. IsNonEmpty xs1 ⇒ QueryAnytime result → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x result. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) result → BlockQuery (HardForkBlock (x ': xs1)) 'QFNoTables result
data BlockQuery (DualBlock m a) footprint result
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) footprint result
data BlockQuery (ShelleyBlock proto era) fp result Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) fp result where GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Point (ShelleyBlock proto era)) GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables EpochNo GetNonMyopicMemberRewards ∷ ∀ proto era. Set (Either Coin (Credential 'Staking)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables NonMyopicMemberRewards GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PParams era) GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ProposedPPUpdates era) GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto)) GetUTxOByAddress ∷ ∀ proto era. Set Addr → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era) GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFTraverseTables (UTxO era) DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (EpochState era) GetCBOR ∷ ∀ proto era (fp ∷ QueryFootprint) result1. BlockQuery (ShelleyBlock proto era) fp result1 → BlockQuery (ShelleyBlock proto era) fp (Serialised result1) GetFilteredDelegationsAndRewardAccounts ∷ ∀ proto era. Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Delegations, Map (Credential 'Staking) Coin) GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables CompactGenesis DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (NewEpochState era) DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (ChainDepState proto) GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables RewardProvenance GetUTxOByTxIn ∷ ∀ proto era. Set TxIn → BlockQuery (ShelleyBlock proto era) 'QFLookupTables (UTxO era) GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Set (KeyHash 'StakePool)) GetStakePoolParams ∷ ∀ proto era. Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) StakePoolParams) GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (RewardParams, Map (KeyHash 'StakePool) RewardInfoPool) GetPoolState ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables QueryPoolStateResult GetStakeSnapshots ∷ ∀ era proto. EraGov era ⇒ Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables StakeSnapshots GetPoolDistr ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (PoolDistr (ProtoCrypto proto)) GetStakeDelegDeposits ∷ ∀ proto era. Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'Staking) Coin) GetConstitution ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (Constitution era) GetGovState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (GovState era) GetDRepState ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set (Credential 'DRepRole) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'DRepRole) DRepState) GetDRepStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set DRep → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map DRep Coin) GetCommitteeMembersState ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set (Credential 'ColdCommitteeRole) → Set (Credential 'HotCommitteeRole) → Set MemberStatus → BlockQuery (ShelleyBlock proto era) 'QFNoTables CommitteeMembersState GetFilteredVoteDelegatees ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'Staking) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (Credential 'Staking) DRep) GetAccountState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables ChainAccountState GetSPOStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (KeyHash 'StakePool) → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map (KeyHash 'StakePool) Coin) GetProposals ∷ ∀ era proto. ConwayEraGov era ⇒ Set GovActionId → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Seq (GovActionState era)) GetRatifyState ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) 'QFNoTables (RatifyState era) GetFuturePParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables (Maybe (PParams era)) GetLedgerPeerSnapshot' ∷ ∀ proto era. Bool → LedgerPeersKind → BlockQuery (ShelleyBlock proto era) 'QFNoTables SomeLedgerPeerSnapshot QueryStakePoolDefaultVote ∷ ∀ era proto. ConwayEraGov era ⇒ KeyHash 'StakePool → BlockQuery (ShelleyBlock proto era) 'QFNoTables DefaultVote GetPoolDistr2 ∷ ∀ proto era. Maybe (Set (KeyHash 'StakePool)) → BlockQuery (ShelleyBlock proto era) 'QFNoTables PoolDistr GetStakeDistribution2 ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables PoolDistr GetMaxMajorProtocolVersion ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) 'QFNoTables MaxMajorProtVer GetDRepDelegations ∷ ∀ era proto. (ConwayEraGov era, ConwayEraCertState era) ⇒ Set DRep → BlockQuery (ShelleyBlock proto era) 'QFNoTables (Map DRep (Set (Credential 'Staking)))

newtype NonMyopicMemberRewards Source #

Constructors

NonMyopicMemberRewards
Fields unNonMyopicMemberRewards ∷ Map (Either Coin (Credential 'Staking)) (Map (KeyHash 'StakePool) Coin)

Instances

Instances details

FromCBOR NonMyopicMemberRewards Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR ∷ Decoder s NonMyopicMemberRewards Source # label ∷ Proxy NonMyopicMemberRewards → Text Source #
ToCBOR NonMyopicMemberRewards Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR ∷ NonMyopicMemberRewards → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy NonMyopicMemberRewards → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NonMyopicMemberRewards] → Size Source #
Show NonMyopicMemberRewards Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → NonMyopicMemberRewards → ShowS # show ∷ NonMyopicMemberRewards → String # showList ∷ [NonMyopicMemberRewards] → ShowS #
Eq NonMyopicMemberRewards Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ NonMyopicMemberRewards → NonMyopicMemberRewards → Bool # (/=) ∷ NonMyopicMemberRewards → NonMyopicMemberRewards → Bool #

Serialisation

decodeShelleyQuery ∷ ShelleyBasedEra era ⇒ ∀ s. Decoder s (SomeBlockQuery (BlockQuery (ShelleyBlock proto era))) Source #

decodeShelleyResult ∷ ∀ proto era (fp ∷ QueryFootprint) result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) fp result → ∀ s. Decoder s result Source #

encodeShelleyQuery ∷ ∀ era proto (fp ∷ QueryFootprint) result. ShelleyBasedEra era ⇒ BlockQuery (ShelleyBlock proto era) fp result → Encoding Source #

encodeShelleyResult ∷ ∀ proto era (fp ∷ QueryFootprint) result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) fp result → result → Encoding Source #

BlockSupportsHFLedgerQuery instances

answerShelleyLookupQueries Source #

Arguments

∷ ∀ proto era m result blk. (Monad m, ShelleyCompatible proto era)
⇒ (LedgerTables (LedgerState (ShelleyBlock proto era)) KeysMK → LedgerTables (LedgerState blk) KeysMK)	Inject ledger tables
→ (TxOut (LedgerState blk) → TxOut era)	Eject TxOut
→ (TxIn (LedgerState blk) → TxIn)	Eject TxIn
→ ExtLedgerCfg (ShelleyBlock proto era)
→ BlockQuery (ShelleyBlock proto era) 'QFLookupTables result
→ ReadOnlyForker' m blk
→ m result

answerShelleyTraversingQueries Source #

Arguments

∷ ∀ proto era m result blk. (ShelleyCompatible proto era, Ord (TxIn (LedgerState blk)), Eq (TxOut (LedgerState blk)), MemPack (TxIn (LedgerState blk)), IndexedMemPack (LedgerState blk EmptyMK) (TxOut (LedgerState blk)), Monad m)
⇒ (TxOut (LedgerState blk) → TxOut era)	Eject TxOut
→ (TxIn (LedgerState blk) → TxIn)	Eject TxIn
→ (∀ result'. BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result' → TxOut (LedgerState blk) → Bool)	Get filter by query
→ ExtLedgerCfg (ShelleyBlock proto era)
→ BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result
→ ReadOnlyForker' m blk
→ m result

shelleyQFTraverseTablesPredicate ∷ ∀ proto era proto' era' result. (ShelleyBasedEra era, ShelleyBasedEra era') ⇒ BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → TxOut (LedgerState (ShelleyBlock proto' era')) → Bool Source #

Orphan instances

SameDepIndex2 (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Methods sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery (ShelleyBlock proto era) x a → BlockQuery (ShelleyBlock proto era) y b → Maybe ('(x, a) :~: '(y, b)) Source #
(ShelleyCompatible proto era, LedgerSupportsProtocol (ShelleyBlock proto era), ConfigSupportsNode (ShelleyBlock proto era), ProtoCrypto proto ~ crypto, Crypto crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source #
Instance details Methods answerPureBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFNoTables result → ExtLedgerState (ShelleyBlock proto era) EmptyMK → result Source # answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFLookupTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source # answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) 'QFTraverseTables result → ReadOnlyForker' m (ShelleyBlock proto era) → m result Source # blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery (ShelleyBlock proto era) fp result → BlockNodeToClientVersion (ShelleyBlock proto era) → Bool Source #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era) fp) Source #
Instance details Methods showResult ∷ BlockQuery (ShelleyBlock proto era) fp result → result → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ QueryFootprint → Type → Type) Source #
Instance details Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String Source #
Show (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) fp result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) fp result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) fp result] → ShowS #
Eq (BlockQuery (ShelleyBlock proto era) fp result) Source #
Instance details Methods (==) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) fp result → BlockQuery (ShelleyBlock proto era) fp result → Bool #