| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Test.Import
Description
Mirrors Import module in a Lorentz way.
Synopsis
Documentation
testTreesWithContractL :: (Each [Typeable, SingI] [ToT cp, ToT st], HasCallStack) => FilePath -> ((Contract, Contract cp st) -> IO [TestTree]) -> IO [TestTree] Source #
Like testTreesWithContract but for Lorentz types.
specWithContractL :: (Each [Typeable, SingI] [ToT cp, ToT st], HasCallStack) => FilePath -> ((Contract, Contract cp st) -> Spec) -> Spec Source #
Like specWithContract, but for Lorentz types.