Michelson.Test.Import

Functions to import contracts to be used in tests.

Documentation

readContract :: forall cp st. Each [Typeable, SingI] [cp, st] => FilePath -> Text -> Either ImportContractError (Contract, Contract cp st)

specWithContract :: (Each [Typeable, SingI] [cp, st], HasCallStack) => FilePath -> ((Contract, Contract cp st) -> Spec) -> Spec

Import contract and use it in the spec. Both versions of contract are passed to the callback function (untyped and typed).

If contract's import failed, a spec with single failing expectation will be generated (so tests will run unexceptionally, but a failing result will notify about problem).

specWithContractL :: (Each [Typeable, SingI] [ToT cp, ToT st], HasCallStack) => FilePath -> ((Contract, Contract cp st) -> Spec) -> Spec

Like specWithContract, but for Lorentz types.

specWithTypedContract :: (Each [Typeable, SingI] [cp, st], HasCallStack) => FilePath -> (Contract cp st -> Spec) -> Spec

A version of specWithContract which passes only the typed representation of the contract.

specWithUntypedContract :: FilePath -> (Contract -> Spec) -> Spec

importContract :: forall cp st. Each [Typeable, SingI] [cp, st] => FilePath -> IO (Contract, Contract cp st)

Import contract from a given file path.

This function reads file, parses and type checks a contract. Within the typechecking we assume that no contracts are originated, otherwise a type checking error will be caused.

This function may throw IOException and ImportContractError.

importUntypedContract :: FilePath -> IO Contract

data ImportContractError

Error type for importContract function.

Constructors

ICEUnexpectedParamType !Type !Type

ICEUnexpectedStorageType !Type !Type

ICEParse !ParserException

ICETypeCheck !TCError

Instances

Eq ImportContractError

Defined in Michelson.Test.Import

Methods

(==) :: ImportContractError -> ImportContractError -> Bool

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

Show ImportContractError

Defined in Michelson.Test.Import

Methods

showsPrec :: Int -> ImportContractError -> ShowS

show :: ImportContractError -> String

showList :: [ImportContractError] -> ShowS

Exception ImportContractError

Defined in Michelson.Test.Import

Methods

toException :: ImportContractError -> SomeException

fromException :: SomeException -> Maybe ImportContractError

displayException :: ImportContractError -> String

Buildable ImportContractError

Defined in Michelson.Test.Import

Methods

build :: ImportContractError -> Builder