Authors = [(String, Int)]
File Filename DateTime Authors
例子:
File "DSC023.jpg" "01/05/2012 22:40" [("Test1",1),("Test2",2)]
我将如何搜索 DSC023.jpg 并将另一位作者添加到列表中?
findFile n = find (\(File x _ _ _) -> x == n) fileDatabase
Authors = [(String, Int)]
File Filename DateTime Authors
例子:
File "DSC023.jpg" "01/05/2012 22:40" [("Test1",1),("Test2",2)]
我将如何搜索 DSC023.jpg 并将另一位作者添加到列表中?
findFile n = find (\(File x _ _ _) -> x == n) fileDatabase