Prelude 中是否有删除外部“[]”的功能?例如,在这种情况下:
f [[[1,0,0]],[[1,0,0]]] = [[1,0,0],[1,0,0]]
Prelude 中是否有删除外部“[]”的功能?例如,在这种情况下:
f [[[1,0,0]],[[1,0,0]]] = [[1,0,0],[1,0,0]]
我相信concat :: [[a]] -> [a]
做你正在寻找的
请记住,您始终可以使用hoogle根据函数返回或接收的参数来查找函数
您可以使用concat
which 将列表列表展平为单个列表:
concat [[[1,0,0]],[[1,0,0]]]
concat
也在join
Control.Monad 中用于列表,因此您可以使用它:
join [[[1,0,0]],[[1,0,0]]]