Erstellen einer Liste von Unterlisten einer gegebenen Liste

Question

Ich brauche eine Funktion, die eine Liste aller möglichen Unterlisten zurückgibt, ohne Elemente zu überspringen, z.B. Unterlisten [1,2,3,4] sollten [[1,2,3,4], [1,2,3] usw.) zurückgeben, aber die Liste sollte NICHT [1,2,4] enthalten. Meine aktuelle "Lösung" ist

>sublists :: [Integer] -> [[Integer]] 
>sublists [] = [[]] 
>sublists (x:xs) = [x:ys | ys <- sublists xs] ++ sublists xs 

der folgende umfasst nicht [1,2,4]

Vielen Dank im Voraus

EDIT: Gefunden eine Lösung (mit einer wenig Hilfe von meinem Freund)

Sieht ein bisschen ungeschickt, aber es funktioniert

>sublists :: [Integer] -> [[Integer]] 
>sublists [] = [[]] 
>sublists (x:xs) = subs [] (x:xs) ++ sublists xs 
> where 
>  subs :: [Integer] -> [Integer] -> [[Integer]] 
>  subs xs [] = [xs] 
>  subs xs (a:as) = (xs ++ [a]) : (subs (xs ++ [a]) as) 

Answer 1

Data.List enthält sowohl inits als auch tails. Was Sie wollen, ist das inits jedes Mitglied der Schwänze Liste (oder möglicherweise umgekehrt, aber später aus dem Grund, warum Runde auf diese Weise besser ist)

sublists = concatMap inits . tails 

> sublists [1,2,3,4] 
[[],[1],[1,2],[1,2,3],[1,2,3,4],[],[2],[2,3],[2,3,4],[],[3],[3,4],[],[4],[]] 

Wenn Sie möchten, möchten Sie vielleicht loswerden alle null Listen:

sublists = filter (not . null) . concatMap inits . tails 

Oder wenn Sie die Nulllisten in erster Linie zu vermeiden, bevorzugen zu erzeugen:

sublists = concatMap (tail . inits) . tails 

Das Ergebnis inits beginnt immer mit dem leeren Liste, während das Ergebnis von tails immer mit der leeren Liste endet. So ist tail . inits sicher, weil tail niemals auf eine leere Liste angewendet wird; Es gibt nur das Ergebnis ohne die führende leere Liste zurück. inits [] gibt einfach [[]] zurück, so dass die letzte leere Liste von tails gelöscht wird.