给定两个列表,我可以生成这两个列表的笛卡尔积的所有排列列表:
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] ]
我如何扩展置换,而不是采用两个列表,而是采用列表列表(长度 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-list 版本本质上是Cartesian Product,但我无法实现n-ary Cartesian Product。任何指针?