Thank you very much!
That is exactly what I want.
Best,
Ke
On Fri, Apr 11, 2014 at 2:43 PM, Magnus Therning
On Fri, Apr 11, 2014 at 12:50:45PM -0400, ke dou wrote:
instance Coercible (MyOption a) where type Return (MyOption a) = Prelude.Maybe a toHaskell (Some a) = Prelude.Just a toHaskell None = Prelude.Nothing
The basic issue has been solved in another thread, but wouldn't you want this one to be something like this:
instance Coercible a => Coercible (MyOption a) where type Return (MyOption a) = Prelude.Maybe (Return a) toHaskell (Some a) = Prelude.Just (toHaskell a) toHaskell None = Prelude.Nothing
/M
-- Magnus Therning OpenPGP: 0xAB4DFBA4 email: magnus@therning.org jabber: magnus@therning.org twitter: magthe http://therning.org/magnus
What gets measured, gets done. -- Tom Peters
_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners