Safe Haskell | None |
---|---|
Language | Haskell2010 |
Implementation that works with real Tezos network, it
talks to a Tezos node and uses tezos-client
.
Synopsis
- newtype ClientM a = ClientM {
- unClientM :: ReaderT (IORef ClientState) IO a
- runClevelandT :: NetworkEnv -> ClevelandT ClientM a -> IO a
- networkOpsImpl :: MorleyClientEnv -> Sender -> ClevelandOpsImpl ClientM
- networkMiscImpl :: MorleyClientEnv -> ClevelandMiscImpl ClientM
- revealKeyUnlessRevealed :: MorleyClientEnv -> Address -> IO ()
- setupMoneybagAddress :: NetworkEnv -> IO Moneybag
- data ClientState = ClientState {}
- newtype TestError = CustomTestError Text
- data MoneybagConfigurationException
- = NoMoneybagAddress Alias
- | TwoMoneybagKeys Alias SecretKey Address
- data NetworkEnv = NetworkEnv {
- neMorleyClientEnv :: MorleyClientEnv
- neSecretKey :: Maybe SecretKey
- neMoneybagAlias :: Alias
- neMorleyClientEnvL :: Lens' NetworkEnv MorleyClientEnv
- neSecretKeyL :: Lens' NetworkEnv (Maybe SecretKey)
- neMoneybagAliasL :: Lens' NetworkEnv Alias
- data InternalNetworkScenarioError = TooManyRefillIterations Word Address
Documentation
Instances
Monad ClientM Source # | |
Functor ClientM Source # | |
Applicative ClientM Source # | |
MonadIO ClientM Source # | |
Defined in Test.Cleveland.Internal.Client | |
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 # |
runClevelandT :: NetworkEnv -> ClevelandT ClientM a -> IO a Source #
Capability implementations
networkOpsImpl :: MorleyClientEnv -> Sender -> ClevelandOpsImpl ClientM Source #
Implementation that works with real network and uses tezos-node
RPC and tezos-client
.
Internals
revealKeyUnlessRevealed :: MorleyClientEnv -> Address -> IO () Source #
Runs revealKeyUnlessRevealed
with given client environment.
setupMoneybagAddress :: NetworkEnv -> IO Moneybag Source #
Initialize moneybag
address by given NetworkEnv
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 # |
Signals an assertion failure during the execution of an action.
Instances
Show TestError Source # | |
Exception TestError Source # | |
Defined in Test.Cleveland.Internal.Client toException :: TestError -> SomeException # fromException :: SomeException -> Maybe TestError # displayException :: TestError -> String # | |
Buildable TestError Source # | |
Defined in Test.Cleveland.Internal.Client |
data MoneybagConfigurationException Source #
This error designates that necessary preparations for running tests are not made.
NoMoneybagAddress Alias | |
TwoMoneybagKeys Alias SecretKey Address |
Instances
Environment
data NetworkEnv Source #
NetworkEnv | |
|
Lens for NetworkEnv
neSecretKeyL :: Lens' NetworkEnv (Maybe SecretKey) Source #
neMoneybagAliasL :: Lens' NetworkEnv Alias Source #
Error types
data InternalNetworkScenarioError Source #
TooManyRefillIterations Word Address |