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