Morley.Client

Morley client that connects with real Tezos network through RPC and tezos-client binary. For more information please refer to README.

Command line parser

parserInfo :: ("usage" :! Doc) -> ("description" :! String) -> ("header" :! String) -> ("parser" :! Parser s) -> ParserInfo s

clientConfigParser :: Parser (Maybe Text) -> Parser MorleyClientConfig

Full client monad and environment

data MorleyClientM a

Instances

Monad MorleyClientM

Defined in Morley.Client.Full

Methods

(>>=) :: MorleyClientM a -> (a -> MorleyClientM b) -> MorleyClientM b

(>>) :: MorleyClientM a -> MorleyClientM b -> MorleyClientM b

return :: a -> MorleyClientM a

Functor MorleyClientM

Defined in Morley.Client.Full

Methods

fmap :: (a -> b) -> MorleyClientM a -> MorleyClientM b

(<$) :: a -> MorleyClientM b -> MorleyClientM a

Applicative MorleyClientM

Defined in Morley.Client.Full

Methods

pure :: a -> MorleyClientM a

(<*>) :: MorleyClientM (a -> b) -> MorleyClientM a -> MorleyClientM b

liftA2 :: (a -> b -> c) -> MorleyClientM a -> MorleyClientM b -> MorleyClientM c

(*>) :: MorleyClientM a -> MorleyClientM b -> MorleyClientM b

(<*) :: MorleyClientM a -> MorleyClientM b -> MorleyClientM a

MonadIO MorleyClientM

Defined in Morley.Client.Full

Methods

liftIO :: IO a -> MorleyClientM a

MonadThrow MorleyClientM

Defined in Morley.Client.Full

Methods

throwM :: Exception e => e -> MorleyClientM a

MonadCatch MorleyClientM

Defined in Morley.Client.Full

Methods

catch :: Exception e => MorleyClientM a -> (e -> MorleyClientM a) -> MorleyClientM a

MonadMask MorleyClientM

Defined in Morley.Client.Full

Methods

mask :: ((forall a. MorleyClientM a -> MorleyClientM a) -> MorleyClientM b) -> MorleyClientM b

uninterruptibleMask :: ((forall a. MorleyClientM a -> MorleyClientM a) -> MorleyClientM b) -> MorleyClientM b

generalBracket :: MorleyClientM a -> (a -> ExitCase b -> MorleyClientM c) -> (a -> MorleyClientM b) -> MorleyClientM (b, c)

RunClient MorleyClientM

Defined in Morley.Client.Full

Methods

runRequestAcceptStatus :: Maybe [Status] -> Request -> MorleyClientM Response

throwClientError :: ClientError -> MorleyClientM a

MonadUnliftIO MorleyClientM

Defined in Morley.Client.Full

Methods

withRunInIO :: ((forall a. MorleyClientM a -> IO a) -> IO b) -> MorleyClientM b

HasTezosRpc MorleyClientM

Defined in Morley.Client.Full

Methods

getBlockHash :: BlockId -> MorleyClientM Text

getCounterAtBlock :: BlockId -> Address -> MorleyClientM TezosInt64

getBlockHeader :: BlockId -> MorleyClientM BlockHeader

getBlockConstants :: BlockId -> MorleyClientM BlockConstants

getBlockOperations :: BlockId -> MorleyClientM [[BlockOperation]]

getProtocolParametersAtBlock :: BlockId -> MorleyClientM ProtocolParameters

runOperationAtBlock :: BlockId -> RunOperation -> MorleyClientM RunOperationResult

preApplyOperationsAtBlock :: BlockId -> [PreApplyOperation] -> MorleyClientM [RunOperationResult]

forgeOperationAtBlock :: BlockId -> ForgeOperation -> MorleyClientM HexJSONByteString

injectOperation :: HexJSONByteString -> MorleyClientM OperationHash

getContractScriptAtBlock :: BlockId -> Address -> MorleyClientM OriginationScript

getContractStorageAtBlock :: BlockId -> Address -> MorleyClientM Expression

getContractBigMapAtBlock :: BlockId -> Address -> GetBigMap -> MorleyClientM GetBigMapResult

getBigMapValueAtBlock :: BlockId -> Natural -> Text -> MorleyClientM Expression

getBigMapValuesAtBlock :: BlockId -> Natural -> Maybe Natural -> Maybe Natural -> MorleyClientM Expression

getBalanceAtBlock :: BlockId -> Address -> MorleyClientM Mutez

getDelegateAtBlock :: BlockId -> Address -> MorleyClientM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyClientM RunCodeResult

getChainId :: MorleyClientM ChainId

getManagerKeyAtBlock :: BlockId -> Address -> MorleyClientM (Maybe PublicKey)

HasTezosClient MorleyClientM

Defined in Morley.Client.Full

Methods

signBytes :: AddressOrAlias -> Maybe ScrubbedBytes -> ByteString -> MorleyClientM Signature

genKey :: AliasOrAliasHint -> MorleyClientM Address

genFreshKey :: AliasOrAliasHint -> MorleyClientM Address

revealKey :: Alias -> Maybe ScrubbedBytes -> MorleyClientM ()

waitForOperation :: OperationHash -> MorleyClientM ()

rememberContract :: Bool -> Address -> AliasOrAliasHint -> MorleyClientM ()

importKey :: Bool -> AliasOrAliasHint -> SecretKey -> MorleyClientM Alias

resolveAddressMaybe :: AddressOrAlias -> MorleyClientM (Maybe Address)

getAlias :: AddressOrAlias -> MorleyClientM Alias

getPublicKey :: AddressOrAlias -> MorleyClientM PublicKey

registerDelegate :: AliasOrAliasHint -> Maybe ScrubbedBytes -> MorleyClientM ()

getTezosClientConfig :: MorleyClientM TezosClientConfig

calcTransferFee :: AddressOrAlias -> Maybe ScrubbedBytes -> TezosInt64 -> [CalcTransferFeeData] -> MorleyClientM [TezosMutez]

calcOriginationFee :: forall (st :: T) (cp :: T). UntypedValScope st => CalcOriginationFeeData cp st -> MorleyClientM TezosMutez

getKeyPassword :: Address -> MorleyClientM (Maybe ScrubbedBytes)

MonadReader MorleyClientEnv MorleyClientM

Defined in Morley.Client.Full

Methods

ask :: MorleyClientM MorleyClientEnv

local :: (MorleyClientEnv -> MorleyClientEnv) -> MorleyClientM a -> MorleyClientM a

reader :: (MorleyClientEnv -> a) -> MorleyClientM a

HasLog MorleyClientEnv Message MorleyClientM

Defined in Morley.Client.Full

Methods

getLogAction :: MorleyClientEnv -> LogAction MorleyClientM Message

setLogAction :: LogAction MorleyClientM Message -> MorleyClientEnv -> MorleyClientEnv

overLogAction :: (LogAction MorleyClientM Message -> LogAction MorleyClientM Message) -> MorleyClientEnv -> MorleyClientEnv

logActionL :: Lens' MorleyClientEnv (LogAction MorleyClientM Message)

data MorleyClientConfig

Data necessary for morley client initialization.

Constructors

MorleyClientConfig

Fields

• mccAliasPrefix :: Maybe Text

  Optional prefix for aliases that will be passed to tezos-client.

• mccEndpointUrl :: Maybe BaseUrl

  URL of tezos endpoint on which operations are performed

• mccTezosClientPath :: FilePath

  Path to tezos-client binary through which operations are performed

• mccMbTezosClientDataDir :: Maybe FilePath

  Path to tezos-client data directory.

• mccVerbosity :: Word

  Verbosity level. 0 means that only important messages will be printed. The greater this value is, the more messages will be printed during execution. After some small unspecified limit increasing this value does not change anything.

• mccSecretKey :: Maybe SecretKey

  Custom secret key to use for signing.

Instances

Show MorleyClientConfig

Defined in Morley.Client.Init

Methods

showsPrec :: Int -> MorleyClientConfig -> ShowS

show :: MorleyClientConfig -> String

showList :: [MorleyClientConfig] -> ShowS

data MorleyClientEnv' m

Runtime environment for morley client.

Constructors

MorleyClientEnv

Fields

• mceTezosClient :: TezosClientEnv

  Environment for tezos-client.

• mceLogAction :: ClientLogAction m

  Action used to log messages.

• mceSecretKey :: Maybe SecretKey

  Pass if you want to sign operations manually or leave it to tezos-client

• mceClientEnv :: ClientEnv

  Environment necessary to make HTTP calls.

Instances

MonadReader MorleyClientEnv MorleyClientM

Defined in Morley.Client.Full

Methods

ask :: MorleyClientM MorleyClientEnv

local :: (MorleyClientEnv -> MorleyClientEnv) -> MorleyClientM a -> MorleyClientM a

reader :: (MorleyClientEnv -> a) -> MorleyClientM a

HasLog MorleyClientEnv Message MorleyClientM

Defined in Morley.Client.Full

Methods

getLogAction :: MorleyClientEnv -> LogAction MorleyClientM Message

setLogAction :: LogAction MorleyClientM Message -> MorleyClientEnv -> MorleyClientEnv

overLogAction :: (LogAction MorleyClientM Message -> LogAction MorleyClientM Message) -> MorleyClientEnv -> MorleyClientEnv

logActionL :: Lens' MorleyClientEnv (LogAction MorleyClientM Message)

HasTezosClientEnv (MorleyClientEnv' m)

Defined in Morley.Client.Env

Methods

tezosClientEnvL :: Lens' (MorleyClientEnv' m) TezosClientEnv

type MorleyClientEnv = MorleyClientEnv' MorleyClientM

runMorleyClientM :: MorleyClientEnv -> MorleyClientM a -> IO a

Run MorleyClientM action within given MorleyClientEnv. Retry action in case of invalid counter error.

mkMorleyClientEnv :: MonadIO m => MorleyClientConfig -> IO (MorleyClientEnv' m)

Construct MorleyClientEnv.

• tezos-client path is taken from MorleyClientConfig, but can be overridden using MORLEY_TEZOS_CLIENT environment variable.
• Node data is taken from tezos-client config and can be overridden by MorleyClientConfig.
• The rest is taken from MorleyClientConfig as is.

Lens

mceTezosClientL :: forall m. Lens' (MorleyClientEnv' m) TezosClientEnv

mceLogActionL :: forall m m. Lens (MorleyClientEnv' m) (MorleyClientEnv' m) (ClientLogAction m) (ClientLogAction m)

mceSecretKeyL :: forall m. Lens' (MorleyClientEnv' m) (Maybe SecretKey)

mceClientEnvL :: forall m. Lens' (MorleyClientEnv' m) ClientEnv

Only-RPC client monad and environment

newtype MorleyOnlyRpcM a

Monad that implements HasTezosClient and HasTezosRpc classes and can be used for high-level actions as an alternative to MorleyClientM.

Constructors

MorleyOnlyRpcM

Fields

• unMorleyOnlyRpcM :: ReaderT MorleyOnlyRpcEnv IO a

Instances

Monad MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

(>>=) :: MorleyOnlyRpcM a -> (a -> MorleyOnlyRpcM b) -> MorleyOnlyRpcM b

(>>) :: MorleyOnlyRpcM a -> MorleyOnlyRpcM b -> MorleyOnlyRpcM b

return :: a -> MorleyOnlyRpcM a

Functor MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

fmap :: (a -> b) -> MorleyOnlyRpcM a -> MorleyOnlyRpcM b

(<$) :: a -> MorleyOnlyRpcM b -> MorleyOnlyRpcM a

Applicative MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

pure :: a -> MorleyOnlyRpcM a

(<*>) :: MorleyOnlyRpcM (a -> b) -> MorleyOnlyRpcM a -> MorleyOnlyRpcM b

liftA2 :: (a -> b -> c) -> MorleyOnlyRpcM a -> MorleyOnlyRpcM b -> MorleyOnlyRpcM c

(*>) :: MorleyOnlyRpcM a -> MorleyOnlyRpcM b -> MorleyOnlyRpcM b

(<*) :: MorleyOnlyRpcM a -> MorleyOnlyRpcM b -> MorleyOnlyRpcM a

MonadIO MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

liftIO :: IO a -> MorleyOnlyRpcM a

MonadThrow MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

throwM :: Exception e => e -> MorleyOnlyRpcM a

MonadCatch MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

catch :: Exception e => MorleyOnlyRpcM a -> (e -> MorleyOnlyRpcM a) -> MorleyOnlyRpcM a

MonadMask MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

mask :: ((forall a. MorleyOnlyRpcM a -> MorleyOnlyRpcM a) -> MorleyOnlyRpcM b) -> MorleyOnlyRpcM b

uninterruptibleMask :: ((forall a. MorleyOnlyRpcM a -> MorleyOnlyRpcM a) -> MorleyOnlyRpcM b) -> MorleyOnlyRpcM b

generalBracket :: MorleyOnlyRpcM a -> (a -> ExitCase b -> MorleyOnlyRpcM c) -> (a -> MorleyOnlyRpcM b) -> MorleyOnlyRpcM (b, c)

RunClient MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

runRequestAcceptStatus :: Maybe [Status] -> Request -> MorleyOnlyRpcM Response

throwClientError :: ClientError -> MorleyOnlyRpcM a

MonadUnliftIO MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

withRunInIO :: ((forall a. MorleyOnlyRpcM a -> IO a) -> IO b) -> MorleyOnlyRpcM b

HasTezosRpc MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

getBlockHash :: BlockId -> MorleyOnlyRpcM Text

getCounterAtBlock :: BlockId -> Address -> MorleyOnlyRpcM TezosInt64

getBlockHeader :: BlockId -> MorleyOnlyRpcM BlockHeader

getBlockConstants :: BlockId -> MorleyOnlyRpcM BlockConstants

getBlockOperations :: BlockId -> MorleyOnlyRpcM [[BlockOperation]]

getProtocolParametersAtBlock :: BlockId -> MorleyOnlyRpcM ProtocolParameters

runOperationAtBlock :: BlockId -> RunOperation -> MorleyOnlyRpcM RunOperationResult

preApplyOperationsAtBlock :: BlockId -> [PreApplyOperation] -> MorleyOnlyRpcM [RunOperationResult]

forgeOperationAtBlock :: BlockId -> ForgeOperation -> MorleyOnlyRpcM HexJSONByteString

injectOperation :: HexJSONByteString -> MorleyOnlyRpcM OperationHash

getContractScriptAtBlock :: BlockId -> Address -> MorleyOnlyRpcM OriginationScript

getContractStorageAtBlock :: BlockId -> Address -> MorleyOnlyRpcM Expression

getContractBigMapAtBlock :: BlockId -> Address -> GetBigMap -> MorleyOnlyRpcM GetBigMapResult

getBigMapValueAtBlock :: BlockId -> Natural -> Text -> MorleyOnlyRpcM Expression

getBigMapValuesAtBlock :: BlockId -> Natural -> Maybe Natural -> Maybe Natural -> MorleyOnlyRpcM Expression

getBalanceAtBlock :: BlockId -> Address -> MorleyOnlyRpcM Mutez

getDelegateAtBlock :: BlockId -> Address -> MorleyOnlyRpcM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyOnlyRpcM RunCodeResult

getChainId :: MorleyOnlyRpcM ChainId

getManagerKeyAtBlock :: BlockId -> Address -> MorleyOnlyRpcM (Maybe PublicKey)

HasTezosClient MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

signBytes :: AddressOrAlias -> Maybe ScrubbedBytes -> ByteString -> MorleyOnlyRpcM Signature

genKey :: AliasOrAliasHint -> MorleyOnlyRpcM Address

genFreshKey :: AliasOrAliasHint -> MorleyOnlyRpcM Address

revealKey :: Alias -> Maybe ScrubbedBytes -> MorleyOnlyRpcM ()

waitForOperation :: OperationHash -> MorleyOnlyRpcM ()

rememberContract :: Bool -> Address -> AliasOrAliasHint -> MorleyOnlyRpcM ()

importKey :: Bool -> AliasOrAliasHint -> SecretKey -> MorleyOnlyRpcM Alias

resolveAddressMaybe :: AddressOrAlias -> MorleyOnlyRpcM (Maybe Address)

getAlias :: AddressOrAlias -> MorleyOnlyRpcM Alias

getPublicKey :: AddressOrAlias -> MorleyOnlyRpcM PublicKey

registerDelegate :: AliasOrAliasHint -> Maybe ScrubbedBytes -> MorleyOnlyRpcM ()

getTezosClientConfig :: MorleyOnlyRpcM TezosClientConfig

calcTransferFee :: AddressOrAlias -> Maybe ScrubbedBytes -> TezosInt64 -> [CalcTransferFeeData] -> MorleyOnlyRpcM [TezosMutez]

calcOriginationFee :: forall (st :: T) (cp :: T). UntypedValScope st => CalcOriginationFeeData cp st -> MorleyOnlyRpcM TezosMutez

getKeyPassword :: Address -> MorleyOnlyRpcM (Maybe ScrubbedBytes)

MonadReader MorleyOnlyRpcEnv MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

ask :: MorleyOnlyRpcM MorleyOnlyRpcEnv

local :: (MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv) -> MorleyOnlyRpcM a -> MorleyOnlyRpcM a

reader :: (MorleyOnlyRpcEnv -> a) -> MorleyOnlyRpcM a

HasLog MorleyOnlyRpcEnv Message MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

getLogAction :: MorleyOnlyRpcEnv -> LogAction MorleyOnlyRpcM Message

setLogAction :: LogAction MorleyOnlyRpcM Message -> MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv

overLogAction :: (LogAction MorleyOnlyRpcM Message -> LogAction MorleyOnlyRpcM Message) -> MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv

logActionL :: Lens' MorleyOnlyRpcEnv (LogAction MorleyOnlyRpcM Message)

data MorleyOnlyRpcEnv

Environment used by MorleyOnlyRpcM.

Constructors

MorleyOnlyRpcEnv

Fields

• moreLogAction :: ClientLogAction MorleyOnlyRpcM

  Action used to log messages.

• moreClientEnv :: ClientEnv

  Environment necessary to make HTTP calls.

• moreSecretKeys :: Map Address SecretKey

  In-memory secret keys that can be used for signing.

Instances

MonadReader MorleyOnlyRpcEnv MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

ask :: MorleyOnlyRpcM MorleyOnlyRpcEnv

local :: (MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv) -> MorleyOnlyRpcM a -> MorleyOnlyRpcM a

reader :: (MorleyOnlyRpcEnv -> a) -> MorleyOnlyRpcM a

HasLog MorleyOnlyRpcEnv Message MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

getLogAction :: MorleyOnlyRpcEnv -> LogAction MorleyOnlyRpcM Message

setLogAction :: LogAction MorleyOnlyRpcM Message -> MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv

overLogAction :: (LogAction MorleyOnlyRpcM Message -> LogAction MorleyOnlyRpcM Message) -> MorleyOnlyRpcEnv -> MorleyOnlyRpcEnv

logActionL :: Lens' MorleyOnlyRpcEnv (LogAction MorleyOnlyRpcM Message)

mkMorleyOnlyRpcEnv :: [SecretKey] -> BaseUrl -> Word -> IO MorleyOnlyRpcEnv

Construct MorleyOnlyRpcEnv.

• Full MorleyClientConfig is not passed because we need just 2 things from it.
• Log action is built the same way as for MorleyClientEnv.
• All secret keys are passed as an argument.

runMorleyOnlyRpcM :: MorleyOnlyRpcEnv -> MorleyOnlyRpcM a -> IO a

Run MorleyOnlyRpcM action within given MorleyOnlyRpcEnv. Retry action in case of invalid counter error.

High-level actions

module Morley.Client.Action

RPC

data BlockId

A block identifier as submitted to RPC.

A block can be referenced by head, genesis, level or block hash

Constructors

HeadId

Identifier referring to the head block.

FinalHeadId

Identifier of the most recent block guaranteed to have been finalized. See: https://web.archive.org/web/20220305165609/https://tezos.gitlab.io/protocols/tenderbake.html#operations

GenesisId

Identifier referring to the genesis block.

LevelId Natural

Identifier referring to a block by its level.

BlockHashId Text

Idenfitier referring to a block by its hash in Base58Check notation.

AtDepthId Natural

Identifier of a block at specific depth relative to head.

Instances

Eq BlockId

Defined in Morley.Client.RPC.Types

Methods

(==) :: BlockId -> BlockId -> Bool

(/=) :: BlockId -> BlockId -> Bool

Show BlockId

Defined in Morley.Client.RPC.Types

Methods

showsPrec :: Int -> BlockId -> ShowS

show :: BlockId -> String

showList :: [BlockId] -> ShowS

Buildable BlockId

Defined in Morley.Client.RPC.Types

Methods

build :: BlockId -> Builder

ToHttpApiData BlockId

Defined in Morley.Client.RPC.Types

Methods

toUrlPiece :: BlockId -> Text

toEncodedUrlPiece :: BlockId -> Builder

toHeader :: BlockId -> ByteString

toQueryParam :: BlockId -> Text

HasCLReader BlockId

Defined in Morley.Client.RPC.Types

Methods

getReader :: ReadM BlockId

getMetavar :: String

class (Monad m, MonadCatch m) => HasTezosRpc m where

Type class that provides interaction with tezos node via RPC

Methods

getBlockHash :: BlockId -> m Text

Get hash of the given BlockId, mostly used to get hash of HeadId

getCounterAtBlock :: BlockId -> Address -> m TezosInt64

Get address counter, which is required for both transaction sending and contract origination.

getBlockHeader :: BlockId -> m BlockHeader

Get the whole header of a block.

getBlockConstants :: BlockId -> m BlockConstants

Get block constants that are required by other RPC calls.

getBlockOperations :: BlockId -> m [[BlockOperation]]

Get all operations from the block with specified ID.

getProtocolParametersAtBlock :: BlockId -> m ProtocolParameters

Get protocol parameters that are for limits calculations.

runOperationAtBlock :: BlockId -> RunOperation -> m RunOperationResult

Perform operation run, this operation doesn't require proper signing. As a result it returns burned gas and storage diff (also list of originated contracts but their addresses are incorrect due to the fact that operation could be not signed properly) or indicates about operation failure.

preApplyOperationsAtBlock :: BlockId -> [PreApplyOperation] -> m [RunOperationResult]

Preapply list of operations, each operation has to be signed with sender secret key. As a result it returns list of results each of which has information about burned gas, storage diff size and originated contracts.

forgeOperationAtBlock :: BlockId -> ForgeOperation -> m HexJSONByteString

Forge operation in order to receive its hexadecimal representation.

injectOperation :: HexJSONByteString -> m OperationHash

Inject operation, note that this operation has to be signed before injection. As a result it returns operation hash.

getContractScriptAtBlock :: BlockId -> Address -> m OriginationScript

Get code and storage of the desired contract. Note that both code and storage are presented in low-level Micheline representation. If the storage contains a big_map, then the expression will contain the big_map's ID, not its contents.

getContractStorageAtBlock :: BlockId -> Address -> m Expression

Get storage of the desired contract at some block. Note that storage is presented in low-level Micheline representation. If the storage contains a big_map, then the expression will contain the big_map's ID, not its contents.

getContractBigMapAtBlock :: BlockId -> Address -> GetBigMap -> m GetBigMapResult

Get big map value by contract address.

getBigMapValueAtBlock :: BlockId -> Natural -> Text -> m Expression

Get big map value at some block by the big map's ID and the hashed entry key.

getBigMapValuesAtBlock :: BlockId -> Natural -> Maybe Natural -> Maybe Natural -> m Expression

Get all big map values at some block by the big map's ID and the optional offset and length.

getBalanceAtBlock :: BlockId -> Address -> m Mutez

Get balance for given address.

getDelegateAtBlock :: BlockId -> Address -> m (Maybe KeyHash)

Get delegate for given address.

runCodeAtBlock :: BlockId -> RunCode -> m RunCodeResult

Emulate contract call. This RPC endpoint does the same as tezos-client run script command does.

getChainId :: m ChainId

Get current ChainId

getManagerKeyAtBlock :: BlockId -> Address -> m (Maybe PublicKey)

Get manager key for given address. Returns Nothing if this key wasn't revealed.

Instances

HasTezosRpc MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

getBlockHash :: BlockId -> MorleyOnlyRpcM Text

getCounterAtBlock :: BlockId -> Address -> MorleyOnlyRpcM TezosInt64

getBlockHeader :: BlockId -> MorleyOnlyRpcM BlockHeader

getBlockConstants :: BlockId -> MorleyOnlyRpcM BlockConstants

getBlockOperations :: BlockId -> MorleyOnlyRpcM [[BlockOperation]]

getProtocolParametersAtBlock :: BlockId -> MorleyOnlyRpcM ProtocolParameters

runOperationAtBlock :: BlockId -> RunOperation -> MorleyOnlyRpcM RunOperationResult

preApplyOperationsAtBlock :: BlockId -> [PreApplyOperation] -> MorleyOnlyRpcM [RunOperationResult]

forgeOperationAtBlock :: BlockId -> ForgeOperation -> MorleyOnlyRpcM HexJSONByteString

injectOperation :: HexJSONByteString -> MorleyOnlyRpcM OperationHash

getContractScriptAtBlock :: BlockId -> Address -> MorleyOnlyRpcM OriginationScript

getContractStorageAtBlock :: BlockId -> Address -> MorleyOnlyRpcM Expression

getContractBigMapAtBlock :: BlockId -> Address -> GetBigMap -> MorleyOnlyRpcM GetBigMapResult

getBigMapValueAtBlock :: BlockId -> Natural -> Text -> MorleyOnlyRpcM Expression

getBigMapValuesAtBlock :: BlockId -> Natural -> Maybe Natural -> Maybe Natural -> MorleyOnlyRpcM Expression

getBalanceAtBlock :: BlockId -> Address -> MorleyOnlyRpcM Mutez

getDelegateAtBlock :: BlockId -> Address -> MorleyOnlyRpcM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyOnlyRpcM RunCodeResult

getChainId :: MorleyOnlyRpcM ChainId

getManagerKeyAtBlock :: BlockId -> Address -> MorleyOnlyRpcM (Maybe PublicKey)

HasTezosRpc MorleyClientM

Defined in Morley.Client.Full

Methods

getBlockHash :: BlockId -> MorleyClientM Text

getCounterAtBlock :: BlockId -> Address -> MorleyClientM TezosInt64

getBlockHeader :: BlockId -> MorleyClientM BlockHeader

getBlockConstants :: BlockId -> MorleyClientM BlockConstants

getBlockOperations :: BlockId -> MorleyClientM [[BlockOperation]]

getProtocolParametersAtBlock :: BlockId -> MorleyClientM ProtocolParameters

runOperationAtBlock :: BlockId -> RunOperation -> MorleyClientM RunOperationResult

preApplyOperationsAtBlock :: BlockId -> [PreApplyOperation] -> MorleyClientM [RunOperationResult]

forgeOperationAtBlock :: BlockId -> ForgeOperation -> MorleyClientM HexJSONByteString

injectOperation :: HexJSONByteString -> MorleyClientM OperationHash

getContractScriptAtBlock :: BlockId -> Address -> MorleyClientM OriginationScript

getContractStorageAtBlock :: BlockId -> Address -> MorleyClientM Expression

getContractBigMapAtBlock :: BlockId -> Address -> GetBigMap -> MorleyClientM GetBigMapResult

getBigMapValueAtBlock :: BlockId -> Natural -> Text -> MorleyClientM Expression

getBigMapValuesAtBlock :: BlockId -> Natural -> Maybe Natural -> Maybe Natural -> MorleyClientM Expression

getBalanceAtBlock :: BlockId -> Address -> MorleyClientM Mutez

getDelegateAtBlock :: BlockId -> Address -> MorleyClientM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyClientM RunCodeResult

getChainId :: MorleyClientM ChainId

getManagerKeyAtBlock :: BlockId -> Address -> MorleyClientM (Maybe PublicKey)

data OperationInfo i

Constructors

OpTransfer (TransferInfo i)

OpOriginate (OriginationInfo i)

OpReveal (RevealInfo i)

Instances

ToJSON (OperationInfo RPCInput)

Defined in Morley.Client.RPC.Types

Methods

toJSON :: OperationInfo RPCInput -> Value

toEncoding :: OperationInfo RPCInput -> Encoding

toJSONList :: [OperationInfo RPCInput] -> Value

toEncodingList :: [OperationInfo RPCInput] -> Encoding

class OperationInfoDescriptor (i :: Type)

Associated Types

type TransferInfo i :: Type

type OriginationInfo i :: Type

type RevealInfo i :: Type

Instances

OperationInfoDescriptor RPCInput

Defined in Morley.Client.RPC.Types

Associated Types

type TransferInfo RPCInput

type OriginationInfo RPCInput

type RevealInfo RPCInput

OperationInfoDescriptor ClientInput

Defined in Morley.Client.Action.Common

Associated Types

type TransferInfo ClientInput

type OriginationInfo ClientInput

type RevealInfo ClientInput

OperationInfoDescriptor Result

Defined in Morley.Client.Action.Operation

Associated Types

type TransferInfo Result

type OriginationInfo Result

type RevealInfo Result

data RPCInput

Designates an input RPC data that we supply to perform an operation.

Instances

OperationInfoDescriptor RPCInput

Defined in Morley.Client.RPC.Types

Associated Types

type TransferInfo RPCInput

type OriginationInfo RPCInput

type RevealInfo RPCInput

ToJSON (OperationInfo RPCInput)

Defined in Morley.Client.RPC.Types

Methods

toJSON :: OperationInfo RPCInput -> Value

toEncoding :: OperationInfo RPCInput -> Encoding

toJSONList :: [OperationInfo RPCInput] -> Value

toEncodingList :: [OperationInfo RPCInput] -> Encoding

type TransferInfo RPCInput

Defined in Morley.Client.RPC.Types

type TransferInfo RPCInput = TransactionOperation

type OriginationInfo RPCInput

Defined in Morley.Client.RPC.Types

type OriginationInfo RPCInput = OriginationOperation

type RevealInfo RPCInput

Defined in Morley.Client.RPC.Types

type RevealInfo RPCInput = RevealOperation

getContract :: HasTezosRpc m => Address -> m Contract

Get originated Contract for some address.

getImplicitContractCounter :: HasTezosRpc m => Address -> m TezosInt64

Get counter value for given address.

Throws an error if given address is a contract address.

getContractStorage :: HasTezosRpc m => Address -> m Expression

getContractStorageAtBlock applied to the head block.

getBigMapValue :: HasTezosRpc m => Natural -> Text -> m Expression

getBigMapValueAtBlock applied to the head block.

getHeadBlock :: HasTezosRpc m => m Text

Get hash of the current head block, this head hash is used in other RPC calls.

getCounter :: HasTezosRpc m => Address -> m TezosInt64

getCounterAtBlock applied to the head block.

getProtocolParameters :: HasTezosRpc m => m ProtocolParameters

getProtocolParametersAtBlock applied to the head block.

runOperation :: HasTezosRpc m => RunOperation -> m RunOperationResult

runOperationAtBlock applied to the head block.

preApplyOperations :: HasTezosRpc m => [PreApplyOperation] -> m [RunOperationResult]

preApplyOperationsAtBlock applied to the head block.

forgeOperation :: HasTezosRpc m => ForgeOperation -> m HexJSONByteString

forgeOperationAtBlock applied to the head block.

getContractScript :: HasTezosRpc m => Address -> m OriginationScript

getContractScriptAtBlock applied to the head block.

getContractBigMap :: HasTezosRpc m => Address -> GetBigMap -> m GetBigMapResult

getContractBigMapAtBlock applied to the head block.

getBalance :: HasTezosRpc m => Address -> m Mutez

getBalanceAtBlock applied to the head block.

getDelegate :: HasTezosRpc m => Address -> m (Maybe KeyHash)

getDelegateAtBlock applied to the head block.

runCode :: HasTezosRpc m => RunCode -> m RunCodeResult

runCodeAtBlock applied to the head block.

getManagerKey :: HasTezosRpc m => Address -> m (Maybe PublicKey)

Errors

data ClientRpcError

Errors that can happen in the RPC part when a user tries to make failing actions.

Constructors

ContractFailed

Smart contract execution has failed.

Fields

• Address

  Smart contract address.

• Expression

  Value the contract has failed with.

BadParameter

Parameter passed to a contract does not match its type.

Fields

• Address

  Smart contract address.

• Expression

  Value passed as parameter.

EmptyTransaction

Transfer of 0 to an implicit account.

Fields

• Address

  Receiver address.

ShiftOverflow

A smart contract execution failed due to a shift overflow.

Fields

• Address

  Smart contract address.

GasExhaustion

A smart contract execution failed due gas exhaustion.

Fields

• Address

  Smart contract address.

KeyAlreadyRevealed

A key has already been revealed.

Fields

• Address

  The address corresponding to the key.

ClientInternalError InternalError

An error that RPC considers internal occurred. These errors are considered internal by mistake, they are actually quite realistic and normally indicate bad user action. Currently we put InternalError here as is, because it's easy for a user of morley-client to work with this type. In #284 we will consider more errors and maybe some of them will need to be mapped into something more user-friendly, then we will reconsider this approach.

Instances

Show ClientRpcError

Defined in Morley.Client.RPC.Error

Methods

showsPrec :: Int -> ClientRpcError -> ShowS

show :: ClientRpcError -> String

showList :: [ClientRpcError] -> ShowS

Exception ClientRpcError

Defined in Morley.Client.RPC.Error

Methods

toException :: ClientRpcError -> SomeException

fromException :: SomeException -> Maybe ClientRpcError

displayException :: ClientRpcError -> String

Buildable ClientRpcError

Defined in Morley.Client.RPC.Error

Methods

build :: ClientRpcError -> Builder

data UnexpectedErrors

Errors that we don't expect to happen, but they can be reported by the server.

Constructors

UnexpectedRunErrors [RunError]

UnexpectedInternalErrors [InternalError]

Instances

Show UnexpectedErrors

Defined in Morley.Client.RPC.Error

Methods

showsPrec :: Int -> UnexpectedErrors -> ShowS

show :: UnexpectedErrors -> String

showList :: [UnexpectedErrors] -> ShowS

Exception UnexpectedErrors

Defined in Morley.Client.RPC.Error

Methods

toException :: UnexpectedErrors -> SomeException

fromException :: SomeException -> Maybe UnexpectedErrors

displayException :: UnexpectedErrors -> String

Buildable UnexpectedErrors

Defined in Morley.Client.RPC.Error

Methods

build :: UnexpectedErrors -> Builder

data IncorrectRpcResponse

Errors that we can throw when we get a response from a node that doesn't match our expectations. It means that either the node we are talking to misbehaves or our code is incorrect.

Constructors

RpcUnexpectedSize Int Int

RpcOriginatedNoContracts

RpcNoOperationsRun

RpcOriginatedMoreContracts [Address]

Instances

Show IncorrectRpcResponse

Defined in Morley.Client.RPC.Error

Methods

showsPrec :: Int -> IncorrectRpcResponse -> ShowS

show :: IncorrectRpcResponse -> String

showList :: [IncorrectRpcResponse] -> ShowS

Exception IncorrectRpcResponse

Defined in Morley.Client.RPC.Error

Methods

toException :: IncorrectRpcResponse -> SomeException

fromException :: SomeException -> Maybe IncorrectRpcResponse

displayException :: IncorrectRpcResponse -> String

Buildable IncorrectRpcResponse

Defined in Morley.Client.RPC.Error

Methods

build :: IncorrectRpcResponse -> Builder

data RunError

Errors that are sent as part of operation result in an OK response (status 200). They are semi-formally defined as errors that can happen when a contract is executed and something goes wrong.

Constructors

RuntimeError Address

ScriptRejected Expression

BadContractParameter Address

InvalidConstant Expression Expression

InvalidContract Address

InconsistentTypes Expression Expression

InvalidPrimitive [Text] Text

InvalidSyntacticConstantError Expression Expression

InvalidExpressionKind [Text] Text

InvalidContractNotation Text

UnexpectedContract

IllFormedType Expression

UnexpectedOperation

REEmptyTransaction

Transfer of 0 to an implicit account.

Fields

• Address

  Receiver address.

ScriptOverflow

A contract failed due to the detection of an overflow. It seems to happen if a too big value is passed to shift instructions (as second argument).

GasExhaustedOperation

MutezAdditionOverflow [TezosInt64]

MutezSubtractionUnderflow [TezosInt64]

MutezMultiplicationOverflow TezosInt64 TezosInt64

CantPayStorageFee

BalanceTooLow ("balance" :! Mutez) ("required" :! Mutez)

PreviouslyRevealedKey Address

NonExistingContract Address

Instances

Show RunError

Defined in Morley.Client.RPC.Types

Methods

showsPrec :: Int -> RunError -> ShowS

show :: RunError -> String

showList :: [RunError] -> ShowS

FromJSON RunError

Defined in Morley.Client.RPC.Types

Methods

parseJSON :: Value -> Parser RunError

parseJSONList :: Value -> Parser [RunError]

Buildable RunError

Defined in Morley.Client.RPC.Types

Methods

build :: RunError -> Builder

Getters

data ValueDecodeFailure

Failed to decode received value to the given type.

Constructors

ValueDecodeFailure Text T

Instances

Show ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

showsPrec :: Int -> ValueDecodeFailure -> ShowS

show :: ValueDecodeFailure -> String

showList :: [ValueDecodeFailure] -> ShowS

Exception ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

toException :: ValueDecodeFailure -> SomeException

fromException :: SomeException -> Maybe ValueDecodeFailure

displayException :: ValueDecodeFailure -> String

Buildable ValueDecodeFailure

Defined in Morley.Client.RPC.Getters

Methods

build :: ValueDecodeFailure -> Builder

data ValueNotFound

Constructors

ValueNotFound

Instances

Show ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

showsPrec :: Int -> ValueNotFound -> ShowS

show :: ValueNotFound -> String

showList :: [ValueNotFound] -> ShowS

Exception ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

toException :: ValueNotFound -> SomeException

fromException :: SomeException -> Maybe ValueNotFound

displayException :: ValueNotFound -> String

Buildable ValueNotFound

Defined in Morley.Client.RPC.Getters

Methods

build :: ValueNotFound -> Builder

readAllBigMapValues :: forall v k m. (NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> m [v]

Read all big_map values, given it's ID. If the values are not of the expected type, a ValueDecodeFailure will be thrown.

readAllBigMapValuesMaybe :: forall v k m. (NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> m (Maybe [v])

Read all big_map values, given it's ID. If the values are not of the expected type, a ValueDecodeFailure will be thrown.

Returns Nothing if a big_map with the given ID does not exist.

readContractBigMapValue :: forall k v m. (PackedValScope k, HasTezosRpc m, SingI v) => Address -> Value k -> m (Value v)

Read big_map value of given contract by key.

If the contract contains several big_maps with given key type, only one of them will be considered.

readBigMapValueMaybe :: forall v k m. (NicePackedValue k, NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> k -> m (Maybe v)

Read big_map value, given it's ID and a key. If the value is not of the expected type, a ValueDecodeFailure will be thrown.

Returns Nothing if a big_map with the given ID does not exist, or it does exist but does not contain the given key.

readBigMapValue :: forall v k m. (NicePackedValue k, NiceUnpackedValue v, HasTezosRpc m) => BigMapId k v -> k -> m v

Read big_map value, given it's ID and a key. If the value is not of the expected type, a ValueDecodeFailure will be thrown.

tezos-client

data Alias

tezos-client can associate addresses with textual aliases. This type denotes such an alias.

Instances

Eq Alias

Defined in Morley.Client.TezosClient.Types

Methods

(==) :: Alias -> Alias -> Bool

(/=) :: Alias -> Alias -> Bool

Ord Alias

Defined in Morley.Client.TezosClient.Types

Methods

compare :: Alias -> Alias -> Ordering

(<) :: Alias -> Alias -> Bool

(<=) :: Alias -> Alias -> Bool

(>) :: Alias -> Alias -> Bool

(>=) :: Alias -> Alias -> Bool

max :: Alias -> Alias -> Alias

min :: Alias -> Alias -> Alias

Show Alias

Defined in Morley.Client.TezosClient.Types

Methods

showsPrec :: Int -> Alias -> ShowS

show :: Alias -> String

showList :: [Alias] -> ShowS

Buildable Alias

Defined in Morley.Client.TezosClient.Types

Methods

build :: Alias -> Builder

CmdArg Alias

Defined in Morley.Client.TezosClient.Types

Methods

toCmdArg :: Alias -> String

mkAlias :: Text -> Alias

Make Alias from Text

data AliasHint

A hint for constructing an alias when generating an address or remembering a contract.

Resulting Alias most likely will differ from this as we tend to prefix aliases, but a user should be able to recognize your alias visually. For instance, passing "alice" as a hint may result into "myTest.alice" alias being created.

Instances

Show AliasHint

Defined in Morley.Client.TezosClient.Types

Methods

showsPrec :: Int -> AliasHint -> ShowS

show :: AliasHint -> String

showList :: [AliasHint] -> ShowS

IsString AliasHint

Defined in Morley.Client.TezosClient.Types

Methods

fromString :: String -> AliasHint

Semigroup AliasHint

Defined in Morley.Client.TezosClient.Types

Methods

(<>) :: AliasHint -> AliasHint -> AliasHint

sconcat :: NonEmpty AliasHint -> AliasHint

stimes :: Integral b => b -> AliasHint -> AliasHint

Monoid AliasHint

Defined in Morley.Client.TezosClient.Types

Methods

mempty :: AliasHint

mappend :: AliasHint -> AliasHint -> AliasHint

mconcat :: [AliasHint] -> AliasHint

Buildable AliasHint

Defined in Morley.Client.TezosClient.Types

Methods

build :: AliasHint -> Builder

mkAliasHint :: Text -> AliasHint

Make AliasHint from Text

data AliasOrAliasHint

Either an Alias, or an AliasHint. The difference is that AliasHint needs to be prefixed (if alias prefix is non-empty), while Alias doesn't.

Constructors

AnAlias Alias

AnAliasHint AliasHint

Instances

Show AliasOrAliasHint

Defined in Morley.Client.TezosClient.Types

Methods

showsPrec :: Int -> AliasOrAliasHint -> ShowS

show :: AliasOrAliasHint -> String

showList :: [AliasOrAliasHint] -> ShowS

data AddressOrAlias

Representation of an address that tezos-client uses. It can be an address itself or a textual alias.

Constructors

AddressResolved Address

Address itself, can be used as is.

AddressAlias Alias

Address alias, should be resolved by tezos-client.

Instances

Eq AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

(==) :: AddressOrAlias -> AddressOrAlias -> Bool

(/=) :: AddressOrAlias -> AddressOrAlias -> Bool

Ord AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

compare :: AddressOrAlias -> AddressOrAlias -> Ordering

(<) :: AddressOrAlias -> AddressOrAlias -> Bool

(<=) :: AddressOrAlias -> AddressOrAlias -> Bool

(>) :: AddressOrAlias -> AddressOrAlias -> Bool

(>=) :: AddressOrAlias -> AddressOrAlias -> Bool

max :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias

min :: AddressOrAlias -> AddressOrAlias -> AddressOrAlias

Show AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

showsPrec :: Int -> AddressOrAlias -> ShowS

show :: AddressOrAlias -> String

showList :: [AddressOrAlias] -> ShowS

Buildable AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

build :: AddressOrAlias -> Builder

HasCLReader AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

getReader :: ReadM AddressOrAlias

getMetavar :: String

CmdArg AddressOrAlias

Defined in Morley.Client.TezosClient.Types

Methods

toCmdArg :: AddressOrAlias -> String

addressResolved :: ToAddress addr => addr -> AddressOrAlias

Creates an AddressOrAlias with the given address.

class Monad m => HasTezosClient m where

Type class that provides interaction with tezos-client binary

Methods

signBytes :: AddressOrAlias -> Maybe ScrubbedBytes -> ByteString -> m Signature

Sign an operation with tezos-client.

genKey :: AliasOrAliasHint -> m Address

Generate a secret key and store it with given alias. If a key with this alias already exists, the corresponding address will be returned and no state will be changed.

genFreshKey :: AliasOrAliasHint -> m Address

Generate a secret key and store it with given alias. Unlike genKey this function overwrites the existing key when given alias is already stored.

revealKey :: Alias -> Maybe ScrubbedBytes -> m ()

Reveal public key associated with given implicit account.

waitForOperation :: OperationHash -> m ()

Wait until operation known by some hash is included into the chain.

rememberContract :: Bool -> Address -> AliasOrAliasHint -> m ()

Associate the given contract with alias. The Bool variable indicates whether or not we should replace already existing contract alias or not.

importKey :: Bool -> AliasOrAliasHint -> SecretKey -> m Alias

Saves SecretKey via tezos-client with given alias or hint associated. The Bool variable indicates whether or not we should replace already existing alias key or not. The returned Alias is the alias under which the key will be accessible.

resolveAddressMaybe :: AddressOrAlias -> m (Maybe Address)

Retrieve an address from given address or alias. If address or alias does not exist returns Nothing

getAlias :: AddressOrAlias -> m Alias

Retrieve an alias from given address using tezos-client. The primary (and probably only) reason this function exists is that tezos-client sign command only works with aliases. It was reported upstream: https://gitlab.com/tezos/tezos/-/issues/836.

getPublicKey :: AddressOrAlias -> m PublicKey

Get public key for given address. Public keys are often used when interacting with the multising contracts

registerDelegate :: AliasOrAliasHint -> Maybe ScrubbedBytes -> m ()

Register a given address as delegate

getTezosClientConfig :: m TezosClientConfig

Retrieve the current tezos-client config.

calcTransferFee :: AddressOrAlias -> Maybe ScrubbedBytes -> TezosInt64 -> [CalcTransferFeeData] -> m [TezosMutez]

Calculate fee for transfer using `--dry-run` flag.

calcOriginationFee :: UntypedValScope st => CalcOriginationFeeData cp st -> m TezosMutez

Calculate fee for origination using `--dry-run` flag.

getKeyPassword :: Address -> m (Maybe ScrubbedBytes)

Get password for secret key associated with given address in case this key is password-protected. Obtained password is used in two places: * 1) In signBytes call. * 2) in revealKey call.

Instances

HasTezosClient MorleyOnlyRpcM

Defined in Morley.Client.OnlyRPC

Methods

signBytes :: AddressOrAlias -> Maybe ScrubbedBytes -> ByteString -> MorleyOnlyRpcM Signature

genKey :: AliasOrAliasHint -> MorleyOnlyRpcM Address

genFreshKey :: AliasOrAliasHint -> MorleyOnlyRpcM Address

revealKey :: Alias -> Maybe ScrubbedBytes -> MorleyOnlyRpcM ()

waitForOperation :: OperationHash -> MorleyOnlyRpcM ()

rememberContract :: Bool -> Address -> AliasOrAliasHint -> MorleyOnlyRpcM ()

importKey :: Bool -> AliasOrAliasHint -> SecretKey -> MorleyOnlyRpcM Alias

resolveAddressMaybe :: AddressOrAlias -> MorleyOnlyRpcM (Maybe Address)

getAlias :: AddressOrAlias -> MorleyOnlyRpcM Alias

getPublicKey :: AddressOrAlias -> MorleyOnlyRpcM PublicKey

registerDelegate :: AliasOrAliasHint -> Maybe ScrubbedBytes -> MorleyOnlyRpcM ()

getTezosClientConfig :: MorleyOnlyRpcM TezosClientConfig

calcTransferFee :: AddressOrAlias -> Maybe ScrubbedBytes -> TezosInt64 -> [CalcTransferFeeData] -> MorleyOnlyRpcM [TezosMutez]

calcOriginationFee :: forall (st :: T) (cp :: T). UntypedValScope st => CalcOriginationFeeData cp st -> MorleyOnlyRpcM TezosMutez

getKeyPassword :: Address -> MorleyOnlyRpcM (Maybe ScrubbedBytes)

HasTezosClient MorleyClientM

Defined in Morley.Client.Full

Methods

signBytes :: AddressOrAlias -> Maybe ScrubbedBytes -> ByteString -> MorleyClientM Signature

genKey :: AliasOrAliasHint -> MorleyClientM Address

genFreshKey :: AliasOrAliasHint -> MorleyClientM Address

revealKey :: Alias -> Maybe ScrubbedBytes -> MorleyClientM ()

waitForOperation :: OperationHash -> MorleyClientM ()

rememberContract :: Bool -> Address -> AliasOrAliasHint -> MorleyClientM ()

importKey :: Bool -> AliasOrAliasHint -> SecretKey -> MorleyClientM Alias

resolveAddressMaybe :: AddressOrAlias -> MorleyClientM (Maybe Address)

getAlias :: AddressOrAlias -> MorleyClientM Alias

getPublicKey :: AddressOrAlias -> MorleyClientM PublicKey

registerDelegate :: AliasOrAliasHint -> Maybe ScrubbedBytes -> MorleyClientM ()

getTezosClientConfig :: MorleyClientM TezosClientConfig

calcTransferFee :: AddressOrAlias -> Maybe ScrubbedBytes -> TezosInt64 -> [CalcTransferFeeData] -> MorleyClientM [TezosMutez]

calcOriginationFee :: forall (st :: T) (cp :: T). UntypedValScope st => CalcOriginationFeeData cp st -> MorleyClientM TezosMutez

getKeyPassword :: Address -> MorleyClientM (Maybe ScrubbedBytes)

resolveAddress :: (MonadThrow m, HasTezosClient m) => AddressOrAlias -> m Address

Return Address corresponding to given AddressOrAlias.

data TezosClientError

A data type for all predicatable errors that can happen during tezos-client usage.

Constructors

UnexpectedClientFailure

tezos-client call unexpectedly failed (returned non-zero exit code). The error contains the error code, stdout and stderr contents.

Fields

• Int

  Exit code

• Text

  stdout

• Text

  stderr

UnknownAddressAlias

Could not find an address with given name.

Fields

• Alias

  Name of address which is eventually used

UnknownAddress

Could not find an address.

Fields

• Address

  Address that is not present in local tezos cache

AlreadyRevealed

Public key of the given address is already revealed.

Fields

• Alias

  Address alias that has already revealed its key

InvalidOperationHash OperationHash

Can't wait for inclusion of operation with given hash because the hash is invalid.

CounterIsAlreadyUsed

Error that indicates when given counter is already used for given contract.

Fields

• Text

  Raw counter

• Text

  Raw address

EConnreset

Network error with which tezos-client fails from time to time.

ConfigParseError String

A parse error occurred during config parsing.

TezosClientCryptoParseError Text CryptoParseError

tezos-client produced a cryptographic primitive that we can't parse.

TezosClientParseAddressError Text ParseAddressError

tezos-client produced an address that we can't parse.

TezosClientParseFeeError Text Text

tezos-client produced invalid output for parsing baker fee

TezosClientUnexpectedOutputFormat Text

tezos-client printed a string that doesn't match the format we expect.

CantRevealContract

Given alias is a contract and cannot be revealed.

Fields

• Alias

  Address alias of implicit account

ContractSender Address Text

Given contract is a source of a transfer or origination operation.

EmptyImplicitContract

Given alias is an empty implicit contract.

Fields

• Alias

  Address alias of implicit contract

TezosClientUnexpectedSignatureOutput Text

tezos-client sign bytes produced unexpected output format

TezosClientParseEncryptionTypeError Text Text

tezos-client produced invalid output for parsing secret key encryption type.

Instances

Eq TezosClientError

Defined in Morley.Client.TezosClient.Impl

Methods

(==) :: TezosClientError -> TezosClientError -> Bool

(/=) :: TezosClientError -> TezosClientError -> Bool

Show TezosClientError

Defined in Morley.Client.TezosClient.Impl

Methods

showsPrec :: Int -> TezosClientError -> ShowS

show :: TezosClientError -> String

showList :: [TezosClientError] -> ShowS

Exception TezosClientError

Defined in Morley.Client.TezosClient.Impl

Methods

toException :: TezosClientError -> SomeException

fromException :: SomeException -> Maybe TezosClientError

displayException :: TezosClientError -> String

Buildable TezosClientError

Defined in Morley.Client.TezosClient.Impl

Methods

build :: TezosClientError -> Builder

Util

disableAlphanetWarning :: IO ()

Sets the environment variable for disabling tezos-client "not a mainnet" warning

Reexports

data ParserInfo a

A full description for a runnable Parser for a program.

Instances

Functor ParserInfo

Defined in Options.Applicative.Types

Methods

fmap :: (a -> b) -> ParserInfo a -> ParserInfo b

(<$) :: a -> ParserInfo b -> ParserInfo a