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 :: forall era proto. ShelleyBasedEra era => forall s. Decoder s (SomeSecond BlockQuery (ShelleyBlock proto era))
decodeShelleyResult :: forall proto era result. ShelleyCompatible proto era => ShelleyNodeToClientVersion -> BlockQuery (ShelleyBlock proto era) result -> forall s. Decoder s result
encodeShelleyQuery :: forall era proto result. ShelleyBasedEra era => BlockQuery (ShelleyBlock proto era) result -> Encoding
encodeShelleyResult :: forall proto era result. ShelleyCompatible proto era => ShelleyNodeToClientVersion -> BlockQuery (ShelleyBlock proto era) result -> result -> Encoding

Documentation

data family BlockQuery blk :: Type -> Type #

Instances

Instances details

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

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 Source # show :: NonMyopicMemberRewards c -> String Source # showList :: [NonMyopicMemberRewards c] -> ShowS Source #
Crypto c => FromCBOR (NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR :: Decoder s (NonMyopicMemberRewards c) label :: Proxy (NonMyopicMemberRewards c) -> Text
Crypto c => ToCBOR (NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: NonMyopicMemberRewards c -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (NonMyopicMemberRewards c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [NonMyopicMemberRewards c] -> Size
Eq (NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: NonMyopicMemberRewards c -> NonMyopicMemberRewards c -> Bool Source # (/=) :: NonMyopicMemberRewards c -> NonMyopicMemberRewards c -> Bool Source #

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 Source # Methods from :: StakeSnapshot crypto -> Rep (StakeSnapshot crypto) x Source # to :: Rep (StakeSnapshot crypto) x -> StakeSnapshot crypto Source #
Show (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec :: Int -> StakeSnapshot crypto -> ShowS Source # show :: StakeSnapshot crypto -> String Source # showList :: [StakeSnapshot crypto] -> ShowS Source #
Crypto crypto => FromCBOR (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR :: Decoder s (StakeSnapshot crypto) label :: Proxy (StakeSnapshot crypto) -> Text
Crypto crypto => ToCBOR (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: StakeSnapshot crypto -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StakeSnapshot crypto) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StakeSnapshot crypto] -> Size
NFData (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods rnf :: StakeSnapshot crypto -> () Source #
Eq (StakeSnapshot crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: StakeSnapshot crypto -> StakeSnapshot crypto -> Bool Source # (/=) :: StakeSnapshot crypto -> StakeSnapshot crypto -> Bool Source #
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.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" '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 Source # Methods from :: StakeSnapshots crypto -> Rep (StakeSnapshots crypto) x Source # to :: Rep (StakeSnapshots crypto) x -> StakeSnapshots crypto Source #
Show (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec :: Int -> StakeSnapshots crypto -> ShowS Source # show :: StakeSnapshots crypto -> String Source # showList :: [StakeSnapshots crypto] -> ShowS Source #
Crypto crypto => FromCBOR (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods fromCBOR :: Decoder s (StakeSnapshots crypto) label :: Proxy (StakeSnapshots crypto) -> Text
Crypto crypto => ToCBOR (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: StakeSnapshots crypto -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StakeSnapshots crypto) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StakeSnapshots crypto] -> Size
NFData (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods rnf :: StakeSnapshots crypto -> () Source #
Eq (StakeSnapshots crypto) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: StakeSnapshots crypto -> StakeSnapshots crypto -> Bool Source # (/=) :: StakeSnapshots crypto -> StakeSnapshots crypto -> Bool Source #
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.12.1.0-B7PPTiiOqdjFK3zhRUwDA9" '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 :: forall era proto. ShelleyBasedEra era => forall s. Decoder s (SomeSecond BlockQuery (ShelleyBlock proto era)) Source #

decodeShelleyResult :: forall proto era result. ShelleyCompatible proto era => ShelleyNodeToClientVersion -> BlockQuery (ShelleyBlock proto era) result -> forall s. Decoder s result Source #

encodeShelleyQuery :: forall era proto result. ShelleyBasedEra era => BlockQuery (ShelleyBlock proto era) result -> Encoding Source #

encodeShelleyResult :: forall 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)
ShelleyCompatible proto era => ShowQuery (BlockQuery (ShelleyBlock proto era)) Source #
Instance details Methods showResult :: BlockQuery (ShelleyBlock proto era) result -> result -> String
Show (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Methods showsPrec :: Int -> BlockQuery (ShelleyBlock proto era) result -> ShowS Source # show :: BlockQuery (ShelleyBlock proto era) result -> String Source # showList :: [BlockQuery (ShelleyBlock proto era) result] -> ShowS Source #
Eq (BlockQuery (ShelleyBlock proto era) result) Source #
Instance details Methods (==) :: BlockQuery (ShelleyBlock proto era) result -> BlockQuery (ShelleyBlock proto era) result -> Bool Source # (/=) :: BlockQuery (ShelleyBlock proto era) result -> BlockQuery (ShelleyBlock proto era) result -> Bool Source #
(ShelleyCompatible proto era, ProtoCrypto proto ~ crypto) => QueryLedger (ShelleyBlock proto era) Source #
Instance details Methods answerBlockQuery :: ExtLedgerCfg (ShelleyBlock proto era) -> BlockQuery (ShelleyBlock proto era) result -> ExtLedgerState (ShelleyBlock proto era) -> result
(Typeable era, Typeable proto) => ShowProxy (BlockQuery (ShelleyBlock proto era) :: Type -> Type) Source #
Instance details Methods showProxy :: Proxy (BlockQuery (ShelleyBlock proto era)) -> String