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

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 #
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 #
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 #
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 #
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 -> forall s. Decoder s result 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) -> forall s. Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #
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 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 )

newtype NonMyopicMemberRewards c Source #

Constructors

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

Instances

Instances details

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 #
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 => Serialise ( NonMyopicMemberRewards c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods encode :: NonMyopicMemberRewards c -> Encoding Source # decode :: Decoder s ( NonMyopicMemberRewards c) Source # encodeList :: [ NonMyopicMemberRewards c] -> Encoding Source # decodeList :: Decoder s [ NonMyopicMemberRewards c] Source #

querySupportedVersion :: BlockQuery ( ShelleyBlock proto era) result -> ShelleyNodeToClientVersion -> Bool Source #

Is the given query supported by the given ShelleyNodeToClientVersion ?

Serialisation

decodeShelleyQuery :: ShelleyBasedEra era => Decoder s ( SomeSecond BlockQuery ( ShelleyBlock proto era)) Source #

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

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

encodeShelleyResult :: ShelleyCompatible proto era => 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 #
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 #
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 #
ShelleyCompatible proto era => QueryLedger ( 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 #