Test.Cleveland.Lorentz.Entrypoints

Utility functions for checking predicates on contract's entrypoints for Lorentz

Entrypoint spec passed on the type level

testContractCoversEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp

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

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

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

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).