Prepare article for publication

Author: ploeh

…4-composing-pure-haskell-assertions.html …9-composing-pure-haskell-assertions.html_posts/2025-06-24-composing-pure-haskell-assertions.html renamed to _posts/2025-09-29-composing-pure-haskell-assertions.html _posts/2025-06-24-composing-pure-haskell-assertions.html renamed to _posts/2025-09-29-composing-pure-haskell-assertions.html

@@ -2,7 +2,7 @@
 layout: post
 title: "Composing pure Haskell assertions"
 description: "With HUnit and QuickCheck examples."
-date: 2025-06-24 11:22 UTC
+date: 2025-09-29 7:43 UTC
 tags: [Haskell, Unit Testing]
 ---
 {% include JB/setup %}
@@ -47,7 +47,7 @@ <h3 id="76d1bda9793e4f5c810f387c09fc8324">
 &nbsp;&nbsp;expectedSizes&nbsp;@=?&nbsp;actualSizes</pre>
     </p>
     <p>
-        This example is an <a href="/2018/05/07/inlined-hunit-test-lists">inlined HUnit test</a> which tests the <a href="" title="IO is special">impure cutRod variation</a>. The two final statements are assertions that use the <a href="https://hackage.haskell.org/package/HUnit/docs/Test-HUnit-Base.html#v:-64--61--63-">@=?</a> assertion operator. The value on the left side is the expected value, and to the right goes the actual value. This operator returns a type called <code>Assertion</code>, which <a href="https://hackage.haskell.org/package/HUnit/docs/Test-HUnit-Base.html#t:Assertion">turns out</a> to be nothing but an alias for <code>IO ()</code>.
+        This example is an <a href="/2018/05/07/inlined-hunit-test-lists">inlined HUnit test</a> which tests the <a href="/2025/09/08/io-is-special">impure cutRod variation</a>. The two final statements are assertions that use the <a href="https://hackage.haskell.org/package/HUnit/docs/Test-HUnit-Base.html#v:-64--61--63-">@=?</a> assertion operator. The value on the left side is the expected value, and to the right goes the actual value. This operator returns a type called <code>Assertion</code>, which <a href="https://hackage.haskell.org/package/HUnit/docs/Test-HUnit-Base.html#t:Assertion">turns out</a> to be nothing but an alias for <code>IO ()</code>.
     </p>
     <p>
         In other words, those assertions are impure actions, and they work similarly to assertions in imperative languages. If the actual value passes the assertion, nothing happens and execution moves on to the assertion on the next line. If, on the other hand, the assertion fails, execution short-circuits, and an error is reported.