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