aula.hs

mapInt :: (Int -> Int) -> [Int] -> [Int]
mapInt f []    = []
mapInt f (a:x) = f a : mapInt f x

times2, times3 :: Int -> Int
times2 n = 2*n
times3 n = 3*n


ins :: (Ord a) => a -> [a] -> [a]
ins a [] = [a]
ins a (x:xs)
  | a >  x = x : ins a xs 
  | a <= x = a : x : xs

iSort :: (Ord a) => [a] -> [a]
iSort [] = []
iSort (x:xs) = ins x (iSort xs)



-- Tipos Algébricos

-- Tipo = Construtores
data Temperatura = Frio | Calor
  deriving(Eq,Show)

data Estacao = Verao | Outono | Inverno | Primavera
  deriving(Eq,Show)

tempo :: Estacao -> Temperatura
tempo Verao = Calor
tempo x     = Frio

data Funcionario = Pessoa Nome Idade
  deriving(Eq,Show)

type Nome = String
type Idade = Int

andre :: Funcionario
andre = Pessoa "Andre Du Bois" 28

pegaNome :: Funcionario -> Nome
pegaNome (Pessoa n i) = n

pegaIdade :: Funcionario -> Idade
pegaIdade (Pessoa n i) = i

data Forma = Circulo Float | Retangulo Float Float
  deriving(Eq,Show)

roberto :: Forma
roberto = Circulo 2.0

carlos :: Forma
carlos = Retangulo 2.0 3.0


redondo :: Forma -> Bool
redondo (Circulo x) = True
redondo (Retangulo x y) = False

area :: Forma -> Float
area (Circulo r) = pi * r * r
area (Retangulo b a) = b * a

-- Entrada e Saída

--main = do
--  putStrLn "Qual o seu nome?"
--  nome <- getLine
--  putStrLn $ reverse nome

leNomeESobrenome :: IO String
leNomeESobrenome = do
  putStrLn "Qual o seu nome?"
  nome <- getLine
  putStrLn "Qual o seu sobrenome?"
  sobrenome <- getLine
  return $ nome ++ " " ++ sobrenome

--main = do
--  resp <- leNomeESobrenome
--  putStrLn resp

--main = do
--  nomes <- leNomes 
--  putStr ((foldr1 (++) . map (++"\n") . iSort) nomes)

--leNomes :: IO [String]
--leNomes = do
--  nome <- getLine
--  if (nome == "")
--    then return []
--  else do
--    nomes <- leNomes
--  	return $ [nome] ++ nomes


-----------------------

data SocioClube = Socio Int String String
--  deriving(Eq,Show)

eqSocio :: SocioClube -> SocioClube -> Bool
eqSocio (Socio c1 _ _) (Socio c2 _ _) = c1 == c2

instance Eq SocioClube where 
  (==) = eqSocio

showSocio :: SocioClube -> String
showSocio (Socio i c1 c2) =
  "{" ++ "Codigo:" ++ show i ++
  ", Nome: " ++ c1 ++ ", Fone: " ++ c2 ++ "}"

instance Show SocioClube where
  show = showSocio

data TUnica a = T1 a a

showTUnica :: Show a => TUnica a -> String
showTUnica (T1 a b) = "(" ++ show a ++ "," ++ show b ++ ")"

instance Show a => Show (TUnica a) where
  show = showTUnica


data Tupla a b = T2 a b

showTupla :: (Show a, Show b) => Tupla a b -> String
showTupla (T2 a b) = "(" ++ show a ++ "," ++ show b ++ ")"

instance (Show a, Show b) => Show (Tupla a b) where
  show = showTupla