| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Pass.Test
Contents
Synopsis
- convertToEitherString :: DefaultFun ()) () -> Either String () #
An appropriate number of tests for a compiler pass property, so that we get some decent exploration of the program space. If you also take other arguments, then consider multiplying this up in order to account for the larger space.
runTestPass :: (Pass on generated Termss, setting up the typechecking config
and throwing errors.