6 Feb
2016
6 Feb
'16
8:59 p.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 <imantc@gmail.com>:
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