diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/lists.nix | 4 | ||||
| -rw-r--r-- | lib/maintainers.nix | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lib/lists.nix b/lib/lists.nix index 4bf732b88c9a..5e224921de81 100644 --- a/lib/lists.nix +++ b/lib/lists.nix @@ -218,12 +218,12 @@ rec { partition (x: x > 2) [ 5 1 2 3 4 ] => { right = [ 5 3 4 ]; wrong = [ 1 2 ]; } */ - partition = pred: + partition = builtins.partition or (pred: fold (h: t: if pred h then { right = [h] ++ t.right; wrong = t.wrong; } else { right = t.right; wrong = [h] ++ t.wrong; } - ) { right = []; wrong = []; }; + ) { right = []; wrong = []; }); /* Merges two lists of the same size together. If the sizes aren't the same the merging stops at the shortest. How both lists are merged is defined diff --git a/lib/maintainers.nix b/lib/maintainers.nix index f74937c073e3..8c29c9b4cf26 100644 --- a/lib/maintainers.nix +++ b/lib/maintainers.nix @@ -273,6 +273,7 @@ mudri = "James Wood <lamudri@gmail.com>"; muflax = "Stefan Dorn <mail@muflax.com>"; myrl = "Myrl Hex <myrl.0xf@gmail.com>"; + nand0p = "Fernando Jose Pando <nando@hex7.com>"; nathan-gs = "Nathan Bijnens <nathan@nathan.gs>"; Nate-Devv = "Nathan Moore <natedevv@gmail.com>"; nckx = "Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com>"; @@ -352,6 +353,7 @@ rvlander = "Gaëtan André <rvlander@gaetanandre.eu>"; ryanartecona = "Ryan Artecona <ryanartecona@gmail.com>"; ryantm = "Ryan Mulligan <ryan@ryantm.com>"; + ryansydnor = "Ryan Sydnor <ryan.t.sydnor@gmail.com>"; rycee = "Robert Helgesson <robert@rycee.net>"; ryneeverett = "Ryne Everett <ryneeverett@gmail.com>"; s1lvester = "Markus Silvester <s1lvester@bockhacker.me>"; |