module Test.Cleveland.Lorentz.Entrypoints
(
testContractCoversEntrypointsT
, testContractMatchesEntrypointsT
, testContractCoversEntrypoints
, testContractMatchesEntrypoints
) where
import Test.Tasty (TestName)
import Lorentz (NiceParameterFull)
import Test.Cleveland.Lorentz.Internal.Entrypoints
import Test.Cleveland.Michelson.Internal.Entrypoints (ignoreExtraEntrypoints)
testContractCoversEntrypointsT,
testContractMatchesEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp
testContractCoversEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp
testContractCoversEntrypointsT = forall expectedEps.
(EPMismatch -> EPMismatch)
-> TestName -> ContractEPTypeTest expectedEps
testCompareContractEntrypointsT @exp EPMismatch -> EPMismatch
ignoreExtraEntrypoints
testContractMatchesEntrypointsT :: forall exp. TestName -> ContractEPTypeTest exp
testContractMatchesEntrypointsT = forall expectedEps.
(EPMismatch -> EPMismatch)
-> TestName -> ContractEPTypeTest expectedEps
testCompareContractEntrypointsT @exp EPMismatch -> EPMismatch
forall a. a -> a
id
testContractCoversEntrypoints,
testContractMatchesEntrypoints :: NiceParameterFull contractEps => TestName -> ContractEPTest contractEps st vd
testContractCoversEntrypoints :: forall contractEps st vd.
NiceParameterFull contractEps =>
TestName -> ContractEPTest contractEps st vd
testContractCoversEntrypoints = (EPMismatch -> EPMismatch)
-> TestName -> ContractEPTest contractEps st vd
forall contractEps st vd.
NiceParameterFull contractEps =>
(EPMismatch -> EPMismatch)
-> TestName -> ContractEPTest contractEps st vd
testCompareContractEntrypoints EPMismatch -> EPMismatch
ignoreExtraEntrypoints
testContractMatchesEntrypoints :: forall contractEps st vd.
NiceParameterFull contractEps =>
TestName -> ContractEPTest contractEps st vd
testContractMatchesEntrypoints = (EPMismatch -> EPMismatch)
-> TestName -> ContractEPTest contractEps st vd
forall contractEps st vd.
NiceParameterFull contractEps =>
(EPMismatch -> EPMismatch)
-> TestName -> ContractEPTest contractEps st vd
testCompareContractEntrypoints EPMismatch -> EPMismatch
forall a. a -> a
id