Haskell: typeclass and instance (Not in scope: data constructor..)

Question

I want to make a typeclass Size with a method that given a value computes the number of constructors in this value.

class Size a where
  size :: a -> Int

instance Size Int where
  size a = 1

instance Size Bool where
  size b = 1

instance Size (c,d) where
  size (c,d) = 1 + Size c + Size d

example4 :: (Bool,(Int,Bool))
example4 = (True,(3,False))

main :: IO ()    
main = do
  print (size example4)

It should give me the value 5 but I get the error Message Not in scope: data constructor `Size'.

I want to use Size Int or Size Bool in the Size(c,d) instance, but have no idea how.

My Problem is that I don't know how I can fix it, because I'm fairly new to Haskell.

zw324 · Accepted Answer · 2013-06-07 15:45:19Z

4

You made a typo:

size (c,d) = 1 + size c + size d

Note Size is thought as a data constructor since it has capital S. What you need is the function size.

Also, c and d also need to be types that are in the Size class, or size cannot be called on them

instance (Size c, Size d) => Size (c,d) where

So to complete it would be:

instance (Size c, Size d) => Size (c,d) where
  size (c,d) = 1 + size c + size d

edited Jun 7, 2013 at 15:45

answered Jun 7, 2013 at 15:39

zw324

27.2k16 gold badges88 silver badges119 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

user2464062 Over a year ago

Thank you it works correct now and i worked 2 hours on it -.-

Collectives™ on Stack Overflow

Haskell: typeclass and instance (Not in scope: data constructor..)

1 Answer 1

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related