Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Implementation that works with real Tezos network, it
talks to a Tezos node and uses octez-client
.
Synopsis
- newtype TestError = CustomTestError Text
- data InternalNetworkScenarioError = TooManyRefillIterations Word ImplicitAddress
- newtype ClientM a = ClientM {
- unClientM :: ReaderT (IORef ClientState) IO a
- data ClientState = ClientState {}
- data MoneybagConfigurationException
- mkMorleyOnlyRpcEnvNetwork :: NetworkEnv -> [SecretKey] -> MorleyOnlyRpcEnv
- runNetworkT :: NetworkEnv -> NetworkT ClientM a -> IO a
- setupMoneybagAddress :: NetworkEnv -> IO Moneybag
- networkOpsImpl :: MorleyClientEnv -> Sender -> ClevelandOpsImpl ClientM
- networkMiscImpl :: NetworkEnv -> ClevelandMiscImpl ClientM
- clientFailure :: Doc -> ClientM a
- comment :: Text -> ClientM ()
- getAlias :: L1AddressKind kind => MorleyClientEnv -> KindedAddress kind -> ClientM (Alias kind)
- getAliasMaybe :: L1AddressKind kind => MorleyClientEnv -> KindedAddress kind -> ClientM (Maybe (Alias kind))
- getLastBlockTimestamp :: MorleyClientEnv -> ClientM UTCTime
- getLastBlockLevel :: MorleyClientEnv -> ClientM Natural
- runOperationBatch :: MorleyClientEnv -> ImplicitAddressWithAlias -> [OperationInfo ClevelandInput] -> ClientM [OperationInfo ClevelandResult]
- toClevelandResult :: OperationInfo Result -> ClientM (OperationInfo ClevelandResult)
- intOpEventToContractEvent :: WithSource EventOperation -> ClientM ContractEvent
- dryRunOperations :: ImplicitAddressWithAlias -> [OperationInfo ClientInput] -> MorleyClientM [(AppliedResult, Mutez)]
- findBalanceTooLow :: [RunError] -> Maybe ("balance" :! Mutez, "required" :! Mutez)
- findCantPayStorageFee :: [RunError] -> Bool
- resolveAddressAndAlias :: MorleyClientEnv -> KindedAddress kind -> ClientM AddressAndAlias
- exceptionToTransferFailure :: MorleyClientEnv -> [OperationResp WithSource] -> ClientRpcError -> ClientM TransferFailure
- rpcToCallSeq :: [OperationResp WithSource] -> CallSequence
- exceptionHandler :: MorleyClientEnv -> ClientM a -> ClientM a
- resolveSpecificOrDefaultAlias :: SpecificOrDefaultAlias -> ClientM ImplicitAlias
- setAddressRefillable :: ImplicitAddress -> ClientM ()
- isAddressRefillable :: ImplicitAddress -> ClientM Bool
- revealKeyUnlessRevealed :: MorleyClientEnv -> ImplicitAddressWithAlias -> IO ()
Documentation
Signals an assertion failure during the execution of an action.
Instances
Exception TestError Source # | |
Defined in Test.Cleveland.Internal.Client toException :: TestError -> SomeException # fromException :: SomeException -> Maybe TestError # displayException :: TestError -> String # | |
Show TestError Source # | |
Buildable TestError Source # | |
Defined in Test.Cleveland.Internal.Client |
data InternalNetworkScenarioError Source #
Instances
Exception InternalNetworkScenarioError Source # | |
Show InternalNetworkScenarioError Source # | |
Defined in Test.Cleveland.Internal.Client showsPrec :: Int -> InternalNetworkScenarioError -> ShowS # show :: InternalNetworkScenarioError -> String # showList :: [InternalNetworkScenarioError] -> ShowS # | |
Buildable InternalNetworkScenarioError Source # | |
Defined in Test.Cleveland.Internal.Client build :: InternalNetworkScenarioError -> Doc buildList :: [InternalNetworkScenarioError] -> Doc |
Instances
MonadFail ClientM Source # | |
Defined in Test.Cleveland.Internal.Client | |
MonadIO ClientM Source # | |
Defined in Test.Cleveland.Internal.Client | |
Applicative ClientM Source # | |
Functor ClientM Source # | |
Monad ClientM Source # | |
MonadScenario ClientM Source # | |
Defined in Test.Cleveland.Internal.Scenario | |
MonadCatch ClientM Source # | |
MonadThrow ClientM Source # | |
Defined in Test.Cleveland.Internal.Client | |
MonadReader (IORef ClientState) ClientM Source # | |
Defined in Test.Cleveland.Internal.Client ask :: ClientM (IORef ClientState) # local :: (IORef ClientState -> IORef ClientState) -> ClientM a -> ClientM a # reader :: (IORef ClientState -> a) -> ClientM a # |
data ClientState Source #
Instances
MonadReader (IORef ClientState) ClientM Source # | |
Defined in Test.Cleveland.Internal.Client ask :: ClientM (IORef ClientState) # local :: (IORef ClientState -> IORef ClientState) -> ClientM a -> ClientM a # reader :: (IORef ClientState -> a) -> ClientM a # |
data MoneybagConfigurationException Source #
This error designates that necessary preparations for running tests are not made.
Instances
mkMorleyOnlyRpcEnvNetwork Source #
:: NetworkEnv | |
-> [SecretKey] | Extra secrets that should be known |
-> MorleyOnlyRpcEnv |
Construct MorleyOnlyRpcEnv
from NetworkEnv
.
runNetworkT :: NetworkEnv -> NetworkT ClientM a -> IO a Source #
setupMoneybagAddress :: NetworkEnv -> IO Moneybag Source #
Initialize moneybag
address by given NetworkEnv
networkOpsImpl :: MorleyClientEnv -> Sender -> ClevelandOpsImpl ClientM Source #
Implementation that works with real network and uses octez-node
RPC and octez-client
.
clientFailure :: Doc -> ClientM a Source #
getAlias :: L1AddressKind kind => MorleyClientEnv -> KindedAddress kind -> ClientM (Alias kind) Source #
getAliasMaybe :: L1AddressKind kind => MorleyClientEnv -> KindedAddress kind -> ClientM (Maybe (Alias kind)) Source #
runOperationBatch :: MorleyClientEnv -> ImplicitAddressWithAlias -> [OperationInfo ClevelandInput] -> ClientM [OperationInfo ClevelandResult] Source #
toClevelandResult :: OperationInfo Result -> ClientM (OperationInfo ClevelandResult) Source #
intOpEventToContractEvent :: WithSource EventOperation -> ClientM ContractEvent Source #
dryRunOperations :: ImplicitAddressWithAlias -> [OperationInfo ClientInput] -> MorleyClientM [(AppliedResult, Mutez)] Source #
findCantPayStorageFee :: [RunError] -> Bool Source #
resolveAddressAndAlias :: MorleyClientEnv -> KindedAddress kind -> ClientM AddressAndAlias Source #
exceptionToTransferFailure :: MorleyClientEnv -> [OperationResp WithSource] -> ClientRpcError -> ClientM TransferFailure Source #
rpcToCallSeq :: [OperationResp WithSource] -> CallSequence Source #
exceptionHandler :: MorleyClientEnv -> ClientM a -> ClientM a Source #
setAddressRefillable :: ImplicitAddress -> ClientM () Source #
revealKeyUnlessRevealed :: MorleyClientEnv -> ImplicitAddressWithAlias -> IO () Source #
Runs revealKeyUnlessRevealed
with given client environment.