[Haskell-cafe] Typeclasses and implicit parameters
stefanor at cox.net
Thu Sep 6 10:07:04 EDT 2007
On Thu, Sep 06, 2007 at 06:49:21AM -0400, ajb at spamcop.net wrote:
> For completeness, here's the final solution, courtesy of int-e (whose
> real name I don't know; sorry), which is much more elegant than I
> bindString :: (forall s. StringAsType s => Mark s a) -> String -> a
> bindString = unsafeCoerce#
Oooh! So evil, I love it.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070906/14cd0b73/attachment.bin
More information about the Haskell-Cafe