Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Query

Contents

Serialisation
Orphan instances

Synopsis

data family BlockQuery blk ∷ Type → Type
newtype NonMyopicMemberRewards c = NonMyopicMemberRewards {
- unNonMyopicMemberRewards ∷ Map (Either Coin (Credential 'Staking c)) (Map (KeyHash 'StakePool c) Coin)
}
data StakeSnapshot crypto = StakeSnapshot {
- ssMarkPool ∷ !Coin
- ssSetPool ∷ !Coin
- ssGoPool ∷ !Coin
}
data StakeSnapshots crypto = StakeSnapshots {
- ssStakeSnapshots ∷ !(Map (KeyHash 'StakePool crypto) (StakeSnapshot crypto))
- ssMarkTotal ∷ !Coin
- ssSetTotal ∷ !Coin
- ssGoTotal ∷ !Coin
}
querySupportedVersion ∷ BlockQuery (ShelleyBlock proto era) result → ShelleyNodeToClientVersion → Bool
decodeShelleyQuery ∷ ∀ era proto. ShelleyBasedEra era ⇒ ∀ s. Decoder s (SomeSecond BlockQuery (ShelleyBlock proto era))
decodeShelleyResult ∷ ∀ proto era result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) result → ∀ s. Decoder s result
encodeShelleyQuery ∷ ∀ era proto result. ShelleyBasedEra era ⇒ BlockQuery (ShelleyBlock proto era) result → Encoding
encodeShelleyResult ∷ ∀ proto era result. ShelleyCompatible proto era ⇒ ShelleyNodeToClientVersion → BlockQuery (ShelleyBlock proto era) result → result → Encoding

Documentation

data family BlockQuery blk ∷ Type → Type Source #

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

Instances

Instances details

SerialiseResult ByronBlock (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeResult ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock result → result → Encoding Source # decodeResult ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock result → ∀ s. Decoder s result Source #
SerialiseNodeToClient ByronBlock (SomeSecond BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → SomeSecond BlockQuery ByronBlock → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (SomeSecond BlockQuery ByronBlock) Source #
SameDepIndex (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex ∷ BlockQuery ByronBlock a → BlockQuery ByronBlock b → Maybe (a :~: b) Source #
SameDepIndex (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods sameDepIndex ∷ BlockQuery (ShelleyBlock proto era) a → BlockQuery (ShelleyBlock proto era) b → Maybe (a :~: b) Source #
ShowQuery (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult ∷ BlockQuery ByronBlock result → result → String Source #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showResult ∷ BlockQuery (ShelleyBlock proto era) result → result → String Source #
Show (BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec ∷ Int → BlockQuery ByronBlock result → ShowS # show ∷ BlockQuery ByronBlock result → String # showList ∷ [BlockQuery ByronBlock result] → ShowS #
Show (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) result] → ShowS #
Eq (BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) ∷ BlockQuery ByronBlock result → BlockQuery ByronBlock result → Bool # (/=) ∷ BlockQuery ByronBlock result → BlockQuery ByronBlock result → Bool #
Eq (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool #
ShelleyCompatible proto era ⇒ SerialiseResult (ShelleyBlock proto era) (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeResult ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → result → Encoding Source # decodeResult ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → ∀ s. Decoder s result 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) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToClient (ShelleyBlock proto era) (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → SomeSecond BlockQuery (ShelleyBlock proto era) → Encoding Source # decodeNodeToClient ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToClientVersion (ShelleyBlock proto era) → ∀ s. Decoder s (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #
Inject (SomeSecond BlockQuery)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → SomeSecond BlockQuery x → SomeSecond BlockQuery (HardForkBlock xs) Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS # show ∷ SomeSecond BlockQuery blk → String # showList ∷ [SomeSecond BlockQuery blk] → ShowS #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool #
data BlockQuery ByronBlock a Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock a where GetUpdateInterfaceState ∷ BlockQuery ByronBlock State
data BlockQuery (HardForkBlock xs) a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
data BlockQuery (ShelleyBlock proto era) a Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) a where GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Point (ShelleyBlock proto era)) GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) EpochNo GetNonMyopicMemberRewards ∷ ∀ era proto. Set (Either Coin (Credential 'Staking (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (NonMyopicMemberRewards (EraCrypto era)) GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PParams era) GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ProposedPPUpdates era) GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PoolDistr (EraCrypto era)) GetUTxOByAddress ∷ ∀ era proto. Set (Addr (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (UTxO era) DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (EpochState era) GetCBOR ∷ ∀ proto era result. BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) (Serialised result) GetFilteredDelegationsAndRewardAccounts ∷ ∀ era proto. Set (Credential 'Staking (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Delegations (EraCrypto era), RewardAccounts (EraCrypto era)) GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (CompactGenesis (EraCrypto era)) DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (NewEpochState era) DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ChainDepState proto) GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardProvenance (EraCrypto era)) GetUTxOByTxIn ∷ ∀ era proto. Set (TxIn (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Set (KeyHash 'StakePool (EraCrypto era))) GetStakePoolParams ∷ ∀ era proto. Set (KeyHash 'StakePool (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardParams, Map (KeyHash 'StakePool (EraCrypto era)) RewardInfoPool) GetPoolState ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (PState era) GetStakeSnapshots ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (StakeSnapshots (EraCrypto era)) GetPoolDistr ∷ ∀ era proto. Maybe (Set (KeyHash 'StakePool (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (PoolDistr (EraCrypto era)) GetStakeDelegDeposits ∷ ∀ era proto. Set (StakeCredential (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (StakeCredential (EraCrypto era)) Coin) GetConstitution ∷ ∀ era proto. ConwayEraGov era ⇒ BlockQuery (ShelleyBlock proto era) (Constitution era) GetGovState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (GovState era) GetDRepState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'DRepRole (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) GetDRepStakeDistr ∷ ∀ era proto. ConwayEraGov era ⇒ Set (DRep (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (DRep (EraCrypto era)) Coin) GetCommitteeMembersState ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'ColdCommitteeRole (EraCrypto era)) → Set (Credential 'HotCommitteeRole (EraCrypto era)) → Set MemberStatus → BlockQuery (ShelleyBlock proto era) (CommitteeMembersState (EraCrypto era)) GetFilteredVoteDelegatees ∷ ∀ era proto. ConwayEraGov era ⇒ Set (Credential 'Staking (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (Credential 'Staking (EraCrypto era)) (DRep (EraCrypto era))) GetAccountState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) AccountState

newtype NonMyopicMemberRewards c Source #

Constructors

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

Instances

Instances details

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

data StakeSnapshot crypto Source #

The stake snapshot returns information about the mark, set, go ledger snapshots for a pool, plus the total active stake for each snapshot that can be used in a sigma calculation.

Each snapshot is taken at the end of a different era. The go snapshot is the current one and was taken two epochs earlier, set was taken one epoch ago, and mark was taken immediately before the start of the current epoch.

Constructors

StakeSnapshot
Fields ssMarkPool ∷ !Coin ssSetPool ∷ !Coin ssGoPool ∷ !Coin

Instances

Instances details

Generic (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Associated Types type Rep (StakeSnapshot crypto) ∷ Type → Type # Methods from ∷ StakeSnapshot crypto → Rep (StakeSnapshot crypto) x # to ∷ Rep (StakeSnapshot crypto) x → StakeSnapshot crypto #
Show (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → StakeSnapshot crypto → ShowS # show ∷ StakeSnapshot crypto → String # showList ∷ [StakeSnapshot crypto] → ShowS #
Crypto crypto ⇒ FromCBOR (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR ∷ Decoder s (StakeSnapshot crypto) Source # label ∷ Proxy (StakeSnapshot crypto) → Text Source #
Crypto crypto ⇒ ToCBOR (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR ∷ StakeSnapshot crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StakeSnapshot crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StakeSnapshot crypto] → Size Source #
NFData (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods rnf ∷ StakeSnapshot crypto → () #
Eq (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ StakeSnapshot crypto → StakeSnapshot crypto → Bool # (/=) ∷ StakeSnapshot crypto → StakeSnapshot crypto → Bool #
type Rep (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query type Rep (StakeSnapshot crypto) = D1 ('MetaData "StakeSnapshot" "Ouroboros.Consensus.Shelley.Ledger.Query" "ouroboros-consensus-cardano-0.16.0.0-inplace" 'False) (C1 ('MetaCons "StakeSnapshot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssMarkPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: (S1 ('MetaSel ('Just "ssSetPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "ssGoPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

data StakeSnapshots crypto Source #

Constructors

StakeSnapshots
Fields ssStakeSnapshots ∷ !(Map (KeyHash 'StakePool crypto) (StakeSnapshot crypto)) ssMarkTotal ∷ !Coin ssSetTotal ∷ !Coin ssGoTotal ∷ !Coin

Instances

Instances details

Generic (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Associated Types type Rep (StakeSnapshots crypto) ∷ Type → Type # Methods from ∷ StakeSnapshots crypto → Rep (StakeSnapshots crypto) x # to ∷ Rep (StakeSnapshots crypto) x → StakeSnapshots crypto #
Show (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec ∷ Int → StakeSnapshots crypto → ShowS # show ∷ StakeSnapshots crypto → String # showList ∷ [StakeSnapshots crypto] → ShowS #
Crypto crypto ⇒ FromCBOR (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR ∷ Decoder s (StakeSnapshots crypto) Source # label ∷ Proxy (StakeSnapshots crypto) → Text Source #
Crypto crypto ⇒ ToCBOR (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR ∷ StakeSnapshots crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StakeSnapshots crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StakeSnapshots crypto] → Size Source #
NFData (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods rnf ∷ StakeSnapshots crypto → () #
Eq (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) ∷ StakeSnapshots crypto → StakeSnapshots crypto → Bool # (/=) ∷ StakeSnapshots crypto → StakeSnapshots crypto → Bool #
type Rep (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query type Rep (StakeSnapshots crypto) = D1 ('MetaData "StakeSnapshots" "Ouroboros.Consensus.Shelley.Ledger.Query" "ouroboros-consensus-cardano-0.16.0.0-inplace" 'False) (C1 ('MetaCons "StakeSnapshots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeSnapshots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool crypto) (StakeSnapshot crypto))) :: S1 ('MetaSel ('Just "ssMarkTotal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :: (S1 ('MetaSel ('Just "ssSetTotal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "ssGoTotal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

querySupportedVersion ∷ BlockQuery (ShelleyBlock proto era) result → ShelleyNodeToClientVersion → Bool Source #

Is the given query supported by the given ShelleyNodeToClientVersion?

Serialisation

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

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

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

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

Orphan instances

SameDepIndex (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Methods sameDepIndex ∷ BlockQuery (ShelleyBlock proto era) a → BlockQuery (ShelleyBlock proto era) b → Maybe (a :~: b) Source #
ShelleyCompatible proto era ⇒ ShowQuery (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Methods showResult ∷ BlockQuery (ShelleyBlock proto era) result → result → String Source #
Show (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Methods showsPrec ∷ Int → BlockQuery (ShelleyBlock proto era) result → ShowS # show ∷ BlockQuery (ShelleyBlock proto era) result → String # showList ∷ [BlockQuery (ShelleyBlock proto era) result] → ShowS #
Eq (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Methods (==) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool # (/=) ∷ BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) result → Bool #
(ShelleyCompatible proto era, ProtoCrypto proto ~ crypto) ⇒ BlockSupportsLedgerQuery (ShelleyBlock proto era) Source #
Instance details Methods answerBlockQuery ∷ ExtLedgerCfg (ShelleyBlock proto era) → BlockQuery (ShelleyBlock proto era) result → ExtLedgerState (ShelleyBlock proto era) → result Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (BlockQuery (ShelleyBlock proto era) ∷ Type → Type) Source #
Instance details Methods showProxy ∷ Proxy (BlockQuery (ShelleyBlock proto era)) → String Source #