2020-09-16 12:55:24 +00:00
|
|
|
with builtins;
|
|
|
|
with import ./utils.nix;
|
|
|
|
|
|
|
|
builtins:
|
|
|
|
|
|
|
|
concatStrings (map
|
|
|
|
(name:
|
|
|
|
let builtin = builtins.${name}; in
|
2022-02-23 14:07:01 +00:00
|
|
|
"<dt id=\"${name}\"><a href=\"#${name}\"><code>${name} "
|
2021-05-05 13:56:23 +00:00
|
|
|
+ concatStringsSep " " (map (s: "<var>${s}</var>") builtin.args)
|
2022-02-23 14:07:01 +00:00
|
|
|
+ "</code></a></dt>"
|
2021-05-05 13:56:23 +00:00
|
|
|
+ "<dd>\n\n"
|
|
|
|
+ builtin.doc
|
|
|
|
+ "\n\n</dd>"
|
2020-09-16 12:55:24 +00:00
|
|
|
)
|
|
|
|
(attrNames builtins))
|