[Haskell-cafe] Aren't type system extensions fun? [Further analysis]

Roberto Zunino zunino at di.unipi.it
Thu May 29 13:11:42 EDT 2008


Roberto Zunino wrote:
> Uhmm... you mean something like (neglecting TC-related issues here)
> 
> class C a b where
>    fromChar :: Char -> a
>    fromBool :: Bool -> b

Oops: i meant something like

class C x a b | x -> a,b where
    fromChar :: x -> Char -> a
    fromBool :: x -> Bool -> b


Zun.


More information about the Haskell-Cafe mailing list