Personal tools

Unboxed type

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Line 1: Line 1:
 
'''Unboxed types''' represent raw values. Unboxed types have [[kind]] <TT>#</TT>.
 
'''Unboxed types''' represent raw values. Unboxed types have [[kind]] <TT>#</TT>.
   
Note that unboxed types of different storage behaviours are all lumped together under kind <tt>#</tt>. As a result, [[type variable]]s must have kinds which are <tt>#</tt>-free.
+
Note that unboxed types of different storage behaviours (four bytes, eight bytes etc.) are all lumped together under kind <tt>#</tt>. As a result, [[type variable]]s must have kinds which are <tt>#</tt>-free.
   
 
[[Category:Language]]
 
[[Category:Language]]

Revision as of 20:42, 25 January 2006

Unboxed types represent raw values. Unboxed types have kind #.

Note that unboxed types of different storage behaviours (four bytes, eight bytes etc.) are all lumped together under kind #. As a result, type variables must have kinds which are #-free.