Hi All,
I am trying to perform dynamic casting on polymorphic types.
Let's say I have a data type like:
> data Foo a = Foo a
Is there any way to use dynamics to convert a value of type Foo a to a
type reprentation? I try to use the toDyn in the dynamic libray, it
complains for ambigours a. Is th
(Let's go to haskell-cafe if we want to continue.)
Hi Dmitry,
Sigh. Indeed, the distributed instance Show TermRep is not fit.
The default TermRep in the Strafunski distribution is not even
willing to disclose constructor names. So there is no way unless
you tweak TermRep (and DrIFT). TermRep shou
Evening, Ralf.
Ralf Laemmel <[EMAIL PROTECTED]> 20:27 24/7/2003 wrote:
RL> a) Add a class constraint for Show to the Term class.
RL>(Would that work? It's a bit invasive anyway.)
Yes, that a bit invasive to say at least. With equal "ease" I can hack
DrIFT to produce instances of Show the
Thanks to all the people who responded to my question!
The solution from Wolfgang Jeltsch:
(f.).g
was what I was after. But the other responses were
useful also.
Thanks!
Mark.
On Thu, 2003-07-17 at 09:57, Dr Mark H Phillips wrote:
> Hi,
>
> Hopefully this is a simple question. I am wanti
