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