Instanzen

Typen können Instanzen von Typklassen sein.

(OO-Sprech: Klassen implementieren Interfaces)

Für vordefinierte Typen sind auch die meisten sinnvollen Instanzen vordefiniert

instance Ord Int ; instance Ord Char ; ...

weiter Instanzen kann man selbst deklarieren:

data Student = Student { vorname  :: String
                       , nachname :: String
                       , matrikel :: Int
                       }
instance Ord Student where 
    s < t  =  matrikel s < matrikel t



Johannes Waldmann 2007-06-21