[Haskell-cafe] SYB: extending a generic reader with a type class
José Pedro Magalhães
jpm at cs.uu.nl
Wed Feb 2 20:35:42 CET 2011
I don't think you can do that, since `ext` relies on Typeable and Typeable
only works for monomorphic types.
On Wed, Feb 2, 2011 at 20:31, Sugar Bzzz <sugarbzzzz at gmail.com> wrote:
> Dear -cafe,
> Is it possible to extend a generic reader (extR / ext1R from syb) with a
> type class?
> For example, let
> foo :: (Integral a) => SomeMonad a
> I could write:
> reader = ... `extR` (foo :: SomeMonad Int) `extR` (foo :: SomeMonad
> However, that is tedious. Could I do something like
> reader = ... `extR` foo
> and have it apply to all instances of Integral?
> I hope I am being clear.
> Thank you.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe