Standardowa nazwa dla (filtr p xs, filtr (not.p) xs)

Question

Czy jest jakaś funkcja w haskell, która ocenia (filtr p xs, filtr (not.p) xs) w jednym przejściu listy (tutaj są dwa) czy jest jakiś wspólny mianownik w programowaniu funkcjonalnym dla tego rodzaju funkcji?

Answer 1

najpierw spojrzeć na tego typu, że trzeba:

Prelude> :t \p xs -> (filter p xs, filter (not . p) xs) 
\p xs -> (filter p xs, filter (not . p) xs) 
    :: (a -> Bool) -> [a] -> ([a], [a]) 

Hoogle is your friend:

Prelude> :hoogle (a -> Bool) -> [a] -> ([a], [a]) 
Prelude break :: (a -> Bool) -> [a] -> ([a], [a]) 
Prelude span :: (a -> Bool) -> [a] -> ([a], [a]) 
Data.List break :: (a -> Bool) -> [a] -> ([a], [a]) 
Data.List partition :: (a -> Bool) -> [a] -> ([a], [a]) 
Data.List span :: (a -> Bool) -> [a] -> ([a], [a]) 

teraz wypróbować funkcje:

Prelude> break odd [1..10] 
([],[1,2,3,4,5,6,7,8,9,10]) 
Prelude> span odd [1..10] 
([1],[2,3,4,5,6,7,8,9,10]) 
Prelude> import Data.List 
Prelude Data.List> partition odd [1..10] 
([1,3,5,7,9],[2,4,6,8,10]) 

Answer 2

Haskell nazywa to partition.

Answer 3

Myślę, że chcesz Data.List.partition np.

partition (>2) [1,2,3,4,5] 

skutkuje ([3,4,5], [1,2])