aboutsummaryrefslogtreecommitdiff
path: root/Haskell-book/17/Constant.hs
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/17/Constant.hs
parent3624c712d72d246f21d4e710cec7c11e052e0326 (diff)
downloadbook-exercises-98329e0a3dd4f78b5d815ac3896272ec70904901.tar.gz
Add remaining haskell book exercises
Diffstat (limited to 'Haskell-book/17/Constant.hs')
-rw-r--r--Haskell-book/17/Constant.hs13
1 files changed, 13 insertions, 0 deletions
diff --git a/Haskell-book/17/Constant.hs b/Haskell-book/17/Constant.hs
new file mode 100644
index 0000000..f25da54
--- /dev/null
+++ b/Haskell-book/17/Constant.hs
@@ -0,0 +1,13 @@
+module Constant where
+
+newtype Constant a b =
+ Constant { getConstant :: a }
+ deriving (Eq, Ord, Show)
+
+instance Functor (Constant a) where
+ fmap _ (Constant x) = Constant x
+
+instance Monoid a
+ => Applicative (Constant a) where
+ pure x = Constant mempty
+ (Constant x) <*> (Constant y) = Constant $ mappend x y