... | @@ -95,12 +95,12 @@ This declaration introduces a new type constructor T with one or more constituen |
... | @@ -95,12 +95,12 @@ This declaration introduces a new type constructor T with one or more constituen |
|
|
|
|
|
with
|
|
with
|
|
|
|
|
|
This declaration introduces a new type constructor T with zero or more constituent data constructors K1, …, Kn.
|
|
This declaration introduces a new type constructor T with zero or more constituent data constructors K0, …, Kn.
|
|
|
|
|
|
Also, in the description of when derived instances are possible for a class C [ http://www.haskell.org/onlinereport/derived.html\#derived-appendix](http://www.haskell.org/onlinereport/derived.html#derived-appendix), add the following condition.
|
|
Also, in the description of when derived instances are possible for a class C [ http://www.haskell.org/onlinereport/derived.html\#derived-appendix](http://www.haskell.org/onlinereport/derived.html#derived-appendix), add the following condition.
|
|
If the data declaration has no constructors (i.e. when n=0), then no classes are derivable (i.e. m=0).
|
|
If the data declaration has no constructors (i.e. when n=0), then no classes are derivable (i.e. m=0).
|
|
|
|
|
|
Download in other formats:[Plain Text](/wiki/EmptyDataDecls?version=12&format=txt)[](http://trac.edgewall.org/)Powered by [Trac 1.2.2](/about)
|
|
Download in other formats:[Plain Text](/wiki/EmptyDataDecls?version=13&format=txt)[](http://trac.edgewall.org/)Powered by [Trac 1.2.2](/about)
|
|
|
|
|
|
By [Edgewall Software](http://www.edgewall.org/).Visit the Trac open source project at
|
|
By [Edgewall Software](http://www.edgewall.org/).Visit the Trac open source project at
|
|
[http://trac.edgewall.com/](http://trac.edgewall.com/)
|
|
[http://trac.edgewall.com/](http://trac.edgewall.com/)
|
... | | ... | |