11 Apr
2014
11 Apr
'14
6:43 p.m.
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