hs-abci-test-utils-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Tendermint.Utils.Client

Synopsis

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

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 EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

Associated Types

type ClientQ m EmptyQueryClient 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 #

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

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

data QueryClientResponse a Source #

Data is Nothing iff Raw includes a non-0 response value

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

Enum EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

Eq EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

Show EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

HasQueryClient m EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

Associated Types

type ClientQ m EmptyQueryClient Source #

type ClientQ m EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

class HasTxClient m layoutC layoutD where Source #

Associated Types

type ClientT (m :: Type -> Type) layoutC layoutD :: Type Source #

Methods

genClientT :: Proxy m -> Proxy layoutC -> Proxy layoutD -> ClientTxOpts -> ClientT m layoutC layoutD Source #

Instances

Instances details
HasTxClient m EmptyTxServer EmptyTxServer Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m EmptyTxServer EmptyTxServer Source #

(HasTxClient m a c, HasTxClient m b d) => HasTxClient m (a :<|> b) (c :<|> d) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m (a :<|> b) (c :<|> d) Source #

Methods

genClientT :: Proxy m -> Proxy (a :<|> b) -> Proxy (c :<|> d) -> ClientTxOpts -> ClientT m (a :<|> b) (c :<|> d) Source #

(KnownSymbol path, HasTxClient m a b) => HasTxClient m (path :> a) (path :> b) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m (path :> a) (path :> b) Source #

Methods

genClientT :: Proxy m -> Proxy (path :> a) -> Proxy (path :> b) -> ClientTxOpts -> ClientT m (path :> a) (path :> b) Source #

(HasMessageType msg, HasCodec msg, HasCodec check, HasCodec deliver, RunTxClient m) => HasTxClient m (TypedMessage msg :~> Return check) (TypedMessage msg :~> Return deliver) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m (TypedMessage msg :~> Return check) (TypedMessage msg :~> Return deliver) Source #

Methods

genClientT :: Proxy m -> Proxy (TypedMessage msg :~> Return check) -> Proxy (TypedMessage msg :~> Return deliver) -> ClientTxOpts -> ClientT m (TypedMessage msg :~> Return check) (TypedMessage msg :~> Return deliver) Source #

data TxClientResponse c d Source #

Instances

Instances details
(Eq c, Eq d) => Eq (TxClientResponse c d) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Types

(Show c, Show d) => Show (TxClientResponse c d) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Types

data TxResponse a Source #

Instances

Instances details
Eq a => Eq (TxResponse a) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Types

Methods

(==) :: TxResponse a -> TxResponse a -> Bool #

(/=) :: TxResponse a -> TxResponse a -> Bool #

Show a => Show (TxResponse a) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Types

defaultClientTxOpts :: ClientTxOpts Source #

data TxOpts Source #

Constructors

TxOpts 

makeSignerFromKey :: RecoverableSignatureSchema alg => Message alg ~ Digest SHA256 => Proxy alg -> PrivateKey alg -> Signer Source #