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

{- Library DO NOT CHANGE -}
type WrapFun = [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_wrap1 :: WrapFun -> [Char] -> Bool
prop_wrap1 wrap xs = True

prop_wrap2 :: WrapFun -> [Char] -> Bool
prop_wrap2 wrap xs = True

prop_wrap3 :: WrapFun -> [Char] -> Bool
prop_wrap3 wrap xs = True

prop_wrap4 :: WrapFun -> [Char] -> Bool
prop_wrap4 wrap xs = True

prop_wrap5 :: WrapFun -> [Char] -> Bool
prop_wrap5 wrap xs = True

prop_wrap6 :: WrapFun -> [Char] -> Bool
prop_wrap6 wrap xs = True

prop_wrap7 :: WrapFun -> [Char] -> Bool
prop_wrap7 wrap xs = True

prop_wrap8 :: WrapFun -> [Char] -> Bool
prop_wrap8 wrap xs = True

prop_wrap9 :: WrapFun -> [Char] -> Bool
prop_wrap9 wrap xs = True

prop_wrap10 :: wrap xsFun -> [Char] -> Bool
prop_wrap10 wrap xs = True

{- H3 -}

rotateClockwise :: Picture -> Picture
rotateClockwise = undefined

{- H4 -}

{-WETT-}
sublist :: Eq a => [a] -> [a] -> Bool
sublist xs ys = undefined

subseq :: Eq a => [a] -> [a] -> Bool
subseq xs ys = undefined
{-TTEW-}