Haskell Notes

Posted on October 25, 2016

QuickCheck

Converting from the TestBatch type, that is used by Test.QuickCheck.Checkers, to TestTree, that is used by Tasty:

-- | Function to create Tasty groups from Checkers batches.
batchToTree :: TestName -> [TestBatch] -> TestTree
batchToTree n = testGroup n . map (uncurry testProperty) . concatMap unbatch

Lambdabot

Running mueval from the (fish) command line:

env GHC_PACKAGE_PATH=(stack path --ghc-package-path 2> /dev/null) mueval --expression '1*100+1'

Note that if you’re using bash or similar, you should add a $ before (stack path ...).