Proposal: NF newtype
Edward Z. Yang
ezyang at mit.edu
Wed Apr 22 18:54:21 UTC 2015
But it is an interesting question whether or not 'UnsafeNF' should be
used, since the value read in is known to be in normal form.
Edward
Excerpts from Henning Thielemann's message of 2015-04-22 19:49:56 +0100:
>
> On Wed, 22 Apr 2015, Dan Burton wrote:
>
> > A hand-written read makes more sense to me in this case:
> > read = makeNF . read
> > show = show . getNF
>
> Show and Read instances should process Strings representing Haskell code,
> and I guess, Haskell code with the same type as the represented value.
> Thus the NF should be part of the formatted value.
More information about the Libraries
mailing list