From 3624c712d72d246f21d4e710cec7c11e052e0326 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 9 Dec 2025 16:32:32 +0100 Subject: Add the haskell book --- Haskell-book/05/src/Ex.purs | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 Haskell-book/05/src/Ex.purs (limited to 'Haskell-book/05/src/Ex.purs') diff --git a/Haskell-book/05/src/Ex.purs b/Haskell-book/05/src/Ex.purs new file mode 100644 index 0000000..b075de4 --- /dev/null +++ b/Haskell-book/05/src/Ex.purs @@ -0,0 +1,36 @@ +module Ex where + +import Data.Array (head) +import Data.Maybe (Maybe) +import Data.Tuple (Tuple(..)) +import Prelude + +functionH :: forall a. Array a -> Maybe a +functionH x = head x + +functionC :: forall a. Ord a => a -> a -> Boolean +functionC x y = if (x > y) then true else false + +functionS :: forall a b. Tuple a b -> b +functionS (Tuple x y) = y + +i :: forall a. a -> a +i x = x + +c :: forall a b. a -> b -> a +c x _ = x + +c'' :: forall a b. b -> a -> b +c'' x _ = x + +c' :: forall a b. a -> b -> b +c' _ y = y + +r :: forall a. Array a -> Array a +r x = x + +co :: forall a b c. (b -> c) -> (a -> b) -> a -> c +co f f' x = f $ f' x + +a :: forall a c. (a -> c) -> a -> a +a _ x = x -- cgit v1.2.3