Singular Type Constructor

Ashley Yakeley [email protected]
Tue, 31 Jul 2001 20:29:35 -0700


At 2001-07-30 19:08, I wrote:

>Consider:
>
>--
>data T a = T
>--
>
>Is there anything in the Prelude or a standard library that looks like 
>this? Should there be? What should it be called? 'Singleton'? 'Reified'? 
>'T'?

In the end I called it 'Type'. Perhaps something like it should be in the 
Prelude...

See 
<http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/jvm-bridge/source/Haskell/T
ype.hs?rev=HEAD&content-type=text/vnd.viewcvs-markup>.

-- 
Ashley Yakeley, Seattle WA