Test.Cleveland.Internal.Pure

Integration with integrational testing engine (pun intended).

Documentation

data TestError

Constructors

UnexpectedTypeCheckError TcError

UnexpectedStorageType (MismatchError T)

UnexpectedBigMapType Natural (MismatchError T)

CustomTestError Text

Instances

Exception TestError

Defined in Test.Cleveland.Internal.Pure

Methods

toException :: TestError -> SomeException

fromException :: SomeException -> Maybe TestError

displayException :: TestError -> String

Show TestError

Defined in Test.Cleveland.Internal.Pure

Methods

showsPrec :: Int -> TestError -> ShowS

show :: TestError -> String

showList :: [TestError] -> ShowS

Buildable TestError

Defined in Test.Cleveland.Internal.Pure

Methods

build :: TestError -> Builder

newtype PureM a

Constructors

PureM

Fields

• unPureM :: ReaderT (IORef PureState) (CatchT (WriterT LogsInfo IO)) a

Instances

MonadFail PureM

Defined in Test.Cleveland.Internal.Pure

Methods

fail :: String -> PureM a

MonadIO PureM

Defined in Test.Cleveland.Internal.Pure

Methods

liftIO :: IO a -> PureM a

Applicative PureM

Defined in Test.Cleveland.Internal.Pure

Methods

pure :: a -> PureM a

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

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

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

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

Functor PureM

Defined in Test.Cleveland.Internal.Pure

Methods

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

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

Monad PureM

Defined in Test.Cleveland.Internal.Pure

Methods

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

(>>) :: PureM a -> PureM b -> PureM b

return :: a -> PureM a

MonadScenario PureM

Defined in Test.Cleveland.Internal.Scenario

Methods

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

MonadCatch PureM

Defined in Test.Cleveland.Internal.Pure

Methods

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

MonadThrow PureM

Defined in Test.Cleveland.Internal.Pure

Methods

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

MonadState PureState PureM

Defined in Test.Cleveland.Internal.Pure

Methods

get :: PureM PureState

put :: PureState -> PureM ()

state :: (PureState -> (a, PureState)) -> PureM a

MonadWriter LogsInfo PureM

Defined in Test.Cleveland.Internal.Pure

Methods

writer :: (a, LogsInfo) -> PureM a

tell :: LogsInfo -> PureM ()

listen :: PureM a -> PureM (a, LogsInfo)

pass :: PureM (a, LogsInfo -> LogsInfo) -> PureM a

MonadReader (IORef PureState) PureM

Defined in Test.Cleveland.Internal.Pure

Methods

ask :: PureM (IORef PureState)

local :: (IORef PureState -> IORef PureState) -> PureM a -> PureM a

reader :: (IORef PureState -> a) -> PureM a

data PureState

Constructors

PureState

Fields

• _psSecretKeys :: Map ImplicitAddress SecretKey
• _psDefaultAliasesCounter :: DefaultAliasCounter
• _psRefillableAddresses :: Set ImplicitAddress
• _psNow :: Timestamp
• _psLevel :: Natural
• _psMinBlockTime :: Natural
• _psGState :: GState

Instances

Show PureState

Defined in Test.Cleveland.Internal.Pure

Methods

showsPrec :: Int -> PureState -> ShowS

show :: PureState -> String

showList :: [PureState] -> ShowS

Eq PureState

Defined in Test.Cleveland.Internal.Pure

Methods

(==) :: PureState -> PureState -> Bool

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

MonadState PureState PureM

Defined in Test.Cleveland.Internal.Pure

Methods

get :: PureM PureState

put :: PureState -> PureM ()

state :: (PureState -> (a, PureState)) -> PureM a

MonadReader (IORef PureState) PureM

Defined in Test.Cleveland.Internal.Pure

Methods

ask :: PureM (IORef PureState)

local :: (IORef PureState -> IORef PureState) -> PureM a -> PureM a

reader :: (IORef PureState -> a) -> PureM a

psDefaultAliasesCounter :: Lens' PureState DefaultAliasCounter

psGState :: Lens' PureState GState

psLevel :: Lens' PureState Natural

psMinBlockTime :: Lens' PureState Natural

psNow :: Lens' PureState Timestamp

psRefillableAddresses :: Lens' PureState (Set ImplicitAddress)

psSecretKeys :: Lens' PureState (Map ImplicitAddress SecretKey)

moneybagAlias :: ImplicitAlias

runEmulatedT :: ImplicitAlias -> EmulatedT PureM a -> IO a

emulatedImpl :: EmulatedImpl PureM

clevelandOpsImpl :: Sender -> ClevelandOpsImpl PureM

doTransfer :: (ParameterScope (ToT v), IsoValue v, ToL1Address addr) => ImplicitAddress -> addr -> Mutez -> EpName -> v -> PureM [ContractEvent]

emitOpToContractEvent :: EmitOperation -> ContractEvent

clevelandMiscImpl :: ClevelandMiscImpl PureM

findBigMapByIdMaybe :: forall k v. (SingI v, SingI k) => Natural -> MaybeT PureM (Value ('TBigMap k v))

Traverse storage values of all contracts and looks for a big_map with the given ID.

isAddressRefillable :: ImplicitAddress -> PureM Bool

getBalance :: L1AddressKind kind => KindedAddress kind -> PureM Mutez

exceptionHandler :: PureM a -> PureM a

getMorleyLogsImpl :: PureM a -> PureM (LogsInfo, a)

getStorageImpl :: forall st addr. ToStorageType st addr => addr -> PureM st

addressState :: KindedAddress kind -> PureM (AddressStateFam kind)

resolveLens :: (MonadState PureState m, At x) => LensLike' (Const (Maybe (IxValue x))) GState x -> (Index x -> m b) -> (Index x -> IxValue x -> b) -> Index x -> m b

resolveAlias :: (At x, Index x ~ Alias kind, IxValue x ~ KindedAddress kind) => LensLike' (Const (Maybe (IxValue x))) GState x -> Alias kind -> PureM (AddressWithAlias kind)

resolveAddress :: x ~ Bimap (Alias kind) (KindedAddress kind) => LensLike' (Const (Maybe (Index x))) GState x -> KindedAddress kind -> PureM (AddressWithAlias kind)

unknownAddress :: KindedAddress kind -> PureM whatever

unknownAlias :: Alias kind -> PureM whatever

failure :: forall a. Builder -> PureM a

getSecretKey :: ImplicitAddress -> PureM SecretKey

initEnv :: ImplicitAlias -> PureState

transfer :: (ParameterScope (ToT epArg), IsoValue epArg, ToAddress addr) => ("from" :! ImplicitAddress) -> ("to" :! addr) -> Mutez -> EpName -> epArg -> PureM [EmitOperation]

originate :: OriginateData oty large -> PureM ContractAddress

Originate a contract with given initial storage and balance. Its address is returned.

throwEE :: ExecutorError -> PureM a

registerInterpretation :: ExecutorM a -> PureM a

Runs a set of operations and updates the engine's state.

interpret :: ExecutorM a -> PureM (Either ExecutorError (ExecutorRes, a))

Interpret an action and return the result _without_ updating the engine's state.

setDelegate :: ImplicitAddress -> Maybe KeyHash -> PureM ()