Test.Cleveland.Internal.Pure

Integration with integrational testing engine (pun intended).

Documentation

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

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

Capability implementations

data PureState

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

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

emulatedImpl :: EmulatedImpl PureM

clevelandOpsImpl :: Sender -> ClevelandOpsImpl PureM

clevelandMiscImpl :: ClevelandMiscImpl PureM

Initial environment for Emulated tests

initEnv :: ImplicitAlias -> PureState

Support functions

failedInsideBranch :: Text -> SomeException -> FailedInBranch

moneybagAlias :: ImplicitAlias

emptyScenarioBranch :: ScenarioBranchName

Make branch names for a case when we are not within any branch.

Optics

psSecretKeys :: Lens' PureState (Map ImplicitAddress SecretKey)

psDefaultAliasesCounter :: Lens' PureState DefaultAliasCounter

psRefillableAddresses :: Lens' PureState (Set ImplicitAddress)

psNow :: Lens' PureState Timestamp

psLevel :: Lens' PureState Natural

psMinBlockTime :: Lens' PureState Natural

psGState :: Lens' PureState GState