{-# OPTIONS_GHC -Wno-deprecations #-}
module Test.Cleveland.Lorentz
(
specWithContract
, specWithTypedContract
, specWithUntypedContract
, importContract
, embedContract
, embedContractM
, importValue
, embedValue
, embedValueM
, Michelson.ContractReturn
, Michelson.ContractPropValidator
, Michelson.contractProp
, Michelson.contractPropVal
, testContractCoversEntrypointsT
, testContractMatchesEntrypointsT
, testContractCoversEntrypoints
, testContractMatchesEntrypoints
, ContractHandle (..)
, chNiceParameterEvi
, chNiceStorageEvi
, ToStorageType (..)
, toAddress
, runDocTests
, testLorentzDoc
, excludeDocTests
, failedTest
, succeededTest
, eitherIsLeft
, eitherIsRight
, meanTimeUpperBoundProp
, meanTimeUpperBoundPropNF
, mcs, ms, sec, minute
, dummyContractEnv
, contractConsumer
) where
import Test.Cleveland.Doc.Lorentz
import Test.Cleveland.Lorentz.Consumer
import Test.Cleveland.Lorentz.Entrypoints
import Test.Cleveland.Lorentz.Import
import Test.Cleveland.Lorentz.Types
import Test.Cleveland.Michelson.Dummy
import Test.Cleveland.Michelson.Import
(specWithContract, specWithTypedContract, specWithUntypedContract)
import Test.Cleveland.Michelson.Unit qualified as Michelson
import Test.Cleveland.Util