2020-09-16 12:55:24 +00:00
|
|
|
with builtins;
|
|
|
|
|
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
|
|
|
|
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;
|
|
|
|
|
|
|
|
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-03-23 09:08:49 +00:00
|
|
|
showSetting = { useAnchors }: name: { description, documentDefault, defaultValue, aliases, ... }:
|
2023-03-21 11:58:14 +00:00
|
|
|
let
|
|
|
|
result = squash ''
|
2023-03-22 12:11:35 +00:00
|
|
|
- ${if useAnchors
|
2023-03-21 11:58:14 +00:00
|
|
|
then ''<span id="conf-${name}">[`${name}`](#conf-${name})</span>''
|
2023-03-22 12:11:35 +00:00
|
|
|
else ''`${name}`''}
|
2023-03-21 11:58:14 +00:00
|
|
|
|
|
|
|
${indent " " body}
|
|
|
|
'';
|
2023-03-21 13:12:15 +00:00
|
|
|
|
2023-03-21 11:58:14 +00:00
|
|
|
# separate body to cleanly handle indentation
|
|
|
|
body = ''
|
|
|
|
${description}
|
|
|
|
|
|
|
|
**Default:** ${showDefault documentDefault defaultValue}
|
|
|
|
|
|
|
|
${showAliases aliases}
|
|
|
|
'';
|
2023-03-21 13:12:15 +00:00
|
|
|
|
2023-03-21 11:58:14 +00:00
|
|
|
showDefault = documentDefault: defaultValue:
|
|
|
|
if documentDefault then
|
|
|
|
# a StringMap value type is specified as a string, but
|
|
|
|
# this shows the value type. The empty stringmap is `null` in
|
|
|
|
# JSON, but that converts to `{ }` here.
|
|
|
|
if defaultValue == "" || defaultValue == [] || isAttrs defaultValue
|
|
|
|
then "*empty*"
|
|
|
|
else if isBool defaultValue then
|
|
|
|
if defaultValue then "`true`" else "`false`"
|
|
|
|
else "`${toString defaultValue}`"
|
|
|
|
else "*machine-specific*";
|
2023-03-21 13:12:15 +00:00
|
|
|
|
2023-03-21 11:58:14 +00:00
|
|
|
showAliases = aliases:
|
|
|
|
if aliases == [] then "" else
|
|
|
|
"**Deprecated alias:** ${(concatStringsSep ", " (map (s: "`${s}`") aliases))}";
|
2023-03-21 13:12:15 +00:00
|
|
|
|
2023-03-21 11:58:14 +00:00
|
|
|
indent = prefix: s:
|
|
|
|
concatStringsSep "\n" (map (x: if x == "" then x else "${prefix}${x}") (splitLines s));
|
2023-03-21 13:12:15 +00:00
|
|
|
|
|
|
|
in result;
|
2023-03-21 11:58:14 +00:00
|
|
|
|
2023-03-23 09:08:49 +00:00
|
|
|
showSettings = args: settingsInfo: concatStrings (attrValues (mapAttrs (showSetting args) settingsInfo));
|
2020-09-16 12:55:24 +00:00
|
|
|
}
|