[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    [Haskell-cafe] =?utf-8?b?QU5OOiBMZWFuQ2hlY2sgdjEuMC4wIOKAkyBFbnVt?= =?utf-8?q?erative_Property_Testi
From:       Rudy Matela <rudy () matela ! com ! br>
Date:       2022-08-22 10:26:08
Message-ID: CALCD0B9nJSJ6RANJGZsR3nYYKvwiErvWbkiDS2fxtfw3VghNJg () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Hello Haskell Café,

A new version of LeanCheck <https://hackage.haskell.org/package/leancheck>
is out (v1.0.0 <https://hackage.haskell.org/package/leancheck>).  LeanCheck
is a property testing library (like QuickCheck) that tests values
enumeratively.

*Example.*  Here is a simple example of LeanCheck in action showing that
sorting is idempotent and list union is not commutative:

> import Test.LeanCheck
> import Data.List (sort, union)

> check $ \xs -> sort (sort xs) == sort (xs::[Int])
+++ OK, passed 200 tests.

> check $ \xs ys -> xs `union` ys == ys `union` (xs::[Int])
*** Failed! Falsifiable (after 4 tests):
[] [0,0]

LeanCheck works on all types that are instances of the Listable typeclass
and is able to derive instances automatically using either Template Haskell
or GHC.Generics. See LeanCheck's Haddock documentation
<https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html>
for more details.  LeanCheck is compatible with Hspec
<https://hackage.haskell.org/package/hspec-leancheck>, Tasty
<https://hackage.haskell.org/package/tasty-leancheck> and test-framework
<https://hackage.haskell.org/package/test-framework-leancheck>.

*What's new?*  Version 1.0.0 signalizes stability in the API.  LeanCheck
has not actually changed much in the past couple of years and there are no
significant differences between the early 0.9 series.

*Installing.*  You can find LeanCheck on Hackage
<https://hackage.haskell.org/package/leancheck> or GitHub
<https://github.com/rudymatela/leancheck>.  It is also tracked on Stackage
<https://www.stackage.org/package/leancheck>.  You can install it with:

$ cabal install leancheck

– Rudy

[Attachment #5 (text/html)]

<div dir="ltr"><div>Hello Haskell Café,</div><div><br></div><div>A new version of <a \
href="https://hackage.haskell.org/package/leancheck">LeanCheck</a> is out (<a \
href="https://hackage.haskell.org/package/leancheck">v1.0.0</a>).   LeanCheck is a \
property testing library (like QuickCheck) that tests values \
enumeratively.</div><div><em><br></em></div><div><em>Example.</em>   Here is a simple \
example of LeanCheck in action showing that sorting is idempotent and list union is \
not commutative:</div><div>

<pre><code>&gt; import Test.LeanCheck
&gt; import Data.List (sort, union)

&gt; check $ \xs -&gt; sort (sort xs) == sort (xs::[Int])
+++ OK, passed 200 tests.

&gt; check $ \xs ys -&gt; xs `union` ys == ys `union` (xs::[Int])
*** Failed! Falsifiable (after 4 tests):
[] [0,0]
</code></pre>

<p>LeanCheck works on all types that are instances of the Listable typeclass
and is able to derive instances automatically using either Template
Haskell or GHC.Generics.  See <a \
href="https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html" \
target="_blank">LeanCheck's Haddock documentation</a> for more details.   LeanCheck \
is compatible with <a \
href="https://hackage.haskell.org/package/hspec-leancheck">Hspec</a>, <a \
href="https://hackage.haskell.org/package/tasty-leancheck">Tasty</a> and <a \
href="https://hackage.haskell.org/package/test-framework-leancheck">test-framework</a>.<br></p><p><i>What&#39;s \
new?</i>   Version 1.0.0 signalizes stability in the API.   LeanCheck has not \
actually changed much in the past couple of years and there are no significant \
differences between the early 0.9 series.</p><p><i>Installing.</i>   You can find \
LeanCheck on <a href="https://hackage.haskell.org/package/leancheck">Hackage</a> or \
<a href="https://github.com/rudymatela/leancheck">GitHub</a>.   It is also tracked on \
<a href="https://www.stackage.org/package/leancheck">Stackage</a>.   You can install \
it with:</p><p style="margin-left:40px"><span style="font-family:monospace">$ cabal \
install leancheck</span></p><p><font color="#888888">–</font> \
Rudy<br></p></div><div><br></div></div>


[Attachment #6 (text/plain)]

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

[prev in list] [next in list] [prev in thread] [next in thread]