Morley.Client.Full

Implementation of full-featured Morley client.

Documentation

data MorleyClientEnv

Runtime environment for morley client.

Constructors

MorleyClientEnv

Fields

• mceTezosClient :: TezosClientEnv

  Environment for octez-client.

• mceLogAction :: ClientLogAction MorleyClientM

  Action used to log messages.

• mceSecretKey :: Maybe SecretKey

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

• mceClientEnv :: ClientEnv

  Environment necessary to make HTTP calls.

Instances

HasTezosClientEnv MorleyClientEnv

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

tezosClientEnvL :: Lens' MorleyClientEnv TezosClientEnv

MonadReader MorleyClientEnv MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

ask :: MorleyClientM MorleyClientEnv

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

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

HasLog MorleyClientEnv Message MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

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

• mccEndpointUrl :: Maybe BaseUrl

  URL of tezos endpoint on which operations are performed

• mccTezosClientPath :: FilePath

  Path to octez-client binary through which operations are performed

• mccMbTezosClientDataDir :: Maybe FilePath

  Path to octez-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 MorleyClientM a

Instances

MonadIO MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

liftIO :: IO a -> MorleyClientM a

Applicative MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

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

Functor MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

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

Monad MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

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

return :: a -> MorleyClientM a

MonadCatch MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

MonadMask MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

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)

MonadThrow MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

HasTezosRpc MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

getBlockHash :: BlockId -> MorleyClientM BlockHash

getCounterAtBlock :: BlockId -> ImplicitAddress -> MorleyClientM TezosInt64

getBlockHeader :: BlockId -> MorleyClientM BlockHeader

getScriptSizeAtBlock :: BlockId -> CalcSize -> MorleyClientM ScriptSize

getBlockConstants :: BlockId -> MorleyClientM BlockConstants

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

getBlockOperationHashes :: BlockId -> MorleyClientM [[OperationHash]]

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 -> ContractAddress -> MorleyClientM OriginationScript

getContractStorageAtBlock :: BlockId -> ContractAddress -> MorleyClientM Expression

getContractBigMapAtBlock :: BlockId -> ContractAddress -> 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 -> L1Address -> MorleyClientM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyClientM RunCodeResult

getChainId :: MorleyClientM ChainId

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

waitForOperation :: MorleyClientM OperationHash -> MorleyClientM OperationHash

getTicketBalanceAtBlock :: BlockId -> Address -> GetTicketBalance -> MorleyClientM Natural

getAllTicketBalancesAtBlock :: BlockId -> ContractAddress -> MorleyClientM [GetAllTicketBalancesResponse]

packData :: forall (t :: T). ForbidOp t => BlockId -> Value t -> Notes t -> MorleyClientM Text

HasTezosClient MorleyClientM

Defined in Morley.Client.TezosClient.Impl

Methods

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

genKey :: ImplicitAlias -> MorleyClientM ImplicitAddressWithAlias

genFreshKey :: ImplicitAlias -> MorleyClientM ImplicitAddressWithAlias

rememberContract :: AliasBehavior -> ContractAddress -> ContractAlias -> MorleyClientM ()

getAliasesAndAddresses :: MorleyClientM AliasesAndAddresses

getKeyPassword :: ImplicitAddressWithAlias -> MorleyClientM (Maybe ScrubbedBytes)

getPublicKey :: ImplicitAddressWithAlias -> MorleyClientM PublicKey

RunClient MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

throwClientError :: ClientError -> MorleyClientM a

MonadUnliftIO MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

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

MonadReader MorleyClientEnv MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

Methods

ask :: MorleyClientM MorleyClientEnv

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

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

HasLog MorleyClientEnv Message MorleyClientM

Defined in Morley.Client.TezosClient.Types.MorleyClientM

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)

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

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

mkMorleyClientEnv :: MorleyClientConfig -> IO MorleyClientEnv

Construct MorleyClientEnv.

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

mkLogAction :: MonadIO m => Word -> ClientLogAction m

Make appropriate ClientLogAction based on verbosity specified by the user.

Lens

mceTezosClientL :: Lens' MorleyClientEnv TezosClientEnv

mceLogActionL :: Lens' MorleyClientEnv (ClientLogAction MorleyClientM)

mceSecretKeyL :: Lens' MorleyClientEnv (Maybe SecretKey)

mceClientEnvL :: Lens' MorleyClientEnv ClientEnv

mccEndpointUrlL :: Lens' MorleyClientConfig (Maybe BaseUrl)

mccTezosClientPathL :: Lens' MorleyClientConfig FilePath

mccMbTezosClientDataDirL :: Lens' MorleyClientConfig (Maybe FilePath)

mccVerbosityL :: Lens' MorleyClientConfig Word

mccSecretKeyL :: Lens' MorleyClientConfig (Maybe SecretKey)