skeleton for exercise 7

1 files changed, 74 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
+