Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Query

Synopsis

serveQueryApplication :: HasQueryRouter layout r => Proxy layout -> Proxy r -> RouteQ layout r -> QueryApplication (Sem r)
class HasQueryRouter layout r where
- type RouteQ layout r :: *
- routeQ :: Proxy layout -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ layout r) -> Router env r QueryRequest Query
class StoreQueryHandlers (kvs :: [*]) (ns :: Symbol) r where
- type QueryApi kvs :: *
- storeQueryHandlers :: Proxy kvs -> StoreKey ns -> Proxy r -> RouteQ (QueryApi kvs) r
module Tendermint.SDK.BaseApp.Query.Types
emptyQueryServer :: RouteQ EmptyQueryServer r

Documentation

serveQueryApplication :: HasQueryRouter layout r => Proxy layout -> Proxy r -> RouteQ layout r -> QueryApplication (Sem r) Source #

class HasQueryRouter layout r where Source #

This class is used to construct a router given a layout type. The layout | is constructed using the combinators that appear in the instances here, no other | Servant combinators are recognized.

Associated Types

type RouteQ layout r :: * Source #

A routeQ handler.

Methods

routeQ :: Proxy layout -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ layout r) -> Router env r QueryRequest Query Source #

Transform a routeQ handler into a Router.

Instances

HasQueryRouter EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ EmptyQueryServer r :: Type Source # Methods routeQ :: Proxy EmptyQueryServer -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ EmptyQueryServer r) -> Router env r QueryRequest Query Source #
HasCodec a => HasQueryRouter (Leaf a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (Leaf a) r :: Type Source # Methods routeQ :: Proxy (Leaf a) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (Leaf a) r) -> Router env r QueryRequest Query Source #
(HasQueryRouter a r, HasQueryRouter b r) => HasQueryRouter (a :<\|> b :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (a :<\|> b) r :: Type Source # Methods routeQ :: Proxy (a :<\|> b) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (a :<\|> b) r) -> Router env r QueryRequest Query Source #
(Queryable a, KnownSymbol (Name a)) => HasQueryRouter (StoreLeaf a :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type RouteQ (StoreLeaf a) r :: Type Source # Methods routeQ :: Proxy (StoreLeaf a) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (StoreLeaf a) r) -> Router env r QueryRequest Query Source #
(FromHttpApiData a, HasQueryRouter sublayout r) => HasQueryRouter (Capture' mods capture a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (Capture' mods capture a :> sublayout) r :: Type Source # Methods routeQ :: Proxy (Capture' mods capture a :> sublayout) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (Capture' mods capture a :> sublayout) r) -> Router env r QueryRequest Query Source #
(HasQueryRouter sublayout r, KnownSymbol sym, FromHttpApiData a, SBoolI (FoldRequired mods), SBoolI (FoldLenient mods)) => HasQueryRouter (QueryParam' mods sym a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (QueryParam' mods sym a :> sublayout) r :: Type Source # Methods routeQ :: Proxy (QueryParam' mods sym a :> sublayout) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (QueryParam' mods sym a :> sublayout) r) -> Router env r QueryRequest Query Source #
(FromQueryData a, HasQueryRouter sublayout r) => HasQueryRouter (QA a :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (QA a :> sublayout) r :: Type Source # Methods routeQ :: Proxy (QA a :> sublayout) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (QA a :> sublayout) r) -> Router env r QueryRequest Query Source #
(HasQueryRouter sublayout r, KnownSymbol path) => HasQueryRouter (path :> sublayout :: Type) r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ (path :> sublayout) r :: Type Source # Methods routeQ :: Proxy (path :> sublayout) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (path :> sublayout) r) -> Router env r QueryRequest Query Source #

class StoreQueryHandlers (kvs :: [*]) (ns :: Symbol) r where Source #

Associated Types

type QueryApi kvs :: * Source #

Methods

storeQueryHandlers :: Proxy kvs -> StoreKey ns -> Proxy r -> RouteQ (QueryApi kvs) r Source #

Instances

(IsKey k ns, a ~ Value k ns, HasCodec a, StoreQueryHandlers ((k', a') ': as) ns r, Members ((RawStore :: (Type -> Type) -> Type -> Type) ': ((Error AppError :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type]))) r) => StoreQueryHandlers ((k, a) ': ((k', a') ': as)) ns r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type QueryApi ((k, a) ': ((k', a') ': as)) :: Type Source # Methods storeQueryHandlers :: Proxy ((k, a) ': ((k', a') ': as)) -> StoreKey ns -> Proxy r -> RouteQ (QueryApi ((k, a) ': ((k', a') ': as))) r Source #
(IsKey k ns, a ~ Value k ns, HasCodec a, Members ((RawStore :: (Type -> Type) -> Type -> Type) ': ((Error AppError :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type]))) r) => StoreQueryHandlers ((k, a) ': ([] :: [Type])) ns r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Associated Types type QueryApi ((k, a) ': []) :: Type Source # Methods storeQueryHandlers :: Proxy ((k, a) ': []) -> StoreKey ns -> Proxy r -> RouteQ (QueryApi ((k, a) ': [])) r Source #

module Tendermint.SDK.BaseApp.Query.Types

emptyQueryServer :: RouteQ EmptyQueryServer r Source #