Example

class Eq a where

(==) :: a -> a -> Bool

(/=) :: a -> a -> Bool

• Eq is the name of the new type class

• == and /= are the newly declared names of operations on this class

• a is the dummy name of a type that’s in this class

  • used in the type signatures of operations of the class
  • roughly like a formal type parameter

Previous slide

Next slide

Back to first slide

View graphic version