Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Ledger.Query

Synopsis

data family BlockQuery blk :: Type -> Type
class ConfigSupportsNode blk where
- getSystemStart :: BlockConfig blk -> SystemStart
- getNetworkMagic :: BlockConfig blk -> NetworkMagic
data Query blk result where
- BlockQuery :: BlockQuery blk result -> Query blk result
- GetSystemStart :: Query blk SystemStart
- GetChainBlockNo :: Query blk ( WithOrigin BlockNo )
- GetChainPoint :: Query blk ( Point blk)
class ( ShowQuery ( BlockQuery blk), SameDepIndex ( BlockQuery blk)) => QueryLedger blk where
- answerBlockQuery :: ExtLedgerCfg blk -> BlockQuery blk result -> ExtLedgerState blk -> result
data QueryVersion
- = QueryVersion1
- | QueryVersion2
class ( forall result. Show (query result)) => ShowQuery (query :: Type -> Type ) where
- showResult :: query result -> result -> String
answerQuery :: ( QueryLedger blk, ConfigSupportsNode blk, HasAnnTip blk) => ExtLedgerCfg blk -> Query blk result -> ExtLedgerState blk -> result
nodeToClientVersionToQueryVersion :: NodeToClientVersion -> QueryVersion
queryDecodeNodeToClient :: forall blk. SerialiseNodeToClient blk ( SomeSecond BlockQuery blk) => CodecConfig blk -> QueryVersion -> BlockNodeToClientVersion blk -> forall s. Decoder s ( SomeSecond Query blk)
queryEncodeNodeToClient :: forall blk. Typeable blk => Show ( SomeSecond BlockQuery blk) => SerialiseNodeToClient blk ( SomeSecond BlockQuery blk) => CodecConfig blk -> QueryVersion -> BlockNodeToClientVersion blk -> SomeSecond Query blk -> Encoding

Documentation

data family BlockQuery blk :: Type -> Type Source #

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

Instances

Instances details

ShowQuery ( BlockQuery ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult :: BlockQuery ( DualBlock m a) result -> result -> String Source #
All SingleEraBlock xs => ShowQuery ( BlockQuery ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: BlockQuery ( HardForkBlock xs) result -> result -> String Source #
SameDepIndex ( BlockQuery ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex :: BlockQuery ( DualBlock m a) a0 -> BlockQuery ( DualBlock m a) b -> Maybe (a0 :~: b) Source #
All SingleEraBlock xs => SameDepIndex ( BlockQuery ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex :: BlockQuery ( HardForkBlock xs) a -> BlockQuery ( HardForkBlock xs) b -> Maybe (a :~: b) Source #
Inject ( SomeSecond BlockQuery ) Source #
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) Source #
SerialiseHFC xs => SerialiseResult ( HardForkBlock xs) ( BlockQuery ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> result -> Encoding Source # decodeResult :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> forall s. Decoder s result Source #
SerialiseHFC xs => SerialiseNodeToClient ( HardForkBlock xs) ( SomeSecond BlockQuery ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> SomeSecond BlockQuery ( HardForkBlock xs) -> Encoding Source # decodeNodeToClient :: CodecConfig ( HardForkBlock xs) -> BlockNodeToClientVersion ( HardForkBlock xs) -> forall s. Decoder s ( SomeSecond BlockQuery ( HardForkBlock xs)) Source #
SameDepIndex ( BlockQuery blk) => Eq ( SomeSecond BlockQuery blk) Source #
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 #
( forall result. Show ( BlockQuery blk result)) => Show ( SomeSecond BlockQuery blk) Source #
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 #
Show ( BlockQuery ( DualBlock m a) result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> BlockQuery ( DualBlock m a) result -> ShowS Source # show :: BlockQuery ( DualBlock m a) result -> String Source # showList :: [ BlockQuery ( DualBlock m a) result] -> ShowS Source #
All SingleEraBlock xs => Show ( BlockQuery ( HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec :: Int -> BlockQuery ( HardForkBlock xs) result -> ShowS Source # show :: BlockQuery ( HardForkBlock xs) result -> String Source # showList :: [ BlockQuery ( HardForkBlock xs) result] -> ShowS Source #
( Typeable m, Typeable a) => ShowProxy ( BlockQuery ( DualBlock m a) :: Type -> Type ) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy :: Proxy ( BlockQuery ( DualBlock m a)) -> String Source #
Typeable xs => ShowProxy ( BlockQuery ( HardForkBlock xs) :: Type -> Type ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy :: Proxy ( BlockQuery ( HardForkBlock xs)) -> String Source #
data BlockQuery ( HardForkBlock xs) a Source #
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) ( HardForkQueryResult xs result) QueryAnytime :: forall (xs :: [ Type ]) result x. IsNonEmpty xs => QueryAnytime result -> EraIndex (x ': xs) -> BlockQuery ( HardForkBlock (x ': xs)) result QueryHardFork :: forall (xs :: [ Type ]) x result. IsNonEmpty xs => QueryHardFork (x ': xs) result -> BlockQuery ( HardForkBlock (x ': xs)) result
data BlockQuery ( DualBlock m a) result Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery ( DualBlock m a) result

class ConfigSupportsNode blk where Source #

The BlockConfig needs to contain some information in order to support running a node.

Methods

getSystemStart :: BlockConfig blk -> SystemStart Source #

getNetworkMagic :: BlockConfig blk -> NetworkMagic Source #

Instances

Instances details

CanHardFork xs => ConfigSupportsNode ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Node Methods getSystemStart :: BlockConfig ( HardForkBlock xs) -> SystemStart Source # getNetworkMagic :: BlockConfig ( HardForkBlock xs) -> NetworkMagic Source #
ConfigSupportsNode m => ConfigSupportsNode ( DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getSystemStart :: BlockConfig ( DualBlock m a) -> SystemStart Source # getNetworkMagic :: BlockConfig ( DualBlock m a) -> NetworkMagic Source #

data Query blk result where Source #

Different queries supported by the ledger for all block types, indexed by the result type.

Additions to the set of queries is versioned by QueryVersion

Constructors

BlockQuery :: BlockQuery blk result -> Query blk result	This constructor is supported by all `QueryVersion` s. The `BlockQuery` argument is versioned by the `BlockNodeToClientVersion blk` .
GetSystemStart :: Query blk SystemStart	Get the `SystemStart` time. Supported by `QueryVersion` >= `QueryVersion1` .
GetChainBlockNo :: Query blk ( WithOrigin BlockNo )	Get the `GetChainBlockNo` time. Supported by `QueryVersion` >= `QueryVersion2` .
GetChainPoint :: Query blk ( Point blk)	Get the `GetChainPoint` time. Supported by `QueryVersion` >= `QueryVersion2` .

Instances

Instances details

( SerialiseResult blk ( BlockQuery blk), Serialise ( HeaderHash blk)) => SerialiseResult blk ( Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods encodeResult :: CodecConfig blk -> BlockNodeToClientVersion blk -> Query blk result -> result -> Encoding Source # decodeResult :: CodecConfig blk -> BlockNodeToClientVersion blk -> Query blk result -> forall s. Decoder s result Source #
( ShowQuery ( BlockQuery blk), StandardHash blk) => ShowQuery ( Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showResult :: Query blk result -> result -> String Source #
SameDepIndex ( BlockQuery blk) => SameDepIndex ( Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods sameDepIndex :: Query blk a -> Query blk b -> Maybe (a :~: b) Source #
Eq ( SomeSecond BlockQuery blk) => Eq ( SomeSecond Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) :: SomeSecond Query blk -> SomeSecond Query blk -> Bool Source # (/=) :: SomeSecond Query blk -> SomeSecond Query blk -> Bool Source #
Show ( SomeSecond BlockQuery blk) => Show ( SomeSecond Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec :: Int -> SomeSecond Query blk -> ShowS Source # show :: SomeSecond Query blk -> String Source # showList :: [ SomeSecond Query blk] -> ShowS Source #
Show ( BlockQuery blk result) => Show ( Query blk result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec :: Int -> Query blk result -> ShowS Source # show :: Query blk result -> String Source # showList :: [ Query blk result] -> ShowS Source #
ShowProxy ( BlockQuery blk) => ShowProxy ( Query blk :: Type -> Type ) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showProxy :: Proxy ( Query blk) -> String Source #

class ( ShowQuery ( BlockQuery blk), SameDepIndex ( BlockQuery blk)) => QueryLedger blk where Source #

Query the ledger extended state.

Used by the LocalStateQuery protocol to allow clients to query the extended ledger state.

Methods

answerBlockQuery :: ExtLedgerCfg blk -> BlockQuery blk result -> ExtLedgerState blk -> result Source #

Answer the given query about the extended ledger state.

Instances

Instances details

All SingleEraBlock xs => QueryLedger ( HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods answerBlockQuery :: ExtLedgerCfg ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> ExtLedgerState ( HardForkBlock xs) -> result Source #
Bridge m a => QueryLedger ( DualBlock m a) Source #	Not used in the tests: no constructors
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods answerBlockQuery :: ExtLedgerCfg ( DualBlock m a) -> BlockQuery ( DualBlock m a) result -> ExtLedgerState ( DualBlock m a) -> result Source #

data QueryVersion Source #

Version of the `Query blk` type.

Multiple top level queries are now supported. The encoding now has constructor tags for the different top level queries for QueryVersion1 onwards.

Constructors

QueryVersion1
QueryVersion2

Instances

Instances details

Bounded QueryVersion Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query.Version Methods minBound :: QueryVersion Source # maxBound :: QueryVersion Source #
Enum QueryVersion Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query.Version Methods succ :: QueryVersion -> QueryVersion Source # pred :: QueryVersion -> QueryVersion Source # toEnum :: Int -> QueryVersion Source # fromEnum :: QueryVersion -> Int Source # enumFrom :: QueryVersion -> [ QueryVersion ] Source # enumFromThen :: QueryVersion -> QueryVersion -> [ QueryVersion ] Source # enumFromTo :: QueryVersion -> QueryVersion -> [ QueryVersion ] Source # enumFromThenTo :: QueryVersion -> QueryVersion -> QueryVersion -> [ QueryVersion ] Source #
Eq QueryVersion Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query.Version Methods (==) :: QueryVersion -> QueryVersion -> Bool Source # (/=) :: QueryVersion -> QueryVersion -> Bool Source #
Ord QueryVersion Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query.Version Methods compare :: QueryVersion -> QueryVersion -> Ordering Source # (<) :: QueryVersion -> QueryVersion -> Bool Source # (<=) :: QueryVersion -> QueryVersion -> Bool Source # (>) :: QueryVersion -> QueryVersion -> Bool Source # (>=) :: QueryVersion -> QueryVersion -> Bool Source # max :: QueryVersion -> QueryVersion -> QueryVersion Source # min :: QueryVersion -> QueryVersion -> QueryVersion Source #
Show QueryVersion Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query.Version Methods showsPrec :: Int -> QueryVersion -> ShowS Source # show :: QueryVersion -> String Source # showList :: [ QueryVersion ] -> ShowS Source #

class ( forall result. Show (query result)) => ShowQuery (query :: Type -> Type ) where Source #

To implement Show for:

('Message' ('LocalStateQuery' block query) st st')

we need a way to print the query GADT and its type index, result . This class contain the method we need to provide this Show instance.

We use a type class for this, as this Show constraint propagates to a lot of places.

Methods

showResult :: query result -> result -> String Source #

Instances

Instances details

ShowQuery QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: QueryAnytime result -> result -> String Source #
ShowQuery ( BlockQuery ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult :: BlockQuery ( DualBlock m a) result -> result -> String Source #
All SingleEraBlock xs => ShowQuery ( BlockQuery ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: BlockQuery ( HardForkBlock xs) result -> result -> String Source #
( ShowQuery ( BlockQuery blk), StandardHash blk) => ShowQuery ( Query blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showResult :: Query blk result -> result -> String Source #
All SingleEraBlock xs => ShowQuery ( QueryHardFork xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: QueryHardFork xs result -> result -> String Source #
All SingleEraBlock xs => ShowQuery ( QueryIfCurrent xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: QueryIfCurrent xs result -> result -> String Source #

answerQuery :: ( QueryLedger blk, ConfigSupportsNode blk, HasAnnTip blk) => ExtLedgerCfg blk -> Query blk result -> ExtLedgerState blk -> result Source #

Answer the given query about the extended ledger state.

nodeToClientVersionToQueryVersion :: NodeToClientVersion -> QueryVersion Source #

Get the QueryVersion supported by this NodeToClientVersion .

queryDecodeNodeToClient :: forall blk. SerialiseNodeToClient blk ( SomeSecond BlockQuery blk) => CodecConfig blk -> QueryVersion -> BlockNodeToClientVersion blk -> forall s. Decoder s ( SomeSecond Query blk) Source #

queryEncodeNodeToClient :: forall blk. Typeable blk => Show ( SomeSecond BlockQuery blk) => SerialiseNodeToClient blk ( SomeSecond BlockQuery blk) => CodecConfig blk -> QueryVersion -> BlockNodeToClientVersion blk -> SomeSecond Query blk -> Encoding Source #