Стандартное имя для (фильтр p xs, фильтр (not.p) xs)

Question

Есть ли в haskell какая-то функция, которая оценивает (filter p xs, filter (not.p) xs) в одном обходе списка (здесь их два) или в функциональном программировании есть какое-то общее имя для такого рода функции?

Answer 1

Сначала посмотрите на нужный вам тип:

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 - ваш друг :

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])

Теперь попробуйте функции:

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

Хаскель называет это partition.

Answer 3

Я думаю, вы хотите Data.List.partition, например,

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

приводит к ([3,4,5], [1,2])