Safe Haskell	None
Language	Haskell2010

Tendermint.Utils.QueryClient.Class

Synopsis

class Monad m => RunQueryClient m where
- runQuery :: Query -> m Query
type QueryStringList = [(Text, Text)]
class HasQueryClient m layout where
- type ClientQ (m :: Type -> Type) layout :: Type
- genClientQ :: Proxy m -> Proxy layout -> (Query, QueryStringList) -> ClientQ m layout
appendToQueryString :: Text -> Maybe Text -> QueryStringList -> QueryStringList
addQueryParamsToPath :: QueryStringList -> Text -> Text
leafGenClient :: HasCodec a => RunQueryClient m => (Query, QueryStringList) -> m (QueryClientResponse a)
data EmptyQueryClient = EmptyQueryClient

Documentation

class Monad m => RunQueryClient m where Source #

Methods

runQuery :: Query -> m Query Source #

How to make a request.

Instances

Instances details

RunQueryClient (ReaderT Config IO) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods runQuery :: Query -> ReaderT Config IO Query Source #

type QueryStringList = [(Text, Text)] Source #

class HasQueryClient m layout where Source #

Associated Types

type ClientQ (m :: Type -> Type) layout :: Type Source #

Methods

genClientQ :: Proxy m -> Proxy layout -> (Query, QueryStringList) -> ClientQ m layout Source #

Instances

Instances details

HasQueryClient m EmptyQueryServer Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m EmptyQueryServer Source # Methods genClientQ :: Proxy m -> Proxy EmptyQueryServer -> (Query, QueryStringList) -> ClientQ m EmptyQueryServer Source #
(HasCodec a, RunQueryClient m) => HasQueryClient m (Leaf a) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (Leaf a) Source # Methods genClientQ :: Proxy m -> Proxy (Leaf a) -> (Query, QueryStringList) -> ClientQ m (Leaf a) Source #
(QueryData k, HasCodec v, RunQueryClient m) => HasQueryClient m (StoreLeaf (Map k v)) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (StoreLeaf (Map k v)) Source # Methods genClientQ :: Proxy m -> Proxy (StoreLeaf (Map k v)) -> (Query, QueryStringList) -> ClientQ m (StoreLeaf (Map k v)) Source #
(HasCodec a, RunQueryClient m) => HasQueryClient m (StoreLeaf (Array a)) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (StoreLeaf (Array a)) Source # Methods genClientQ :: Proxy m -> Proxy (StoreLeaf (Array a)) -> (Query, QueryStringList) -> ClientQ m (StoreLeaf (Array a)) Source #
(HasCodec a, RunQueryClient m) => HasQueryClient m (StoreLeaf (Var a)) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (StoreLeaf (Var a)) Source # Methods genClientQ :: Proxy m -> Proxy (StoreLeaf (Var a)) -> (Query, QueryStringList) -> ClientQ m (StoreLeaf (Var a)) Source #
(HasQueryClient m a, HasQueryClient m b) => HasQueryClient m (a :<\|> b) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (a :<\|> b) Source # Methods genClientQ :: Proxy m -> Proxy (a :<\|> b) -> (Query, QueryStringList) -> ClientQ m (a :<\|> b) Source #
(ToHttpApiData a, HasQueryClient m api) => HasQueryClient m (Capture' mods capture a :> api) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (Capture' mods capture a :> api) Source # Methods genClientQ :: Proxy m -> Proxy (Capture' mods capture a :> api) -> (Query, QueryStringList) -> ClientQ m (Capture' mods capture a :> api) Source #
(QueryData k, HasQueryClient m a) => HasQueryClient m (QA k :> a) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (QA k :> a) Source # Methods genClientQ :: Proxy m -> Proxy (QA k :> a) -> (Query, QueryStringList) -> ClientQ m (QA k :> a) Source #
(KnownSymbol sym, ToHttpApiData a, HasQueryClient m api, SBoolI (FoldRequired mods)) => HasQueryClient m (QueryParam' mods sym a :> api) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (QueryParam' mods sym a :> api) Source # Methods genClientQ :: Proxy m -> Proxy (QueryParam' mods sym a :> api) -> (Query, QueryStringList) -> ClientQ m (QueryParam' mods sym a :> api) Source #
(KnownSymbol path, HasQueryClient m a) => HasQueryClient m (path :> a) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m (path :> a) Source # Methods genClientQ :: Proxy m -> Proxy (path :> a) -> (Query, QueryStringList) -> ClientQ m (path :> a) Source #

appendToQueryString Source #

Arguments

:: Text	param name
-> Maybe Text	param value
-> QueryStringList
-> QueryStringList

addQueryParamsToPath :: QueryStringList -> Text -> Text Source #

leafGenClient :: HasCodec a => RunQueryClient m => (Query, QueryStringList) -> m (QueryClientResponse a) Source #

data EmptyQueryClient Source #

Singleton type representing a client for an empty API.

Constructors

EmptyQueryClient

Instances

Instances details

Bounded EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods minBound :: EmptyQueryClient # maxBound :: EmptyQueryClient #
Enum EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods succ :: EmptyQueryClient -> EmptyQueryClient # pred :: EmptyQueryClient -> EmptyQueryClient # toEnum :: Int -> EmptyQueryClient # fromEnum :: EmptyQueryClient -> Int # enumFrom :: EmptyQueryClient -> [EmptyQueryClient] # enumFromThen :: EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] # enumFromTo :: EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] # enumFromThenTo :: EmptyQueryClient -> EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] #
Eq EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods (==) :: EmptyQueryClient -> EmptyQueryClient -> Bool # (/=) :: EmptyQueryClient -> EmptyQueryClient -> Bool #
Show EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods showsPrec :: Int -> EmptyQueryClient -> ShowS # show :: EmptyQueryClient -> String # showList :: [EmptyQueryClient] -> ShowS #