[Haskell-cafe] Partial Signatures with Implicit Parameters

Alex Rozenshteyn rpglover64 at gmail.com
Mon Aug 30 09:21:18 EDT 2010

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

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100830/470e7913/attachment.html

More information about the Haskell-Cafe mailing list