Question

I am really confused about classes in haskell. If I had the code:

class GetResult n where res :: n -> Int
class (GetResult n) => Model n where
                                     starting :: Int -> [Int] -> n
                                     starting i j = .....
                                     test :: n -> n
                                     test n = ......

What type is n? What type would starting output and test take as input?

Answer 1

Your confusion might be caused by the fact that type classes in Haskell have nothing to do with classes in OO. Most importantly type classes don’t describe objects, they describe types.

A type class describes a set of methods. You can implement those methods for a given type to make that type an instance of the class. So your type class definition of GetResult can be read as “A type n can be made an instance of GetResult by implementing the method res of type n -> Int“. So n is simply the type that wants to become an instance of GetResult.

As an example if you wanted to make Int an instance of GetResult, you could use the following instance declaration:

instance GetResult Int where
    res :: Int -> Int
    res i = i

In this case n would be Int.