Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Utility functions for checking predicates on contract's entrypoints for Lorentz
Synopsis
- testContractCoversEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp
- testContractMatchesEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp
- testContractCoversEntrypoints :: NiceParameterFull contractEps => TestName -> ContractEPTest contractEps st vd
- testContractMatchesEntrypoints :: NiceParameterFull contractEps => TestName -> ContractEPTest contractEps st vd
Entrypoint spec passed on the type level
testContractCoversEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp Source #
Expect the contract to cover or exactly match with the entrypoints given in spec passed as the first type argument. Checks both the contract type and the contract itself (when represented as an untyped Michelson contract).
testContractMatchesEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp Source #
Expect the contract to cover or exactly match with the entrypoints given in spec passed as the first type argument. Checks both the contract type and the contract itself (when represented as an untyped Michelson contract).
Entrypoint spec passed as a value
testContractCoversEntrypoints :: NiceParameterFull contractEps => TestName -> ContractEPTest contractEps st vd Source #
Expect the contract to cover or exactly match with the entrypoints given in spec passed as a
Map
of names to types. Checks both the contract type and the contract itself (when represented as
an untyped Michelson contract).
testContractMatchesEntrypoints :: NiceParameterFull contractEps => TestName -> ContractEPTest contractEps st vd Source #
Expect the contract to cover or exactly match with the entrypoints given in spec passed as a
Map
of names to types. Checks both the contract type and the contract itself (when represented as
an untyped Michelson contract).