Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Query.Router

Synopsis

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
emptyQueryServer :: RouteQ EmptyQueryServer r
methodRouter :: HasCodec b => Delayed (Sem r) env req (Sem r (QueryResult b)) -> Router env r req Query

Documentation

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 #

emptyQueryServer :: RouteQ EmptyQueryServer r Source #

methodRouter :: HasCodec b => Delayed (Sem r) env req (Sem r (QueryResult b)) -> Router env r req Query Source #