diff options
| author | Eugen Wissner <belka@caraus.de> | 2025-12-11 10:28:11 +0100 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2025-12-11 10:28:11 +0100 |
| commit | 98329e0a3dd4f78b5d815ac3896272ec70904901 (patch) | |
| tree | 80f9c56cfe2ac20232358f236d32e84bd683be1b /Haskell-book/15/optional/test/Spec.hs | |
| parent | 3624c712d72d246f21d4e710cec7c11e052e0326 (diff) | |
| download | book-exercises-98329e0a3dd4f78b5d815ac3896272ec70904901.tar.gz | |
Add remaining haskell book exercises
Diffstat (limited to 'Haskell-book/15/optional/test/Spec.hs')
| -rw-r--r-- | Haskell-book/15/optional/test/Spec.hs | 21 |
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}) |
