Safe Haskell	None
Language	Haskell2010

Tendermint.SDK.BaseApp.Query.Types

Synopsis

data Leaf (a :: *)
data QA (a :: *)
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
}
class HasCodec a => Queryable a where
- type Name a :: Symbol
class FromQueryData a where
- fromQueryData :: Base64String -> Either String a
data EmptyQueryServer = EmptyQueryServer

Documentation

data Leaf (a :: *) Source #

Instances

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 #
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

(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 #
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

type QueryApplication m = Query -> m Query Source #

data QueryRequest Source #

Constructors

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

Instances

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

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 #
(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) => StoreQueryHandler (a :: Type) ns (QueryArgs k -> Sem r (QueryResult a)) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Methods storeQueryHandler :: Proxy a -> StoreKey ns -> QueryArgs k -> Sem r (QueryResult a) Source #

defaultQueryArgs :: QueryArgs () Source #

data QueryResult a Source #

Constructors

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

Instances

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 #
(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) => StoreQueryHandler (a :: Type) ns (QueryArgs k -> Sem r (QueryResult a)) Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Store Methods storeQueryHandler :: Proxy a -> StoreKey ns -> QueryArgs k -> Sem r (QueryResult a) Source #

class HasCodec a => Queryable a Source #

class representing objects which can be queried via the hs-abci query message. | Here the Name is the leaf of the query url, e.g. if you can access a token | balance of type Balance at "token/balance", then 'Name Balance ~ "balance"'.

Associated Types

type Name a :: Symbol Source #

Instances

Queryable Account Source #
Instance details Defined in Tendermint.SDK.Modules.Auth.Types Associated Types type Name Account :: Symbol Source #

class FromQueryData 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 #

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

Instances

FromQueryData Address Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Types Methods fromQueryData :: Base64String -> Either String Address Source #

data EmptyQueryServer Source #

Constructors

EmptyQueryServer

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 #
type RouteQ EmptyQueryServer r Source #
Instance details Defined in Tendermint.SDK.BaseApp.Query.Router type RouteQ EmptyQueryServer r = EmptyQueryServer