CurryInfo: base-3.4.0 / Data.List.partition

 
partition       :: (a -> Bool) -> [a] -> ([a],[a])
partition p xs  = foldr select ([],[]) xs
 where
  select x (ts,fs) = if p x then (x:ts,fs)
                            else (ts,x:fs)

 argument 2

 deterministic operation

 
Partitions a list into a pair of lists where the first list
contains those elements that satisfy the predicate argument
and the second list contains the remaining arguments.

Example: `(partition (<4) [8,1,5,2,4,3]) = ([1,2,3],[8,5,4])`

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 partition

 no precedence defined

 _

 (a -> Prelude.Bool) -> [a] -> ([a], [a])

 operation might suspend on free variables

 yes

 reducible on all ground data terms