2022-11-24 13:47:08 +01:00
|
|
|
builtinsDump:
|
|
|
|
|
let
|
|
|
|
|
showBuiltin = name:
|
|
|
|
|
let
|
|
|
|
|
inherit (builtinsDump.${name}) doc args;
|
|
|
|
|
in
|
|
|
|
|
''
|
|
|
|
|
<dt id="builtins-${name}">
|
|
|
|
|
<a href="#builtins-${name}"><code>${name} ${listArgs args}</code></a>
|
|
|
|
|
</dt>
|
|
|
|
|
<dd>
|
2020-09-16 14:55:24 +02:00
|
|
|
|
2022-11-24 13:47:08 +01:00
|
|
|
${doc}
|
|
|
|
|
|
|
|
|
|
</dd>
|
|
|
|
|
'';
|
|
|
|
|
listArgs = args: builtins.concatStringsSep " " (map (s: "<var>${s}</var>") args);
|
|
|
|
|
in
|
|
|
|
|
with builtins; concatStringsSep "\n" (map showBuiltin (attrNames builtinsDump))
|
2020-09-16 14:55:24 +02:00
|
|
|
|
