Safe Haskell	None
Language	Haskell2010

Tendermint.Utils.Client

Synopsis

class Monad m => RunQueryClient m where
- runQuery :: Query -> m Query
class HasQueryClient m layout where
- type ClientQ (m :: Type -> Type) layout :: Type
- genClientQ :: Proxy m -> Proxy layout -> (Query, QueryStringList) -> ClientQ m layout
data QueryClientResponse a
- = QueryResponse (QueryResult a)
- | QueryError AppError
data EmptyQueryClient = EmptyQueryClient
class HasTxClient m layoutC layoutD where
- type ClientT (m :: Type -> Type) layoutC layoutD :: Type
- genClientT :: Proxy m -> Proxy layoutC -> Proxy layoutD -> ClientTxOpts -> ClientT m layoutC layoutD
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 {
- checkTxResponse :: TxResponse c
- deliverTxResponse :: TxResponse d
}
data TxResponse a
- = TxResponse {
  - txResponseResult :: a
  - txResponseEvents :: [Event]
  }
- | TxError AppError
data ClientConfig = ClientConfig {
- clientRPC :: Config
- clientGetNonce :: Address -> IO Word64
}
defaultClientTxOpts :: ClientTxOpts
data Signer = Signer {
- signerAddress :: Address
- signerSign :: RawTransaction -> RawTransaction
}
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 #

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 Methods runQuery :: Query -> ReaderT Config IO Query Source #

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 EmptyQueryServer Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Associated Types type ClientQ m EmptyQueryServer Source # Methods genClientQ :: Proxy m -> Proxy EmptyQueryServer -> (Query, QueryStringList) -> ClientQ m EmptyQueryServer 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 # Methods genClientQ :: Proxy m -> Proxy (StoreLeaf (Array a)) -> (Query, QueryStringList) -> 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 # Methods genClientQ :: Proxy m -> Proxy (StoreLeaf (Var a)) -> (Query, QueryStringList) -> 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

Constructors

QueryResponse (QueryResult a)
QueryError AppError

Instances

Instances details

Eq a => Eq (QueryClientResponse a) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Types Methods (==) :: QueryClientResponse a -> QueryClientResponse a -> Bool # (/=) :: QueryClientResponse a -> QueryClientResponse a -> Bool #
Show a => Show (QueryClientResponse a) Source #
Instance details Defined in Tendermint.Utils.QueryClient.Types Methods 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.

Constructors

EmptyQueryClient

Instances

Instances details

Bounded EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods minBound :: EmptyQueryClient # maxBound :: EmptyQueryClient #
Enum EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods succ :: EmptyQueryClient -> EmptyQueryClient # pred :: EmptyQueryClient -> EmptyQueryClient # toEnum :: Int -> EmptyQueryClient # fromEnum :: EmptyQueryClient -> Int # enumFrom :: EmptyQueryClient -> [EmptyQueryClient] # enumFromThen :: EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] # enumFromTo :: EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] # enumFromThenTo :: EmptyQueryClient -> EmptyQueryClient -> EmptyQueryClient -> [EmptyQueryClient] #
Eq EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods (==) :: EmptyQueryClient -> EmptyQueryClient -> Bool # (/=) :: EmptyQueryClient -> EmptyQueryClient -> Bool #
Show EmptyQueryClient Source #
Instance details Defined in Tendermint.Utils.QueryClient.Class Methods showsPrec :: Int -> EmptyQueryClient -> ShowS # show :: EmptyQueryClient -> String # showList :: [EmptyQueryClient] -> ShowS #

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 # Methods genClientT :: Proxy m -> Proxy EmptyTxServer -> Proxy EmptyTxServer -> ClientTxOpts -> 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 #

class Monad m => RunTxClient m where Source #

Methods

runTx :: RawTransaction -> m ResultBroadcastTxCommit Source #

How to make a request.

getNonce :: Address -> m Word64 Source #

Instances

Instances details

RunTxClient (ReaderT ClientConfig IO) Source #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods runTx :: RawTransaction -> ReaderT ClientConfig IO ResultBroadcastTxCommit Source # getNonce :: Address -> ReaderT ClientConfig IO Word64 Source #

data EmptyTxClient Source #

Singleton type representing a client for an empty API.

Constructors

EmptyTxClient

Instances

Instances details

Bounded EmptyTxClient Source #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods minBound :: EmptyTxClient # maxBound :: EmptyTxClient #
Enum EmptyTxClient Source #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods 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 #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods (==) :: EmptyTxClient -> EmptyTxClient -> Bool # (/=) :: EmptyTxClient -> EmptyTxClient -> Bool #
Show EmptyTxClient Source #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods showsPrec :: Int -> EmptyTxClient -> ShowS # show :: EmptyTxClient -> String # showList :: [EmptyTxClient] -> ShowS #

data TxClientResponse c d Source #

Constructors

RPCError Text
ParseError RouteContext Text
Response (SynchronousResponse c d)

Instances

Instances details

(Eq c, Eq d) => Eq (TxClientResponse c d) Source #
Instance details Defined in Tendermint.Utils.TxClient.Types Methods (==) :: TxClientResponse c d -> TxClientResponse c d -> Bool # (/=) :: TxClientResponse c d -> TxClientResponse c d -> Bool #
(Show c, Show d) => Show (TxClientResponse c d) Source #
Instance details Defined in Tendermint.Utils.TxClient.Types Methods showsPrec :: Int -> TxClientResponse c d -> ShowS # show :: TxClientResponse c d -> String # showList :: [TxClientResponse c d] -> ShowS #

data SynchronousResponse c d Source #

Constructors

SynchronousResponse
Fields checkTxResponse :: TxResponse c deliverTxResponse :: TxResponse d

Instances

Instances details

(Eq c, Eq d) => Eq (SynchronousResponse c d) Source #
Instance details Defined in Tendermint.Utils.TxClient.Types Methods (==) :: SynchronousResponse c d -> SynchronousResponse c d -> Bool # (/=) :: SynchronousResponse c d -> SynchronousResponse c d -> Bool #
(Show c, Show d) => Show (SynchronousResponse c d) Source #
Instance details Defined in Tendermint.Utils.TxClient.Types Methods showsPrec :: Int -> SynchronousResponse c d -> ShowS # show :: SynchronousResponse c d -> String # showList :: [SynchronousResponse c d] -> ShowS #

data TxResponse a Source #

Constructors

TxResponse
Fields txResponseResult :: a txResponseEvents :: [Event]
TxError AppError

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 Methods showsPrec :: Int -> TxResponse a -> ShowS # show :: TxResponse a -> String # showList :: [TxResponse a] -> ShowS #

data ClientConfig Source #

Constructors

ClientConfig
Fields clientRPC :: Config clientGetNonce :: Address -> IO Word64

Instances

Instances details

RunTxClient (ReaderT ClientConfig IO) Source #
Instance details Defined in Tendermint.Utils.TxClient.Class Methods runTx :: RawTransaction -> ReaderT ClientConfig IO ResultBroadcastTxCommit Source # getNonce :: Address -> ReaderT ClientConfig IO Word64 Source #

defaultClientTxOpts :: ClientTxOpts Source #

data Signer Source #

Constructors

Signer
Fields signerAddress :: Address signerSign :: RawTransaction -> RawTransaction

data TxOpts Source #

Constructors

TxOpts
Fields txOptsGas :: Int64 txOptsSigner :: Signer

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