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.

class HasQueryClient m layout where Source #

Associated Types

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

Methods

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

Instances
HasQueryClient m EmptyQueryClient Source # 
Instance details

Defined in Tendermint.Utils.QueryClient.Class

Associated Types

type ClientQ m EmptyQueryClient :: Type 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) :: Type 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)) :: Type 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)) :: Type 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)) :: Type 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) :: Type 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) :: Type 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) :: Type 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) :: Type 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) :: Type 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
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 :: Type 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 :: * -> *) layoutC layoutD :: * Source #

Methods

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

Instances
HasTxClient m EmptyTxServer EmptyTxServer Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m EmptyTxServer EmptyTxServer :: Type 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) :: Type 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) :: Type 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) :: Type 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
(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
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 #