Noogλe
search input
Function of the day
Takes 2 arguments
pred, list
Splits the elements of a list in two lists,
rightandwrong, depending on the evaluation of a predicate.Inputs
pred-
Predicate
list-
Input list
Type
partition :: (a -> Bool) -> [a] -> { right :: [a]; wrong :: [a]; }Examples
lib.lists.partitionusage examplepartition (x: x > 2) [ 5 1 2 3 4 ] => { right = [ 5 3 4 ]; wrong = [ 1 2 ]; }