Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Internal utilities for unit testing.
Synopsis
- type ContractEPTypeTest expectedEps = forall contractEps st vd. (NiceParameterFull expectedEps, NiceParameterFull contractEps) => Contract contractEps st vd -> TestTree
- type ContractEPTest contractEps st vd = Contract contractEps st vd -> Map EpName Ty -> TestTree
- testCompareContractEntrypointsT :: forall expectedEps. (EPMismatch -> EPMismatch) -> TestName -> ContractEPTypeTest expectedEps
- testCompareContractEntrypoints :: forall contractEps st vd. NiceParameterFull contractEps => (EPMismatch -> EPMismatch) -> TestName -> ContractEPTest contractEps st vd
Documentation
type ContractEPTypeTest expectedEps = forall contractEps st vd. (NiceParameterFull expectedEps, NiceParameterFull contractEps) => Contract contractEps st vd -> TestTree Source #
Utility type synonym
type ContractEPTest contractEps st vd = Contract contractEps st vd -> Map EpName Ty -> TestTree Source #
Utility type synonym
testCompareContractEntrypointsT :: forall expectedEps. (EPMismatch -> EPMismatch) -> TestName -> ContractEPTypeTest expectedEps Source #
Expect the contract to 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).
Comparison is defined by the first argument; use ignoreExtraEntrypoints
for cover test,
id
for match test.
testCompareContractEntrypoints :: forall contractEps st vd. NiceParameterFull contractEps => (EPMismatch -> EPMismatch) -> TestName -> ContractEPTest contractEps st vd Source #
Expect the contract to match with the entrypoints given in spec (with matching types).
Checks both the contract type and the contract itself (when represented as an untyped Michelson
contract).
Comparison is defined by the first argument; use ignoreExtraEntrypoints
for cover test,
id
for match test.