skeleton for exercise 7

2 files changed, 93 insertions, 0 deletions

diff --git a/AufgabeFFP7.hs b/AufgabeFFP7.hs
new file mode 100644
index 0000000..9d05db3
--- /dev/null
+++ b/AufgabeFFP7.hs
@@ -0,0 +1,74 @@
+module AufgabeFFP7
+where
+
+type Buffer = (Int, String)
+
+-- the empty buffer
+--TODO empty :: Buffer
+
+-- insert character before cursor
+--TODO insert :: Char -> Buffer -> Buffer
+
+-- delete character before cursor
+--TODO delete :: Buffer -> Buffer
+
+-- move cursor left one character
+--TODO left :: Buffer -> Buffer
+
+-- move cursor right one character
+--TODO right :: Buffer -> Buffer
+
+-- is cursor at left end?
+--TODO atLeft :: Buffer -> Bool
+
+-- is cursor at right end?
+--TODO atRight :: Buffer -> Bool
+
+--------------------------------------------------------------------------------
+
+type BufferI = (String, String)
+
+-- the empty buffer
+--TODO emptyI :: BufferI
+
+-- insert character before cursor
+--TODO insertI :: Char -> BufferI -> BufferI
+
+-- delete character before cursor
+--TODO deleteI :: BufferI -> BufferI
+
+-- move cursor left one character
+--TODO leftI :: BufferI -> BufferI
+
+-- move cursor right one character
+--TODO rightI :: BufferI -> BufferI
+
+-- is cursor at left end?
+--TODO atLeftI :: BufferI -> Bool
+
+-- is cursor at right end?
+--TODO atRightI :: BufferI -> Bool
+
+--------------------------------------------------------------------------------
+
+--TODO retrieve :: BufferI -> Buffer
+
+--------------------------------------------------------------------------------
+
+--TODO: quicheck stuff
+
+--------------------------------------------------------------------------------
+
+--TODO ssfn ::
+--TODO sap ::
+--TODO minfree ::
+--TODO removeDuplicates ::
+
+--------------------------------------------------------------------------------
+
+type Nat = [Int]
+
+--TODO prop_ssfn_eq_minfree_a :: Nat -> Bool
+
+--TODO prop_ssfn_eq_minfree_b :: Nat -> Property
+
diff --git a/TestAufgabeFFP7.hs b/TestAufgabeFFP7.hs
new file mode 100644
index 0000000..1262c23
--- /dev/null
+++ b/TestAufgabeFFP7.hs
@@ -0,0 +1,19 @@
+module Main where
+
+import Test.HUnit
+import Control.Monad
+import AufgabeFFP7
+
+cases1 = TestLabel "TODO" $ TestList [
+  TestCase $ assertEqual "TODO" (result) (call)
+  ...
+  ]
+
+--------------------------------------------------------------------------------
+
+tests :: [Test]
+tests = [cases1, ...]
+
+main = do
+  forM tests $ \test ->
+    runTestTT test