Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class Monad m => RunQueryClient m where
- class HasQueryClient m layout where
- type ClientQ (m :: * -> *) layout :: *
- genClientQ :: Proxy m -> Proxy layout -> (Query, QueryStringList) -> ClientQ m layout
- data QueryClientResponse a
- data EmptyQueryClient = EmptyQueryClient
- class HasTxClient m layout where
- type ClientT (m :: * -> *) layout :: *
- genClientT :: Proxy m -> Proxy layout -> ClientTxOpts -> ClientT m layout
- class Monad m => RunTxClient m where
- runTx :: RawTransaction -> m ResultBroadcastTxCommit
- getNonce :: Address -> m Word64
- data EmptyTxClient = EmptyTxClient
- data TxClientResponse c d
- = RPCError Text
- | ParseError RouteContext Text
- | Response (SynchronousResponse c d)
- data SynchronousResponse c d = SynchronousResponse {}
- data TxResponse a
- = TxResponse {
- txResponseResult :: a
- txResponseEvents :: [Event]
- | TxError AppError
- = TxResponse {
- data ClientConfig = ClientConfig {}
- defaultClientTxOpts :: ClientTxOpts
- data Signer = Signer {}
- data TxOpts = TxOpts {
- txOptsGas :: Int64
- txOptsSigner :: Signer
- makeSignerFromKey :: RecoverableSignatureSchema alg => Message alg ~ Digest SHA256 => Proxy alg -> PrivateKey alg -> Signer
Documentation
class Monad m => RunQueryClient m where Source #
class HasQueryClient m layout where Source #
genClientQ :: Proxy m -> Proxy layout -> (Query, QueryStringList) -> ClientQ m layout Source #
Instances
data QueryClientResponse a Source #
Data is Nothing iff Raw includes a non-0 response value
Instances
Eq a => Eq (QueryClientResponse a) Source # | |
Defined in Tendermint.Utils.QueryClient.Types (==) :: QueryClientResponse a -> QueryClientResponse a -> Bool # (/=) :: QueryClientResponse a -> QueryClientResponse a -> Bool # | |
Show a => Show (QueryClientResponse a) Source # | |
Defined in Tendermint.Utils.QueryClient.Types showsPrec :: Int -> QueryClientResponse a -> ShowS # show :: QueryClientResponse a -> String # showList :: [QueryClientResponse a] -> ShowS # |
data EmptyQueryClient Source #
Singleton type representing a client for an empty API.
Instances
class HasTxClient m layout where Source #
Instances
HasTxClient m EmptyTxServer Source # | |
Defined in Tendermint.Utils.TxClient.Class type ClientT m EmptyTxServer :: Type Source # genClientT :: Proxy m -> Proxy EmptyTxServer -> ClientTxOpts -> ClientT m EmptyTxServer Source # | |
(HasTxClient m a, HasTxClient m b) => HasTxClient m (a :<|> b) Source # | |
(KnownSymbol path, HasTxClient m a) => HasTxClient 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 # | |
Defined in Tendermint.Utils.TxClient.Class genClientT :: Proxy m -> Proxy (TypedMessage msg :~> Return' oc a) -> ClientTxOpts -> ClientT m (TypedMessage msg :~> Return' oc a) Source # |
class Monad m => RunTxClient m where Source #
runTx :: RawTransaction -> m ResultBroadcastTxCommit Source #
How to make a request.
Instances
RunTxClient (ReaderT ClientConfig IO) Source # | |
Defined in Tendermint.Utils.TxClient.Class |
data EmptyTxClient Source #
Singleton type representing a client for an empty API.
Instances
Bounded EmptyTxClient Source # | |
Defined in Tendermint.Utils.TxClient.Class | |
Enum EmptyTxClient Source # | |
Defined in Tendermint.Utils.TxClient.Class succ :: EmptyTxClient -> EmptyTxClient # pred :: EmptyTxClient -> EmptyTxClient # toEnum :: Int -> EmptyTxClient # fromEnum :: EmptyTxClient -> Int # enumFrom :: EmptyTxClient -> [EmptyTxClient] # enumFromThen :: EmptyTxClient -> EmptyTxClient -> [EmptyTxClient] # enumFromTo :: EmptyTxClient -> EmptyTxClient -> [EmptyTxClient] # enumFromThenTo :: EmptyTxClient -> EmptyTxClient -> EmptyTxClient -> [EmptyTxClient] # | |
Eq EmptyTxClient Source # | |
Defined in Tendermint.Utils.TxClient.Class (==) :: EmptyTxClient -> EmptyTxClient -> Bool # (/=) :: EmptyTxClient -> EmptyTxClient -> Bool # | |
Show EmptyTxClient Source # | |
Defined in Tendermint.Utils.TxClient.Class showsPrec :: Int -> EmptyTxClient -> ShowS # show :: EmptyTxClient -> String # showList :: [EmptyTxClient] -> ShowS # |
data TxClientResponse c d Source #
RPCError Text | |
ParseError RouteContext Text | |
Response (SynchronousResponse c d) |
Instances
(Eq c, Eq d) => Eq (TxClientResponse c d) Source # | |
Defined in Tendermint.Utils.TxClient.Types (==) :: TxClientResponse c d -> TxClientResponse c d -> Bool # (/=) :: TxClientResponse c d -> TxClientResponse c d -> Bool # | |
(Show c, Show d) => Show (TxClientResponse c d) Source # | |
Defined in Tendermint.Utils.TxClient.Types showsPrec :: Int -> TxClientResponse c d -> ShowS # show :: TxClientResponse c d -> String # showList :: [TxClientResponse c d] -> ShowS # |
data SynchronousResponse c d Source #
Instances
(Eq c, Eq d) => Eq (SynchronousResponse c d) Source # | |
Defined in Tendermint.Utils.TxClient.Types (==) :: SynchronousResponse c d -> SynchronousResponse c d -> Bool # (/=) :: SynchronousResponse c d -> SynchronousResponse c d -> Bool # | |
(Show c, Show d) => Show (SynchronousResponse c d) Source # | |
Defined in Tendermint.Utils.TxClient.Types showsPrec :: Int -> SynchronousResponse c d -> ShowS # show :: SynchronousResponse c d -> String # showList :: [SynchronousResponse c d] -> ShowS # |
data TxResponse a Source #
Instances
Eq a => Eq (TxResponse a) Source # | |
Defined in Tendermint.Utils.TxClient.Types (==) :: TxResponse a -> TxResponse a -> Bool # (/=) :: TxResponse a -> TxResponse a -> Bool # | |
Show a => Show (TxResponse a) Source # | |
Defined in Tendermint.Utils.TxClient.Types showsPrec :: Int -> TxResponse a -> ShowS # show :: TxResponse a -> String # showList :: [TxResponse a] -> ShowS # |
data ClientConfig Source #
Instances
RunTxClient (ReaderT ClientConfig IO) Source # | |
Defined in Tendermint.Utils.TxClient.Class |
defaultClientTxOpts :: ClientTxOpts Source #
makeSignerFromKey :: RecoverableSignatureSchema alg => Message alg ~ Digest SHA256 => Proxy alg -> PrivateKey alg -> Signer Source #