hs-abci-sdk-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.SDK.BaseApp.Query.Types

Contents

Synopsis

Server combinators

data Leaf (a :: *) Source #

Instances
(Member (Tagged QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r, 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) (QueryEffs :& r)) -> Router env r QueryRequest Query Source #

hoistQueryRouter :: Proxy (Leaf a) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (Leaf a) s -> RouteQ (Leaf a) s' Source #

type RouteQ (Leaf a :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Query.Router

type RouteQ (Leaf a :: Type) r = Sem r (QueryResult a)

data QA (a :: *) Source #

Instances
(QueryData 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) (QueryEffs :& r)) -> Router env r QueryRequest Query Source #

hoistQueryRouter :: Proxy (QA a :> sublayout) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (QA a :> sublayout) s -> RouteQ (QA a :> sublayout) s' Source #

type RouteQ (QA a :> sublayout :: Type) r Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Query.Router

type RouteQ (QA a :> sublayout :: Type) r = QueryArgs a -> RouteQ sublayout r

class QueryData a where Source #

This class is used to parse the 'data' field of the query request message. | The default method assumes that the 'data' is simply the key for the | value being queried.

Minimal complete definition

Nothing

Query Application

data QueryArgs a Source #

Instances
Functor QueryArgs Source # 
Instance details

Defined in Tendermint.SDK.BaseApp.Query.Types

Methods

fmap :: (a -> b) -> QueryArgs a -> QueryArgs b #

(<$) :: a -> QueryArgs b -> QueryArgs a #