From 80aa1a2be7dbbcfec42e431dcb267ae3cb293121 Mon Sep 17 00:00:00 2001
From: Nilstrieb <nilstrieb@gmail.com>
Date: Thu, 8 Jul 2021 16:30:07 +0200
Subject: [PATCH] initial commit

---
 Average.idr     | 17 +++++++++++++++++
 AverageMain.idr |  8 ++++++++
 AverageWord.idr | 25 +++++++++++++++++++++++++
 Composites.idr  |  2 ++
 Functions.idr   | 43 +++++++++++++++++++++++++++++++++++++++++++
 Hello.idr       | 26 ++++++++++++++++++++++++++
 Palindrome.idr  | 17 +++++++++++++++++
 Reverse.idr     |  4 ++++
 8 files changed, 142 insertions(+)
 create mode 100644 Average.idr
 create mode 100644 AverageMain.idr
 create mode 100644 AverageWord.idr
 create mode 100644 Composites.idr
 create mode 100644 Functions.idr
 create mode 100644 Hello.idr
 create mode 100644 Palindrome.idr
 create mode 100644 Reverse.idr

diff --git a/Average.idr b/Average.idr
new file mode 100644
index 0000000..321573c
--- /dev/null
+++ b/Average.idr
@@ -0,0 +1,17 @@
+module Average
+
+import Data.String
+
+
+||| Calculate the average word length of a string
+||| @str a string containing words seperated by whitespace
+export
+average : (str : String) -> Double
+average str = let totalLength = sum (wordLengths str)
+                  wordAmount = wordCount str in
+                  cast totalLength / cast wordAmount
+  where
+    wordCount : String -> Nat
+    wordCount str = length (words str)
+    wordLengths : String -> List Nat
+    wordLengths str = map length (words str)
diff --git a/AverageMain.idr b/AverageMain.idr
new file mode 100644
index 0000000..8a77b32
--- /dev/null
+++ b/AverageMain.idr
@@ -0,0 +1,8 @@
+module Main
+import Average
+
+showAverage : String -> String
+showAverage str = show (average str)
+
+main : IO ()
+main = repl "\n> " showAverage
diff --git a/AverageWord.idr b/AverageWord.idr
new file mode 100644
index 0000000..c1e01e9
--- /dev/null
+++ b/AverageWord.idr
@@ -0,0 +1,25 @@
+module Main
+-- import System.REPL oh god my setup is horrible
+import Data.String
+
+average : String -> Double
+average str = let numWords = wordCount str
+                  totalLength = sum (allLengths (words str)) in
+                  cast totalLength / cast numWords
+  where
+    wordCount : String -> Nat
+    wordCount str = length (words str)
+    allLengths : List String -> List Nat
+    allLengths strs = map length strs
+
+showAverage : String -> String
+showAverage str = "The average word length is: " ++ show (average str) ++ "\n"
+
+
+main : IO ()
+main = repl "Enter a string: " showAverage
+
+
+doubleSum : List Nat -> List Nat
+doubleSum xs = let sum = sum xs in
+                  [sum, sum]
diff --git a/Composites.idr b/Composites.idr
new file mode 100644
index 0000000..b9e769b
--- /dev/null
+++ b/Composites.idr
@@ -0,0 +1,2 @@
+totalLength : List String -> Nat
+totalLength xs = sum (map length xs)
diff --git a/Functions.idr b/Functions.idr
new file mode 100644
index 0000000..f0f234f
--- /dev/null
+++ b/Functions.idr
@@ -0,0 +1,43 @@
+double : Num ty => ty -> ty
+double x = x + x
+
+add : Int -> Int -> Int
+add x y = x + y
+
+identity : ty -> ty
+identity x = x
+
+-- the
+der : (ty : Type) -> ty -> ty
+der ty x = x
+
+
+||| Higher-Order-Functions
+
+twice : (a -> a) -> a -> a
+twice f x = f (f x)
+
+Shape : Type
+
+rotate : Shape -> Shape
+
+quadruple : Num a => a -> a
+quadruple = twice double
+
+turn_around : Shape -> Shape
+turn_around = twice rotate
+
+apply_n : (a -> a) -> Nat -> a -> a
+
+longer : String -> String -> Nat
+longer word1 word2 =
+    let len1 = length word1
+        len2 = length word2 in
+        max len1 len2
+
+
+pythagoras : Double -> Double -> Double
+pythagoras x y = sqrt (square x + square y)
+  where
+    square : Double -> Double
+    square x = x * x
diff --git a/Hello.idr b/Hello.idr
new file mode 100644
index 0000000..510f727
--- /dev/null
+++ b/Hello.idr
@@ -0,0 +1,26 @@
+module Main
+main : IO ()
+main = putStrLn "hello world"
+
+StringOrInt : Bool -> Type
+StringOrInt x = case x of
+                    True => Int
+                    False => String
+
+
+getStringOrInt : (x : Bool) -> StringOrInt x
+getStringOrInt x = case x of
+                        True => 94
+                        False => "Ninety four"
+
+TypeChooser : String -> Type
+TypeChooser x = case x of
+  "Int" => Int
+  "Bool" => Bool
+  "String" => String
+  "Char" => Char
+
+valToString : (typeChoice : Bool) -> StringOrInt typeChoice -> String
+valToString typeChoice val = case typeChoice of
+                          True => cast val  -- True means that our argument type is Int, so cast
+                          False => val -- False means that our agumet type is String, so no need to cast
diff --git a/Palindrome.idr b/Palindrome.idr
new file mode 100644
index 0000000..859a66b
--- /dev/null
+++ b/Palindrome.idr
@@ -0,0 +1,17 @@
+module Palindrome
+
+palindrome : String -> Bool
+palindrome str = let halfs = splitHalf str in
+                     fst halfs == (reverse (snd halfs))
+  where
+    halfLength : String -> Nat
+    halfLength str = (length str) `div` 2
+
+    splitHalf : String -> (String, String)
+    splitHalf str = let firstHalf = substr 0 (halfLength str) str
+                        startIndex = if even (length str) then halfLength str else halfLength str + 1
+                        secondHalf = substr startIndex (length str) str in
+                        (firstHalf, secondHalf)
+      where
+        even : Nat -> Bool
+        even n = n `mod` 2 == 0
diff --git a/Reverse.idr b/Reverse.idr
new file mode 100644
index 0000000..8a40820
--- /dev/null
+++ b/Reverse.idr
@@ -0,0 +1,4 @@
+module Main
+
+main : IO ()
+main = repl "\n> " reverse