fork(20) download
  1. main = print $ partitions [1,2,3,4,5,6]
  2.  
  3. partitions :: [a] -> [[[a]]]
  4. partitions [] = [[]]
  5. partitions (x:xs) = expand x $ partitions xs where
  6.  
  7. expand :: a -> [[[a]]] -> [[[a]]]
  8. expand x ys = concatMap (extend x) ys
  9.  
  10. extend :: a -> [[a]] -> [[[a]]]
  11. extend x [] = [[[x]]]
  12. extend x (y:ys) = ((x:y):ys) : map (y:) (extend x ys)
Success #stdin #stdout 0s 8388607KB
stdin
Standard input is empty
stdout
[[[1,2,3,4,5,6]],[[2,3,4,5,6],[1]],[[1,3,4,5,6],[2]],[[3,4,5,6],[1,2]],[[3,4,5,6],[2],[1]],[[1,2,4,5,6],[3]],[[2,4,5,6],[1,3]],[[2,4,5,6],[3],[1]],[[1,4,5,6],[2,3]],[[4,5,6],[1,2,3]],[[4,5,6],[2,3],[1]],[[1,4,5,6],[3],[2]],[[4,5,6],[1,3],[2]],[[4,5,6],[3],[1,2]],[[4,5,6],[3],[2],[1]],[[1,2,3,5,6],[4]],[[2,3,5,6],[1,4]],[[2,3,5,6],[4],[1]],[[1,3,5,6],[2,4]],[[3,5,6],[1,2,4]],[[3,5,6],[2,4],[1]],[[1,3,5,6],[4],[2]],[[3,5,6],[1,4],[2]],[[3,5,6],[4],[1,2]],[[3,5,6],[4],[2],[1]],[[1,2,5,6],[3,4]],[[2,5,6],[1,3,4]],[[2,5,6],[3,4],[1]],[[1,5,6],[2,3,4]],[[5,6],[1,2,3,4]],[[5,6],[2,3,4],[1]],[[1,5,6],[3,4],[2]],[[5,6],[1,3,4],[2]],[[5,6],[3,4],[1,2]],[[5,6],[3,4],[2],[1]],[[1,2,5,6],[4],[3]],[[2,5,6],[1,4],[3]],[[2,5,6],[4],[1,3]],[[2,5,6],[4],[3],[1]],[[1,5,6],[2,4],[3]],[[5,6],[1,2,4],[3]],[[5,6],[2,4],[1,3]],[[5,6],[2,4],[3],[1]],[[1,5,6],[4],[2,3]],[[5,6],[1,4],[2,3]],[[5,6],[4],[1,2,3]],[[5,6],[4],[2,3],[1]],[[1,5,6],[4],[3],[2]],[[5,6],[1,4],[3],[2]],[[5,6],[4],[1,3],[2]],[[5,6],[4],[3],[1,2]],[[5,6],[4],[3],[2],[1]],[[1,2,3,4,6],[5]],[[2,3,4,6],[1,5]],[[2,3,4,6],[5],[1]],[[1,3,4,6],[2,5]],[[3,4,6],[1,2,5]],[[3,4,6],[2,5],[1]],[[1,3,4,6],[5],[2]],[[3,4,6],[1,5],[2]],[[3,4,6],[5],[1,2]],[[3,4,6],[5],[2],[1]],[[1,2,4,6],[3,5]],[[2,4,6],[1,3,5]],[[2,4,6],[3,5],[1]],[[1,4,6],[2,3,5]],[[4,6],[1,2,3,5]],[[4,6],[2,3,5],[1]],[[1,4,6],[3,5],[2]],[[4,6],[1,3,5],[2]],[[4,6],[3,5],[1,2]],[[4,6],[3,5],[2],[1]],[[1,2,4,6],[5],[3]],[[2,4,6],[1,5],[3]],[[2,4,6],[5],[1,3]],[[2,4,6],[5],[3],[1]],[[1,4,6],[2,5],[3]],[[4,6],[1,2,5],[3]],[[4,6],[2,5],[1,3]],[[4,6],[2,5],[3],[1]],[[1,4,6],[5],[2,3]],[[4,6],[1,5],[2,3]],[[4,6],[5],[1,2,3]],[[4,6],[5],[2,3],[1]],[[1,4,6],[5],[3],[2]],[[4,6],[1,5],[3],[2]],[[4,6],[5],[1,3],[2]],[[4,6],[5],[3],[1,2]],[[4,6],[5],[3],[2],[1]],[[1,2,3,6],[4,5]],[[2,3,6],[1,4,5]],[[2,3,6],[4,5],[1]],[[1,3,6],[2,4,5]],[[3,6],[1,2,4,5]],[[3,6],[2,4,5],[1]],[[1,3,6],[4,5],[2]],[[3,6],[1,4,5],[2]],[[3,6],[4,5],[1,2]],[[3,6],[4,5],[2],[1]],[[1,2,6],[3,4,5]],[[2,6],[1,3,4,5]],[[2,6],[3,4,5],[1]],[[1,6],[2,3,4,5]],[[6],[1,2,3,4,5]],[[6],[2,3,4,5],[1]],[[1,6],[3,4,5],[2]],[[6],[1,3,4,5],[2]],[[6],[3,4,5],[1,2]],[[6],[3,4,5],[2],[1]],[[1,2,6],[4,5],[3]],[[2,6],[1,4,5],[3]],[[2,6],[4,5],[1,3]],[[2,6],[4,5],[3],[1]],[[1,6],[2,4,5],[3]],[[6],[1,2,4,5],[3]],[[6],[2,4,5],[1,3]],[[6],[2,4,5],[3],[1]],[[1,6],[4,5],[2,3]],[[6],[1,4,5],[2,3]],[[6],[4,5],[1,2,3]],[[6],[4,5],[2,3],[1]],[[1,6],[4,5],[3],[2]],[[6],[1,4,5],[3],[2]],[[6],[4,5],[1,3],[2]],[[6],[4,5],[3],[1,2]],[[6],[4,5],[3],[2],[1]],[[1,2,3,6],[5],[4]],[[2,3,6],[1,5],[4]],[[2,3,6],[5],[1,4]],[[2,3,6],[5],[4],[1]],[[1,3,6],[2,5],[4]],[[3,6],[1,2,5],[4]],[[3,6],[2,5],[1,4]],[[3,6],[2,5],[4],[1]],[[1,3,6],[5],[2,4]],[[3,6],[1,5],[2,4]],[[3,6],[5],[1,2,4]],[[3,6],[5],[2,4],[1]],[[1,3,6],[5],[4],[2]],[[3,6],[1,5],[4],[2]],[[3,6],[5],[1,4],[2]],[[3,6],[5],[4],[1,2]],[[3,6],[5],[4],[2],[1]],[[1,2,6],[3,5],[4]],[[2,6],[1,3,5],[4]],[[2,6],[3,5],[1,4]],[[2,6],[3,5],[4],[1]],[[1,6],[2,3,5],[4]],[[6],[1,2,3,5],[4]],[[6],[2,3,5],[1,4]],[[6],[2,3,5],[4],[1]],[[1,6],[3,5],[2,4]],[[6],[1,3,5],[2,4]],[[6],[3,5],[1,2,4]],[[6],[3,5],[2,4],[1]],[[1,6],[3,5],[4],[2]],[[6],[1,3,5],[4],[2]],[[6],[3,5],[1,4],[2]],[[6],[3,5],[4],[1,2]],[[6],[3,5],[4],[2],[1]],[[1,2,6],[5],[3,4]],[[2,6],[1,5],[3,4]],[[2,6],[5],[1,3,4]],[[2,6],[5],[3,4],[1]],[[1,6],[2,5],[3,4]],[[6],[1,2,5],[3,4]],[[6],[2,5],[1,3,4]],[[6],[2,5],[3,4],[1]],[[1,6],[5],[2,3,4]],[[6],[1,5],[2,3,4]],[[6],[5],[1,2,3,4]],[[6],[5],[2,3,4],[1]],[[1,6],[5],[3,4],[2]],[[6],[1,5],[3,4],[2]],[[6],[5],[1,3,4],[2]],[[6],[5],[3,4],[1,2]],[[6],[5],[3,4],[2],[1]],[[1,2,6],[5],[4],[3]],[[2,6],[1,5],[4],[3]],[[2,6],[5],[1,4],[3]],[[2,6],[5],[4],[1,3]],[[2,6],[5],[4],[3],[1]],[[1,6],[2,5],[4],[3]],[[6],[1,2,5],[4],[3]],[[6],[2,5],[1,4],[3]],[[6],[2,5],[4],[1,3]],[[6],[2,5],[4],[3],[1]],[[1,6],[5],[2,4],[3]],[[6],[1,5],[2,4],[3]],[[6],[5],[1,2,4],[3]],[[6],[5],[2,4],[1,3]],[[6],[5],[2,4],[3],[1]],[[1,6],[5],[4],[2,3]],[[6],[1,5],[4],[2,3]],[[6],[5],[1,4],[2,3]],[[6],[5],[4],[1,2,3]],[[6],[5],[4],[2,3],[1]],[[1,6],[5],[4],[3],[2]],[[6],[1,5],[4],[3],[2]],[[6],[5],[1,4],[3],[2]],[[6],[5],[4],[1,3],[2]],[[6],[5],[4],[3],[1,2]],[[6],[5],[4],[3],[2],[1]]]