Declare список экземпляра типа класса

Question

Я изучаю классы типов Haskell через UPENN Haskell lecture notes, делая свой собственный класс типа с примерами кода:

class Listable a where 
    toList :: a -> [Int] 

instance Listable Int where 
    toList x = [x] 

instance Listable Bool where 
    toList True = [1] 
    toList False = [0] 

Он работает с Int и Bool но ghci терпит неудачу, когда я добавить экземпляр из [Int]:

instance Listable [Int] where 
    toList = id 

Ошибки:

Illegal объявление экземпляра для 'неперечислимо [Int]

(Все типы экземпляра должны иметь форму (T a1 ... ап)

где a1 ... ап различные переменные типа,

и каждая переменная типа появляется не более одного раза в голове экземпляра.

Используйте FlexibleInstances, если вы хотите отключить эту функцию)

В объявлении экземпляра для 'неперечислимо [Int]'

я стараюсь несколько раз, но все FAIL:.

toList x = id x 
toList x = x 
toList = \x -> x 

Как я могу это исправить?

Answer 1

Просто добавьте следующую строку в верхней части исходного файла

{-# LANGUAGE FlexibleInstances #-} 

Это позволит FlexibleInstances расширения, которое необходимо для экземпляра заявления о такой форме, как Haskell 98 не позволяют им.

Обратите внимание, что вы можете также включить расширение путем добавления -XFlexibleInstances флаг при вызове ghc или ghci, но это считается плохой практикой, чтобы сделать это, поскольку это даст возможность расширения для всех модулей. Это также означает, что ваша программа будет успешно компилироваться в зависимости от флагов командной строки, переданных компилятору. Поэтому рекомендуется включить расширения для каждого модуля, как я объяснил выше.