Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Query.Types

Contents

Server combinators
Query Application

Synopsis

data Leaf (a :: Type)
data QA (a :: Type)
data EmptyQueryServer = EmptyQueryServer
class QueryData a where
- fromQueryData :: Base64String -> Either String a
- toQueryData :: a -> Base64String
type QueryApplication m = Query -> m Query
data QueryRequest = QueryRequest {
- queryRequestPath :: Text
- queryRequestParamString :: Text
- queryRequestData :: Base64String
- queryRequestProve :: Bool
- queryRequestHeight :: Int64
}
parseQueryRequest :: Query -> QueryRequest
data QueryArgs a = QueryArgs {
- queryArgsProve :: Bool
- queryArgsData :: a
- queryArgsHeight :: Int64
}
defaultQueryArgs :: QueryArgs ()
data QueryResult a = QueryResult {
- queryResultData :: a
- queryResultIndex :: Int64
- queryResultKey :: Base64String
- queryResultProof :: Maybe Proof
- queryResultHeight :: Int64
}

Server combinators

data Leaf (a :: Type) Source #

Instances

Instances details

(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 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 :: forall (s :: EffectRow) (s' :: EffectRow). 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 :: Type) Source #

Instances

Instances details

(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 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 :: forall (s :: EffectRow) (s' :: EffectRow). 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

data EmptyQueryServer Source #

Constructors

EmptyQueryServer

Instances

Instances details

HasQueryRouter EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router Associated Types type RouteQ EmptyQueryServer r Source # Methods routeQ :: Proxy EmptyQueryServer -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ EmptyQueryServer (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy EmptyQueryServer -> Proxy r -> (forall a. Sem s a -> Sem s' a) -> RouteQ EmptyQueryServer s -> RouteQ EmptyQueryServer s' Source #
type RouteQ EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ EmptyQueryServer r = EmptyQueryServer

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

Methods

fromQueryData :: Base64String -> Either String a Source #

default fromQueryData :: RawKey a => Base64String -> Either String a Source #

toQueryData :: a -> Base64String Source #

default toQueryData :: RawKey a => a -> Base64String Source #

Instances

Instances details

QueryData Word64 Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Word64 Source # toQueryData :: Word64 -> Base64String Source #
QueryData () Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String () Source # toQueryData :: () -> Base64String Source #
QueryData Text Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Text Source # toQueryData :: Text -> Base64String Source #
QueryData Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Address Source # toQueryData :: Address -> Base64String Source #
QueryData PubKey_ Source #
Instance details Defined in Tendermint.SDK.Modules.Validators.Types Methods fromQueryData :: Base64String -> Either String PubKey_ Source # toQueryData :: PubKey_ -> Base64String Source #

Query Application

type QueryApplication m = Query -> m Query Source #

data QueryRequest Source #

Constructors

QueryRequest
Fields queryRequestPath :: Text queryRequestParamString :: Text queryRequestData :: Base64String queryRequestProve :: Bool queryRequestHeight :: Int64

Instances

Instances details

Eq QueryRequest Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods (==) :: QueryRequest -> QueryRequest -> Bool # (/=) :: QueryRequest -> QueryRequest -> Bool #
Show QueryRequest Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods showsPrec :: Int -> QueryRequest -> ShowS # show :: QueryRequest -> String # showList :: [QueryRequest] -> ShowS #
HasPath QueryRequest Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods path :: Lens' QueryRequest Text Source #

parseQueryRequest :: Query -> QueryRequest Source #

data QueryArgs a Source #

Constructors

QueryArgs
Fields queryArgsProve :: Bool queryArgsData :: a queryArgsHeight :: Int64

Instances

Instances details

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 #

defaultQueryArgs :: QueryArgs () Source #

data QueryResult a Source #

Constructors

QueryResult
Fields queryResultData :: a queryResultIndex :: Int64 queryResultKey :: Base64String queryResultProof :: Maybe Proof queryResultHeight :: Int64

Instances

Instances details

Functor QueryResult Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fmap :: (a -> b) -> QueryResult a -> QueryResult b # (<$) :: a -> QueryResult b -> QueryResult a #
Eq a => Eq (QueryResult a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods (==) :: QueryResult a -> QueryResult a -> Bool # (/=) :: QueryResult a -> QueryResult a -> Bool #
Show a => Show (QueryResult a) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods showsPrec :: Int -> QueryResult a -> ShowS # show :: QueryResult a -> String # showList :: [QueryResult a] -> ShowS #