aboutsummaryrefslogtreecommitdiff
path: root/Haskell-book/15/optional/test
diff options
context:
space:
mode:
authorEugen Wissner <belka@caraus.de>2025-12-11 10:28:11 +0100
committerEugen Wissner <belka@caraus.de>2025-12-11 10:28:11 +0100
commit98329e0a3dd4f78b5d815ac3896272ec70904901 (patch)
tree80f9c56cfe2ac20232358f236d32e84bd683be1b /Haskell-book/15/optional/test
parent3624c712d72d246f21d4e710cec7c11e052e0326 (diff)
downloadbook-exercises-98329e0a3dd4f78b5d815ac3896272ec70904901.tar.gz
Add remaining haskell book exercises
Diffstat (limited to 'Haskell-book/15/optional/test')
-rw-r--r--Haskell-book/15/optional/test/Spec.hs21
1 files changed, 21 insertions, 0 deletions
diff --git a/Haskell-book/15/optional/test/Spec.hs b/Haskell-book/15/optional/test/Spec.hs
new file mode 100644
index 0000000..189d143
--- /dev/null
+++ b/Haskell-book/15/optional/test/Spec.hs
@@ -0,0 +1,21 @@
+import Data.Monoid
+import Optional
+import Test.Hspec
+
+main :: IO ()
+main = hspec $ do
+ describe "Sum" $ do
+ it "1 + 1 is 2" $ do
+ Only (Sum 1) `mappend` Only (Sum 1) `shouldBe` Only (Sum {getSum = 2})
+ describe "Product" $ do
+ it "4 * 2 is 8" $ do
+ Only (Product 4) `mappend` Only (Product 2) `shouldBe` Only (Product {getProduct = 8})
+ describe "Sum with Nada" $ do
+ it "1 + Nada is 1" $ do
+ Only (Sum 1) `mappend` Nada `shouldBe` Only (Sum {getSum = 1})
+ describe "List" $ do
+ it "[1] <> Nada is [1]" $ do
+ Only [1] `mappend` Nada `shouldBe` Only [1]
+ describe "Nada with sum" $ do
+ it "Nada + 1 is 1" $ do
+ Nada `mappend` Only (Sum 1) `shouldBe` Only (Sum {getSum = 1})