Verilen :
data Foo =
FooString String
…
class Fooable a where --(is this a good way to name this?)
toFoo :: a -> Foo
Şunun String
bir örneğini yapmak istiyorum Fooable
:
instance Fooable String where
toFoo = FooString
GHC daha sonra şikayet ediyor:
Illegal instance declaration for `Fooable String'
(All instance types must be of the form (T t1 ... tn)
where T is not a synonym.
Use -XTypeSynonymInstances if you want to disable this.)
In the instance declaration for `Fooable String'
Bunun yerine şunu kullanırsam [Char]
:
instance Fooable [Char] where
toFoo = FooString
GHC şikayet ediyor:
Illegal instance declaration for `Fooable [Char]'
(All instance types must be of the form (T a1 ... an)
where a1 ... an are type *variables*,
and each type variable appears at most once in the instance head.
Use -XFlexibleInstances if you want to disable this.)
In the instance declaration for `Fooable [Char]'
Soru :
- Neden bir tip sınıfının String ve örneğini yapamıyorum?
- GHC fazladan bir bayrak eklersem bundan kurtulmama izin vermeye istekli görünüyor. Bu iyi bir fikir mi?