Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Ledger.Query
Contents
Synopsis
- data family Query blk :: Type -> Type
- querySupportedVersion :: Query (ShelleyBlock era) result -> ShelleyNodeToClientVersion -> Bool
- newtype NonMyopicMemberRewards era = NonMyopicMemberRewards {}
- encodeShelleyQuery :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> Encoding
- decodeShelleyQuery :: ShelleyBasedEra era => Decoder s (SomeSecond Query (ShelleyBlock era))
- encodeShelleyResult :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> result -> Encoding
- decodeShelleyResult :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> forall s. Decoder s result
Documentation
data family Query blk :: Type -> Type Source #
Different queries supported by the ledger, indexed by the result type.
Instances
querySupportedVersion :: Query (ShelleyBlock era) result -> ShelleyNodeToClientVersion -> Bool Source #
Is the given query supported by the given ShelleyNodeToClientVersion
?
newtype NonMyopicMemberRewards era Source #
Constructors
NonMyopicMemberRewards | |
Instances
Eq (NonMyopicMemberRewards era) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods (==) :: NonMyopicMemberRewards era -> NonMyopicMemberRewards era -> Bool # (/=) :: NonMyopicMemberRewards era -> NonMyopicMemberRewards era -> Bool # | |
Show (NonMyopicMemberRewards era) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods showsPrec :: Int -> NonMyopicMemberRewards era -> ShowS # show :: NonMyopicMemberRewards era -> String # showList :: [NonMyopicMemberRewards era] -> ShowS # | |
ShelleyBasedEra era => Serialise (NonMyopicMemberRewards era) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods encode :: NonMyopicMemberRewards era -> Encoding Source # decode :: Decoder s (NonMyopicMemberRewards era) Source # encodeList :: [NonMyopicMemberRewards era] -> Encoding Source # decodeList :: Decoder s [NonMyopicMemberRewards era] Source # |
Serialisation
encodeShelleyQuery :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> Encoding Source #
decodeShelleyQuery :: ShelleyBasedEra era => Decoder s (SomeSecond Query (ShelleyBlock era)) Source #
encodeShelleyResult :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> result -> Encoding Source #
decodeShelleyResult :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> forall s. Decoder s result Source #
Orphan instances
ShelleyBasedEra era => QueryLedger (ShelleyBlock era) Source # | |
Methods answerQuery :: ExtLedgerCfg (ShelleyBlock era) -> Query (ShelleyBlock era) result -> ExtLedgerState (ShelleyBlock era) -> result Source # | |
SameDepIndex (Query (ShelleyBlock era)) Source # | |
Methods sameDepIndex :: Query (ShelleyBlock era) a -> Query (ShelleyBlock era) b -> Maybe (a :~: b) Source # | |
ShelleyBasedEra era => ShowQuery (Query (ShelleyBlock era)) Source # | |
Methods showResult :: Query (ShelleyBlock era) result -> result -> String # | |
Eq (Query (ShelleyBlock era) result) Source # | |
Methods (==) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool # (/=) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool # | |
Show (Query (ShelleyBlock era) result) Source # | |
Typeable era => ShowProxy (Query (ShelleyBlock era) :: Type -> Type) Source # | |