Test.Cleveland.Internal.Client

Implementation that works with real Tezos network, it talks to a Tezos node and uses tezos-client.

Documentation

newtype ClientM a

Constructors

ClientM

Fields

• unClientM :: ReaderT (IORef ClientState) IO a

Instances

MonadFail ClientM

Defined in Test.Cleveland.Internal.Client

Methods

fail :: String -> ClientM a

MonadIO ClientM

Defined in Test.Cleveland.Internal.Client

Methods

liftIO :: IO a -> ClientM a

Applicative ClientM

Defined in Test.Cleveland.Internal.Client

Methods

pure :: a -> ClientM a

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

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

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

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

Functor ClientM

Defined in Test.Cleveland.Internal.Client

Methods

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

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

Monad ClientM

Defined in Test.Cleveland.Internal.Client

Methods

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

(>>) :: ClientM a -> ClientM b -> ClientM b

return :: a -> ClientM a

MonadScenario ClientM

Defined in Test.Cleveland.Internal.Scenario

Methods

scenario :: ClevelandT ClientM () -> Scenario' ClientM

MonadCatch ClientM

Defined in Test.Cleveland.Internal.Client

Methods

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

MonadThrow ClientM

Defined in Test.Cleveland.Internal.Client

Methods

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

MonadReader (IORef ClientState) ClientM

Defined in Test.Cleveland.Internal.Client

Methods

ask :: ClientM (IORef ClientState)

local :: (IORef ClientState -> IORef ClientState) -> ClientM a -> ClientM a

reader :: (IORef ClientState -> a) -> ClientM a

runNetworkT :: NetworkEnv -> NetworkT ClientM a -> IO a

Capability implementations

networkOpsImpl :: MorleyClientEnv -> Sender -> ClevelandOpsImpl ClientM

Implementation that works with real network and uses tezos-node RPC and tezos-client.

networkMiscImpl :: NetworkEnv -> ClevelandMiscImpl ClientM

Internals

revealKeyUnlessRevealed :: MorleyClientEnv -> ImplicitAddress -> IO ()

Runs revealKeyUnlessRevealed with given client environment.

setupMoneybagAddress :: NetworkEnv -> IO Moneybag

Initialize moneybag address by given NetworkEnv

data ClientState

Constructors

ClientState

Fields

• csDefaultAliasCounter :: DefaultAliasCounter
• csRefillableAddresses :: Set ImplicitAddress
• csMoneybagAddress :: Moneybag

Instances

MonadReader (IORef ClientState) ClientM

Defined in Test.Cleveland.Internal.Client

Methods

ask :: ClientM (IORef ClientState)

local :: (IORef ClientState -> IORef ClientState) -> ClientM a -> ClientM a

reader :: (IORef ClientState -> a) -> ClientM a

newtype TestError

Signals an assertion failure during the execution of an action.

Constructors

CustomTestError Text

Instances

Exception TestError

Defined in Test.Cleveland.Internal.Client

Methods

toException :: TestError -> SomeException

fromException :: SomeException -> Maybe TestError

displayException :: TestError -> String

Show TestError

Defined in Test.Cleveland.Internal.Client

Methods

showsPrec :: Int -> TestError -> ShowS

show :: TestError -> String

showList :: [TestError] -> ShowS

Buildable TestError

Defined in Test.Cleveland.Internal.Client

Methods

build :: TestError -> Builder

data MoneybagConfigurationException

This error designates that necessary preparations for running tests are not made.

Constructors

NoMoneybagAddress ImplicitAlias

TwoMoneybagKeys ImplicitAlias SecretKey ImplicitAddress

Instances

Exception MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

Methods

toException :: MoneybagConfigurationException -> SomeException

fromException :: SomeException -> Maybe MoneybagConfigurationException

displayException :: MoneybagConfigurationException -> String

Generic MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

Associated Types

type Rep MoneybagConfigurationException :: Type -> Type

Methods

from :: MoneybagConfigurationException -> Rep MoneybagConfigurationException x

to :: Rep MoneybagConfigurationException x -> MoneybagConfigurationException

Show MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

Methods

showsPrec :: Int -> MoneybagConfigurationException -> ShowS

show :: MoneybagConfigurationException -> String

showList :: [MoneybagConfigurationException] -> ShowS

Buildable MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

Methods

build :: MoneybagConfigurationException -> Builder

Eq MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

Methods

(==) :: MoneybagConfigurationException -> MoneybagConfigurationException -> Bool

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

type Rep MoneybagConfigurationException

Defined in Test.Cleveland.Internal.Client

type Rep MoneybagConfigurationException = D1 ('MetaData "MoneybagConfigurationException" "Test.Cleveland.Internal.Client" "cleveland-0.2.1-inplace" 'False) (C1 ('MetaCons "NoMoneybagAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ImplicitAlias)) :+: C1 ('MetaCons "TwoMoneybagKeys" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ImplicitAlias) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SecretKey) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ImplicitAddress))))

Environment

mkMorleyOnlyRpcEnvNetwork

Arguments

:: NetworkEnv

-> [SecretKey]

Extra secrets that should be known

-> MorleyOnlyRpcEnv

Construct MorleyOnlyRpcEnv from NetworkEnv.

Lens for NetworkEnv

neMorleyClientEnvL :: Lens' NetworkEnv MorleyClientEnv

neSecretKeyL :: Lens' NetworkEnv (Maybe SecretKey)

neMoneybagAliasL :: Lens' NetworkEnv ImplicitAlias

neExplicitDataDirL :: Lens' NetworkEnv Bool

Error types

data InternalNetworkScenarioError

Constructors

TooManyRefillIterations Word ImplicitAddress

Instances

Exception InternalNetworkScenarioError

Defined in Test.Cleveland.Internal.Client

Methods

toException :: InternalNetworkScenarioError -> SomeException

fromException :: SomeException -> Maybe InternalNetworkScenarioError

displayException :: InternalNetworkScenarioError -> String

Show InternalNetworkScenarioError

Defined in Test.Cleveland.Internal.Client

Methods

showsPrec :: Int -> InternalNetworkScenarioError -> ShowS

show :: InternalNetworkScenarioError -> String

showList :: [InternalNetworkScenarioError] -> ShowS

Buildable InternalNetworkScenarioError

Defined in Test.Cleveland.Internal.Client

Methods

build :: InternalNetworkScenarioError -> Builder