hs-abci-test-utils-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.Utils.TxClient.Class

Synopsis

Documentation

class HasTxClient m layout where Source #

Associated Types

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

Methods

genClientT :: Proxy m -> Proxy layout -> ClientTxOpts -> ClientT m layout Source #

Instances
HasTxClient m EmptyTxServer Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m EmptyTxServer :: Type Source #

Methods

genClientT :: Proxy m -> Proxy EmptyTxServer -> ClientTxOpts -> ClientT m EmptyTxServer Source #

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

Defined in Tendermint.Utils.TxClient.Class

Associated Types

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

Methods

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

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

Defined in Tendermint.Utils.TxClient.Class

Associated Types

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

Methods

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

(HasMessageType msg, HasCodec msg, HasCodec a, HasCodec (OnCheckReturn CheckTx oc a), RunTxClient m) => HasTxClient m (TypedMessage msg :~> Return' oc a) Source # 
Instance details

Defined in Tendermint.Utils.TxClient.Class

Associated Types

type ClientT m (TypedMessage msg :~> Return' oc a) :: Type Source #

Methods

genClientT :: Proxy m -> Proxy (TypedMessage msg :~> Return' oc a) -> ClientTxOpts -> ClientT m (TypedMessage msg :~> Return' oc a) Source #

defaultClientTxOpts :: ClientTxOpts Source #