
6 Feb
2016
6 Feb
'16
7:59 a.m.
Hi,
The '*' means kind "lifted".
The '#' means kind "unlifted".
Futhermore,
"TYPE 'Lifted" is alias to '*'
"TYPE 'Unlifted" is alias to '#'
Are these also useful?
[1] https://wiki.haskell.org/Kind
[2] https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType
[3] https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
[4]
https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=192
Regards,
Takenobu
2016-02-06 21:48 GMT+09:00 Imants Cekusins
actually "#" worked on Hoogle:
https://wiki.haskell.org/Keywords#.23 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe