Aula4.hs

module Aula4 where

-- polimorfismo parametrico
-- lembrar de falar de kind * -> *
data Coisa a = UmaCoisa a | DuasCoisas a a | ZeroCoisa

data Arvore a = Nulo |
    Leaf a |
    Branch a (Arvore a) (Arvore a) deriving Show
  
emOrdem :: Arvore a -> [a]
emOrdem (Branch x l r) = emOrdem l ++ [x] ++ emOrdem r
emOrdem (Leaf x) = x
emOrdem Nulo = []


-- restricao de tipo em funcao
-- foo :: a -> String
-- foo x = "O valor de tipo a é: " ++ show x

-- foo :: Show a => a -> String
-- foo x = "O valor de tipo a é: " ++ show x



-- classe Eq

-- instance Eq a => Eq (Coisa a) where
--     (DuasCoisas x1 y1) == (DuasCoisas x2 y2) = x1 == y2
--     (UmaCoisa x) == (UmaCoisa y) = x==y
--     Nada == Nada = True
--     _ == _ = False


-- classe Show
instance Show a => Show (Coisa a) where
    show Nada = "Nadinha..."
    show (UmaCoisa x) = "Coisa com o elemento " ++ show x
    show (DuasCoisas x y) = "Coisa com os elementos " ++ (show x) ++ " e " ++ (show y)