Type-class instance for any type that has an instance of another type
Hi all, I may be a liiittle in over my head. I'm trying to make a type-class for a type that can be "randomly generated". The class looks like this:
class RandomlyGeneratable a where rgen :: IO a
So far so good. Now, I'd love to be able to define an instance of this on all types that have Enum, because the definition is not hard:
instance Enum a => RandomlyGeneratable a where rgen = fmap (opts !!) $ randomRIO (0,pred (length opts)) where opts = enumFrom $ (toEnum 0) :: a
Unfortunately I'm wording this incorrectly, as the "instance" line produces: Illegal instance declaration for `RandomlyGeneratable a' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `RandomlyGeneratable a' Could someone point out my error? Am I trying to do something on the edge of possibility? Thanks! Arlen
Illegal instance declaration for `RandomlyGeneratable a' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `RandomlyGeneratable a'
"Solved" with the somewhat apocryphal:
newtype ByEnum e = ByEnum { unByEnum :: e }
instance Enum k => RG (ByEnum k) where rgen = fmap (ByEnum . (opts !!)) $ randomRIO (0,pred (length opts)) where opts = enumFrom $ toEnum 0
Then I can say:
r <- fmap unByEnum rgen
and get my answer. I think I better understand what's going on. Here's my reference: http://groups.google.com/group/fa.haskell/browse_thread/thread/113d5834fddfa... Cheers! Arlen
On Tue, May 24, 2011 at 08:54:05PM +1000, Arlen Cuss wrote:
Hi all,
I may be a liiittle in over my head. I'm trying to make a type-class for a type that can be "randomly generated". The class looks like this:
class RandomlyGeneratable a where rgen :: IO a
So far so good. Now, I'd love to be able to define an instance of this on all types that have Enum, because the definition is not hard:
instance Enum a => RandomlyGeneratable a where rgen = fmap (opts !!) $ randomRIO (0,pred (length opts)) where opts = enumFrom $ (toEnum 0) :: a
Unfortunately I'm wording this incorrectly, as the "instance" line produces:
Illegal instance declaration for `RandomlyGeneratable a' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `RandomlyGeneratable a'
Actually there wasn't much wrong with your syntax here, it's just that the basic Haskell standard is quite rigid in terms of what sorts of instances are accepted. If you turned on the flag -XFlexibleInstances (which is quite uncontroversial and widely supported) as the error message suggests, it would work fine. However, with this instance you would not able to make any other RandomlyGeneratable instances -- essentially the instance says "any type a is an instance of RandomlyGeneratable, and it is an error if the type a is not an instance of Enum". So for that reason the newytpe approach (what you wrote in your second email) is to be preferred. By the way, such a class already exists -- it is called Random [1]. But if you are just doing this as a learning exercise, then go right ahead. -Brent [1] http://hackage.haskell.org/packages/archive/random/latest/doc/html/System-Ra...
participants (2)
-
Arlen Cuss -
Brent Yorgey