Morley.Client.Full

Implementation of full-featured Morley client.

Documentation

type MorleyClientEnv = MorleyClientEnv' MorleyClientM

data MorleyClientM a

Instances

MonadIO MorleyClientM

Defined in Morley.Client.Full

Methods

liftIO :: IO a -> 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

Functor MorleyClientM

Defined in Morley.Client.Full

Methods

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

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

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

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)

MonadThrow MorleyClientM

Defined in Morley.Client.Full

Methods

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

HasTezosRpc MorleyClientM

Defined in Morley.Client.Full

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 -> ContractAddress -> MorleyClientM (Maybe KeyHash)

runCodeAtBlock :: BlockId -> RunCode -> MorleyClientM RunCodeResult

getChainId :: MorleyClientM ChainId

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

waitForOperation :: MorleyClientM OperationHash -> MorleyClientM OperationHash

HasTezosClient MorleyClientM

Defined in Morley.Client.Full

Methods

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

genKey :: ImplicitAlias -> MorleyClientM ImplicitAddress

genFreshKey :: ImplicitAlias -> MorleyClientM ImplicitAddress

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

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

resolveAddressMaybe :: forall (kind :: AddressKind). AddressOrAlias kind -> MorleyClientM (Maybe (KindedAddress kind))

getAlias :: forall (kind :: AddressKind). L1AddressKind kind => AddressOrAlias kind -> MorleyClientM (Alias kind)

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

getKeyPassword :: ImplicitAddress -> MorleyClientM (Maybe ScrubbedBytes)

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

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)

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

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