Tenho essas duas funções:
sequenciaInt :: Int -> Int -> [Int]
sequenciaInt i j |j >= i = [i..j]
|otherwise = sequenciaInt j i
sequenciaChar :: Char -> Char -> [Char]
sequenciaChar i j |j >= i = [i..j]
|otherwise = sequenciaChar j i
Uma função retorna uma lista de Int
e a outra uma lista de Char
.
É possível ter uma função genérica que retorna uma lista de Int
ou Char
dependendo do parâmetro passado (seja Int
ou Char
)?
Algo do tipo:
sequencia :: a -> a -> [a]
sequencia i j |j >= i = [i..j]
|otherwise = sequencia j i
Porém, esse código acima retorna erro:
main.hs:2:16: error:
• No instance for (Ord a) arising from a use of ‘>=’
Possible fix:
add (Ord a) to the context of
the type signature for:
sequencia :: forall a. a -> a -> [a]
• In the expression: j >= i
In a stmt of a pattern guard for
an equation for ‘sequencia’:
j >= i
In an equation for ‘sequencia’:
sequencia i j
| j >= i = [i .. j]
| otherwise = sequencia j i
|
2 | sequencia i j |j >= i = [i..j]
| ^^^^^^
main.hs:2:25: error:
• No instance for (Enum a)
arising from the arithmetic sequence ‘i .. j’
Possible fix:
add (Enum a) to the context of
the type signature for:
sequencia :: forall a. a -> a -> [a]
• In the expression: [i .. j]
In an equation for ‘sequencia’:
sequencia i j
| j >= i = [i .. j]
| otherwise = sequencia j i
|
2 | sequencia i j |j >= i = [i..j]
| ^^^^^^