module Exercise_3 where
import Data.List
import Data.Char (isSpace)

{- Library DO NOT CHANGE -}
type CentreFun = [Char] -> [Char]
type Picture = [[Char]]

printPicture :: Picture -> IO ()
printPicture [] = return ()
printPicture (xs : xss) = do
  putStrLn xs
  printPicture xss

pic = [".##.", ".#.#", ".###", "####"]
{- End Library -}

{- H1 -}

simplifySpaces :: [Char] -> [Char]
simplifySpaces = undefined

{- H2 -}

prop_centre1 :: CentreFun -> [Char] -> Bool
prop_centre1 centre xs = True

prop_centre2 :: CentreFun -> [Char] -> Bool
prop_centre2 centre xs = True

prop_centre3 :: CentreFun -> [Char] -> Bool
prop_centre3 centre xs = True

prop_centre4 :: CentreFun -> [Char] -> Bool
prop_centre4 centre xs = True

prop_centre5 :: CentreFun -> [Char] -> Bool
prop_centre5 centre xs = True

prop_centre6 :: CentreFun -> [Char] -> Bool
prop_centre6 centre xs = True

prop_centre7 :: CentreFun -> [Char] -> Bool
prop_centre7 centre xs = True

prop_centre8 :: CentreFun -> [Char] -> Bool
prop_centre8 centre xs = True

prop_centre9 :: CentreFun -> [Char] -> Bool
prop_centre9 centre xs = True

prop_centre10 :: CentreFun -> [Char] -> Bool
prop_centre10 centre xs = True

{- H3 -}

rotateCCW :: Picture -> Picture
rotateCCW = undefined

{- H4 -}

{-WETT-}
encode :: String -> String -> String
encode key cleartext = undefined

decode :: String -> String -> String
decode key cryptotext = undefined
{-TTEW-}