8 Mar
2005
8 Mar
'05
12:20 a.m.
On Mon, Mar 07, 2005 at 04:06:44PM -0800, Ashley Yakeley wrote:
I make quite a lot of use of "cunning newtype" deriviation (in GHC), because it's easy to understand.
newtype Mytype = MkMytype T deriving C
However, if I use one of the standard derivable classes (Eq, Ord, Enum, Bounded, Show, and Read), I believe that form of deriving takes priority.
AFAICT from the H98 Report ch. 10, for Eq, Ord and Bounded this works out as the same thing, Enum doesn't apply, and Read and Show do something different. Is this correct, or are there subtle differences?
Read, Show, Typeable, and Data are the only differences AFAIK. John -- John Meacham - ⑆repetae.net⑆john⑈