Вы, вероятно, ищете функцию concat :: Foldable f => f [a] -> [a]
. Это может принять Foldable
тип [a]
с и вернуть [a]
в результате. Поскольку список относится к типу Foldable
, это означает, что concat
может быть " special " - [[a]] -> [a]
. Таким образом, он объединит подсписки вместе в список.
Например:
Prelude> concat [[1],[2],[3]]
[1,2,3]
Это может работать и для других типов Foldable
, таких как Maybe
, Tree
,и т.д.