haskell - 计算 n 元笛卡尔积

Question

给定两个列表，我可以生成这两个列表的笛卡尔积的所有排列列表:

permute :: [a] -> [a] -> [[a]]
permute xs ys = [ [x, y] | x <- xs, y <- ys ]

Example> permute [1,2] [3,4] == [ [1,3], [1,4], [2,3], [2,4] ]

如何扩展 permute 以便它不采用两个列表，而是采用一个列表列表(长度 n)并返回一个列表列表(长度 n)

permute :: [[a]] -> [[a]]

Example> permute [ [1,2], [3,4], [5,6] ]
            == [ [1,3,5], [1,3,6], [1,4,5], [1,4,6] ] --etc

我在 Hoogle 上找不到任何相关内容。与签名匹配的唯一函数是 transpose ，这不会产生所需的输出。

编辑:我认为它的 2 列表版本本质上是 Cartesian Product ，但我无法实现 n-ary Cartesian Product .任何指针？

Answer 1

Prelude> sequence [[1,2],[3,4],[5,6]]
[[1,3,5],[1,3,6],[1,4,5],[1,4,6],[2,3,5],[2,3,6],[2,4,5],[2,4,6]]