hs-abci-test-utils-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Tendermint.Utils.TxClient.Class

Synopsis

Documentation

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 #

defaultClientTxOpts :: ClientTxOpts Source #