访问列表内的元组数据

Question

如果我想在我的函数中访问/引用一个字符参数，我只是这样做：

myFunc :: Char -> Bool
myFunc c = ... --Here I use 'c' to work with my Char parameter

使用列表：

myList :: [Int] -> [Int]
myList l = ... --I can access the list with 'l'. 

现在，我如何访问/工作/引用列表中的元组数据：

myFunc :: [(Int, Int)] -> [(Int, Int)] --Receive a list of tuple as parameter
myFunc ?? = ... --How may I access the tuple element ? How may I access its data. Just use a letter there and try to work with `fst` or `snd` does not work.

更新

myFunc :: [(Int, Int)] -> [(Int, Int)]
myFunc  [] = [(0, 0)]
myFunc ((x,y):rest) = x --Error here:  
Couldn't match expected type `[(Int, Int)]' with actual type `Int' In the  expression: x

Answer 1

您实际上是在问如何进行模式匹配。在您的情况下，这是执行此操作的一般方法：

myFunc :: [(Int, Int)] -> [(Int, Int)]
myFunc [] = undefined
myFunc ((x,y):[]) = undefined
myFunc ((x,y):rest) = undefined

模式((x,y):[]) 将匹配只有一个元素的列表。 x 引用元组中的第一个元素，y 引用第二个元素。同样，在((x,y):rest) 模式中，rest 指的是除了第一个（或头）元素之外的列表的其余部分。

另一种类似但功能较弱的方法是这样的：

myFunc :: [(Int, Int)] -> [(Int, Int)]
myFunc [] = undefined
myFunc (first:[]) = undefined
myFunc (first:rest) = undefined

在(first:rest) 模式中，列表的头元素由变量first 引用。现在要访问其中的元组，您可以使用 fst 和 snd 组合器。