2020-09-16 12:55:24 +00:00
|
|
|
with builtins;
|
|
|
|
|
2023-11-30 22:07:09 +00:00
|
|
|
let
|
|
|
|
lowerChars = stringToCharacters "abcdefghijklmnopqrstuvwxyz";
|
|
|
|
upperChars = stringToCharacters "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
|
|
|
|
stringToCharacters = s: genList (p: substring p 1 s) (stringLength s);
|
|
|
|
in
|
|
|
|
|
2021-01-25 17:19:32 +00:00
|
|
|
rec {
|
2020-09-16 12:55:24 +00:00
|
|
|
splitLines = s: filter (x: !isList x) (split "\n" s);
|
|
|
|
|
|
|
|
concatStrings = concatStringsSep "";
|
2021-01-25 17:19:32 +00:00
|
|
|
|
2023-04-06 16:24:11 +00:00
|
|
|
attrsToList = a:
|
|
|
|
map (name: { inherit name; value = a.${name}; }) (builtins.attrNames a);
|
|
|
|
|
2022-08-26 21:09:19 +00:00
|
|
|
replaceStringsRec = from: to: string:
|
|
|
|
# recursively replace occurrences of `from` with `to` within `string`
|
|
|
|
# example:
|
|
|
|
# replaceStringRec "--" "-" "hello-----world"
|
|
|
|
# => "hello-world"
|
|
|
|
let
|
|
|
|
replaced = replaceStrings [ from ] [ to ] string;
|
|
|
|
in
|
|
|
|
if replaced == string then string else replaceStringsRec from to replaced;
|
|
|
|
|
2023-11-30 22:07:09 +00:00
|
|
|
toLower = replaceStrings upperChars lowerChars;
|
|
|
|
|
2022-08-26 21:09:19 +00:00
|
|
|
squash = replaceStringsRec "\n\n\n" "\n\n";
|
|
|
|
|
|
|
|
trim = string:
|
|
|
|
# trim trailing spaces and squash non-leading spaces
|
|
|
|
let
|
|
|
|
trimLine = line:
|
|
|
|
let
|
|
|
|
# separate leading spaces from the rest
|
|
|
|
parts = split "(^ *)" line;
|
|
|
|
spaces = head (elemAt parts 1);
|
|
|
|
rest = elemAt parts 2;
|
|
|
|
# drop trailing spaces
|
|
|
|
body = head (split " *$" rest);
|
|
|
|
in spaces + replaceStringsRec " " " " body;
|
|
|
|
in concatStringsSep "\n" (map trimLine (splitLines string));
|
|
|
|
|
2021-01-25 17:19:32 +00:00
|
|
|
# FIXME: O(n^2)
|
|
|
|
unique = foldl' (acc: e: if elem e acc then acc else acc ++ [ e ]) [];
|
|
|
|
|
|
|
|
nameValuePair = name: value: { inherit name value; };
|
|
|
|
|
|
|
|
filterAttrs = pred: set:
|
|
|
|
listToAttrs (concatMap (name: let v = set.${name}; in if pred name v then [(nameValuePair name v)] else []) (attrNames set));
|
2023-03-21 11:58:14 +00:00
|
|
|
|
2023-04-16 14:44:03 +00:00
|
|
|
optionalString = cond: string: if cond then string else "";
|
|
|
|
|
2023-04-05 02:57:11 +00:00
|
|
|
indent = prefix: s:
|
|
|
|
concatStringsSep "\n" (map (x: if x == "" then x else "${prefix}${x}") (splitLines s));
|
2020-09-16 12:55:24 +00:00
|
|
|
}
|