[Haskell-beginners] instance

Ut Primum utprimum at gmail.com
Wed Apr 22 18:20:57 UTC 2020


Hi,

data TisanInteger = Tisan Integer
instance Eq (*Tisan Integer*) where (Tisan v) == (Tisan v') = v == v'

I think the part in red is the error: you should write *TisanInteger*
instead (with no space between Tisan and Integer):
This is because there you should put the name of the data, not its
definition.

Best,

Ut


Il giorno mer 22 apr 2020 alle ore 20:11 Alexander Chen <
alexander at chenjia.nl> ha scritto:

> Hi,
>
>
> *data TisanInteger = Tisan Integer*
>
> *instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v'*
>
> *prelude>*
> *Instance_testen.hs:7:14: error:*
> *    Not in scope: type constructor or class ‘Tisan’*
> *    A data constructor of that name is in scope; did you mean DataKinds?*
> *  |*
> *7 | instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v'
>  |              ^^^^^*
> *[1 of 1] Compiling Main             ( Instance_testen.hs, interpreted )*
> *Failed, no modules loaded.*
>
>
>
> what am i doing wrong?
>
> best,
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20200422/1374c89e/attachment.html>


More information about the Beginners mailing list