Partial Signatures with Implicit Parameters
I would like to specify that a function takes implicit parameters, without specifying its full return type. My main motivation for this is my xmonad config file and the attempt to remove the need for NoMonomorphismRestriction and some of the code smell associated with global variables that wafts in with implicit parameters. I have read this: http://okmij.org/ftp/Haskell/partial-signatures.lhs and even somewhat understood it; however, I tried to apply it to my config file with an implicit parameter in the signature, and I couldn't get it to compile. Is there something inherently different about using this approach with implicit parameters, or am I probably just doing something wrong? P.S. I decided to ask this here instead of in the xmonad mailing list because I feel like this is a question about haskell that was only slightly inspired by my use of xmonad. -- Alex R
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 8/30/10 09:21 , Alex Rozenshteyn wrote:
I would like to specify that a function takes implicit parameters, without specifying its full return type. My main motivation for this is my xmonad config file and the attempt to remove the need for NoMonomorphismRestriction and some of the code smell associated with global variables that wafts in with implicit parameters.
I have read this: http://okmij.org/ftp/Haskell/partial-signatures.lhs and even somewhat understood it; however, I tried to apply it to my config file with an implicit parameter in the signature, and I couldn't get it to compile.
Is there something inherently different about using this approach with implicit parameters, or am I probably just doing something wrong?
Example code (that is, the code you're trying to modify with an implicit parameter) would be useful. I'm not sure implicit parameters would work with that example anyway, as they aren't Haskell '98 and can't be emulated in Haskell '98 (at least, not that way). - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkx7zHAACgkQIn7hlCsL25UZCACg0OILDSnwXceO+gctbFwAcG5a zs4An0YZLmKDDt67xGzeWK2fNWLGZyiC =hwND -----END PGP SIGNATURE-----
participants (2)
-
Alex Rozenshteyn -
Brandon S Allbery KF8NH