From 0b1dc3c97fb14d16a50963662f52633aa52ca266 Mon Sep 17 00:00:00 2001
From: JS <1924550@stud.hs-mannheim.de>
Date: Thu, 6 Feb 2025 14:16:41 +0100
Subject: [PATCH] solutions block 5

---
 solutions/block5/addThreeNumbers.hs    | 12 ++++++++++++
 solutions/block5/bind.hs               | 22 ++++++++++++++++++++++
 solutions/block5/dom.hs                | 26 ++++++++++++++++++++++++++
 solutions/block5/doubleAndIncrement.hs |  8 ++++++++
 solutions/block5/multiplyBy            | 13 +++++++++++++
 5 files changed, 81 insertions(+)
 create mode 100644 solutions/block5/addThreeNumbers.hs
 create mode 100644 solutions/block5/bind.hs
 create mode 100644 solutions/block5/dom.hs
 create mode 100644 solutions/block5/doubleAndIncrement.hs
 create mode 100644 solutions/block5/multiplyBy

diff --git a/solutions/block5/addThreeNumbers.hs b/solutions/block5/addThreeNumbers.hs
new file mode 100644
index 0000000..b8c6662
--- /dev/null
+++ b/solutions/block5/addThreeNumbers.hs
@@ -0,0 +1,12 @@
+addThreeNumbers :: Int -> Int -> Int -> Int
+addFive :: Int -> Int -> Int
+
+addThreeNumbers x y z = x + y + z
+addFive = addThreeNumbers 5
+
+-- Test cases
+main = do
+    print (addThreeNumbers 3 2 4)  -- 9
+    print (addThreeNumbers 7 6 4)  -- 17
+    print (addFive 3 2)  -- 10
+    print (addFive 1 4)  -- 10
diff --git a/solutions/block5/bind.hs b/solutions/block5/bind.hs
new file mode 100644
index 0000000..4a1bbe9
--- /dev/null
+++ b/solutions/block5/bind.hs
@@ -0,0 +1,22 @@
+module Main where
+
+-- Definiert einen simplen container für unsere Werte
+data Box a = Box a deriving (Show, Eq)
+
+-- Schreibe die Unit funktion, welche einen Wert in einen Container verschachtelt!
+unit :: a -> Box a
+unit x = Box x
+
+-- Schreibe die Bind Funktion, welches es einem Erlaubt funktionen des Monadischen Typen Box zu verketten
+bind :: Box a -> (a -> Box b) -> Box b
+bind (Box x) f = f x
+
+-- Schreibe eine Lift Funktion, welche eine Funtion nimmt und diesselbe funktion mit den Monadischen Werten als Eigabe und Ausgabetyp besitzt
+lift :: (a -> b) -> Box a -> Box b
+lift f (Box x) = Box (f x)
+
+
+-- Tests
+main :: IO ()
+main = do
+    print $ unit 10  -- Box 10
diff --git a/solutions/block5/dom.hs b/solutions/block5/dom.hs
new file mode 100644
index 0000000..a26cdd3
--- /dev/null
+++ b/solutions/block5/dom.hs
@@ -0,0 +1,26 @@
+module Main where
+
+-- Definiere eine einfache Datenstruktur für DOM-Elemente
+data DOM a = Element a [DOM a] | EmptyElement deriving (Show, Eq)
+
+-- Unit-Funktion: Verpackt einen Tag in einen DOM Element
+unit :: a -> DOM a
+unit x = Element x []
+
+-- Bind-Funktion: Verknüpft Berechnungen für DOM-Elemente
+bind :: DOM a -> (a -> DOM b) -> DOM b
+bind EmptyElement _ = EmptyElement
+bind (Element x children) f = 
+    case f x of
+        EmptyElement -> EmptyElement
+        Element newX newChildren -> Element newX (newChildren ++ map (`bind` f) children)
+
+-- Lift-Funktion: Hebt eine normale Funktion in den DOM-Kontext
+lift :: (a -> b) -> DOM a -> DOM b
+lift _ EmptyElement = EmptyElement
+lift f (Element x children) = Element (f x) (map (lift f) children)
+
+-- Hauptfunktion zum Ausführen von Tests
+main :: IO ()
+main = do
+    print $ unit "root"  -- Element "root" []
diff --git a/solutions/block5/doubleAndIncrement.hs b/solutions/block5/doubleAndIncrement.hs
new file mode 100644
index 0000000..6a6dff4
--- /dev/null
+++ b/solutions/block5/doubleAndIncrement.hs
@@ -0,0 +1,8 @@
+doubleAndIncrement :: Int -> Int
+
+doubleAndIncrement = (+1) . (*2)
+
+-- Test cases
+main = do 
+    print (doubleAndIncrement 3) -- 7
+    print (doubleAndIncrement 5) -- 11
diff --git a/solutions/block5/multiplyBy b/solutions/block5/multiplyBy
new file mode 100644
index 0000000..aef5c7d
--- /dev/null
+++ b/solutions/block5/multiplyBy
@@ -0,0 +1,13 @@
+multiplyBy :: Int -> (Int -> Int)
+double :: Int -> Int
+
+multiplyBy = (*)
+double = multiplyBy 2
+triple = multiplyBy 3
+
+
+-- Test cases
+main = do
+    print (double 4)  -- Expected output: 8
+    print (double 7)  -- Expected output: 14
+    print (triple 4) -- Expected output: 12