Safe Haskell | None |
---|---|
Language | Haskell2010 |
Integration with integrational testing engine (pun intended).
Synopsis
- newtype PureM a = PureM {}
- runClevelandT :: Alias -> ClevelandT PureM a -> IO a
- runEmulatedT :: Alias -> EmulatedT PureM a -> IO a
- data PureState
- data TestError
- = UnexpectedTypeCheckError TCError
- | UnexpectedStorageType (MismatchError T)
- | UnexpectedBigMapKeyType (MismatchError T)
- | UnexpectedBigMapValueType (MismatchError T)
- | CustomTestError Text
- emulatedImpl :: EmulatedImpl PureM
- clevelandOpsImpl :: Sender -> ClevelandOpsImpl PureM
- clevelandMiscImpl :: ClevelandMiscImpl PureM
- initEnv :: Alias -> PureState
- failedInsideBranch :: Text -> SomeException -> FailedInBranch
- moneybagAlias :: Alias
- emptyScenarioBranch :: ScenarioBranchName
- psAliases :: Lens' PureState Aliases
- psDefaultAliasesCounter :: Lens' PureState DefaultAliasCounter
- psRefillableAddresses :: Lens' PureState (Set Address)
- psNow :: Lens' PureState Timestamp
- psLevel :: Lens' PureState Natural
- psGState :: Lens' PureState GState
- psContractsNames :: Lens' PureState (Map Address Text)
Documentation
Instances
runClevelandT :: Alias -> ClevelandT PureM a -> IO a Source #
Capability implementations
UnexpectedTypeCheckError TCError | |
UnexpectedStorageType (MismatchError T) | |
UnexpectedBigMapKeyType (MismatchError T) | |
UnexpectedBigMapValueType (MismatchError T) | |
CustomTestError Text |
Instances
Show TestError Source # | |
Exception TestError Source # | |
Defined in Test.Cleveland.Internal.Pure toException :: TestError -> SomeException # fromException :: SomeException -> Maybe TestError # displayException :: TestError -> String # | |
Buildable TestError Source # | |
Defined in Test.Cleveland.Internal.Pure |
Initial environment for Emulated tests
Support functions
failedInsideBranch :: Text -> SomeException -> FailedInBranch Source #
moneybagAlias :: Alias Source #
emptyScenarioBranch :: ScenarioBranchName Source #
Make branch names for a case when we are not within any branch.