lib.partition

Takes 2 arguments

pred, list

Splits the elements of a list in two lists, right and wrong, depending on the evaluation of a predicate.

Inputs

pred

Predicate

list

Input list

Type

(a -> bool) -> [a] -> { right :: [a]; wrong :: [a]; }

Examples

partition (x: x > 2) [ 5 1 2 3 4 ]
=> { right = [ 5 3 4 ]; wrong = [ 1 2 ]; }

Noogle detected

• builtins.partition
• lib.lists.partition