[Haskell-cafe] ANN: LeanCheck v0.9.0 -- enumerative property testing

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Jan 17 17:34:00 UTC 2019


Sorry - I copy-pasted the prompt wrongly.
This is actually using Smallcheck:

> Prelude Test.LeanCheck> list 3 series :: [Double]
> [0.0,1.0,-1.0,2.0,0.5,-2.0,4.0,0.25,-0.5,-4.0,-0.25]

and this is Leancheck:

> Prelude Test.LeanCheck> take 12 $ list :: [Double]
> [0.0,1.0,-1.0,Infinity,0.5,2.0,-Infinity,-0.5,-2.0,0.3333333333333333,3.0,-0.3333333333333333]


More information about the Haskell-Cafe mailing list