Haskell pattern matching eine Liste von Tupeln

Fast richtig:

prop_leftInverse ((x, y):rest) = undefined

Erste von allen, müssen Sie Klammern um das ganze Muster. Zweite, das erste element in der Liste ist ein Tupel, aber der rest der Liste ist einfach eine Liste von Tupeln, nicht ein Tupel von Listen.

Wenn man sich an einfache Mustererkennung auf eine generische Liste

head :: [a] -> a
head [] = error "Empty list"
head (x:xs) = x

Diese Werke alle Werte des Typs a oder alle Typen. Wenn Sie möchten, dass eine bestimmte Art, wie Int Sie tun konnte,

headIsOne :: [Int] -> Bool
headIsOne (1:xs) = True
headIsOne _ = False  -- Here the _ matches anything

So, wenn Sie angeben möchten, dass ein Tupel:

addTup :: (Int, Int) -> Int
addTup (x, y) = x + y

sehen wir, dass das Muster, das auf ein Tupel genau wie wir schreiben im code, also mit einem am Anfang der Liste, wir müssen nur mit dem ersten element mit einem bestimmten Muster.

prop_leftInverse ((x, y):rest) = undefined

Den rest der Liste zugewiesen bekommt rest (obwohl Sie können es nennen, was Sie wollen).

Ein weiteres Beispiel

Wenn Sie wollten, schnappen Sie sich die ersten beiden Tupel:

myFunc ((x, y):(v, u):rest) = undefined

Oder die ersten drei:

myFunc ((x1, y1):(x2, y2):(x3, y3):rest) = undefined

Ich hoffe, Sie sehen das Muster (get it?)