To install the latest leancheck-instances version from Hackage, just run:
$ cabal update $ cabal install leancheck-instances
Importing the library:
> import Test.LeanCheck > import Test.LeanCheck.Instances
Checking properties of
> import qualified Data.Text as T > check $ \t -> T.reverse (T.reverse t) == t +++ OK, passed 200 tests. > check $ \t -> T.reverse t == t *** Failed! Falsifiable (after 6 tests): "a "
> import Data.Map > list :: [Map Bool Bool] [ fromList  , fromList [(False,False)] , fromList [(False,True)] , fromList [(True,False)] , fromList [(True,True)] , fromList [(False,False),(True,False)] , fromList [(False,False),(True,True)] , fromList [(False,True),(True,False)] , fromList [(False,True),(True,True)] ] > take 7 $ list :: [Map Int Int] [ fromList  , fromList [(0,0)] , fromList [(0,1)] , fromList [(1,0)] , fromList [(0,-1)] , fromList [(1,1)] , fromList [(0,0),(1,0)] ]
Adding more instances
Although the current objective is to include all types supported by quickcheck-instances, leancheck-instances only has about 10% of what is needed. Any help with new instances to increase that percentage will be appreciated.
This section provides a quick guide on how to add new instances.
Create the module file if needed If needed, create a module that will contain your instance following the same structure in quickcheck-instances:
$ cat > src/Test/LeanCheck/Instances/Something.hs -- | -- Module : Test.LeanCheck.Instances.Containers -- Copyright : (c) 2019 Authors of leancheck-instances -- License : 3-Clause BSD (see the file LICENSE) -- Maintainer : Rudy Matela <[email protected]> -- -- 'Listable' something. module Test.LeanCheck.Instances.Something () where import Test.LeanCheck import Something ^D
* Import your newly created module on `src/Test/LeanCheck/Instances.hs` * Add your newly created module to the `exposed-modules` list in `leancheck-instances.cabal`. * You may need to add a package dependency to `build-depends` on `leancheck-instances.cabal`. * (Optionally) run `make depend` to update the `mk/depend.mk` file.
Create your instance Open the relevant module with your favourite text editor and add your instance:
instance ... => Listable Something where ...
Check the existing modules and the
Listabletypeclass documentation for how to create one.
Make sure your instance builds with
(Optional) Add diff-tests
* on `bench/tiers.hs` add an entry for your type; * add two matching entries on the `diff-test-tiers` and `update-diff-test-tiers` Makefile targets. * run `make update-diff-test` to generate the reference output file. * run `make test` just to make sure the test is working.
- Submit a Pull Request Then submit a pull request on GitHub and wait for your build to pass. Alternatively, send a patch via e-mail.
Further reading / see also
*Note that all licence references and agreements mentioned in the leancheck-instances README section above are relevant to that project's source code only.