Test.Cleveland.Lorentz.Internal.Entrypoints

Internal utilities for unit testing.

Documentation

type ContractEPTest contractEps st vd = Contract contractEps st vd -> Map EpName Ty -> TestTree

Utility type synonym

type ContractEPTypeTest expectedEps = forall contractEps st vd. (NiceParameterFull expectedEps, NiceParameterFull contractEps) => Contract contractEps st vd -> TestTree

Utility type synonym

testCompareContractEntrypointsT :: forall expectedEps. (EPMismatch -> EPMismatch) -> TestName -> ContractEPTypeTest expectedEps

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

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.