From cdbad56a42e2770b2e37d06e6b0cb2d4f5030d81 Mon Sep 17 00:00:00 2001
From: hsjobeki <hsjobeki+github@gmail.com>
Date: Sun, 12 Feb 2023 21:44:18 +0100
Subject: [PATCH] update false documented `builtins.derivation`

---
 scripts/data/builtins.types.json      |  2 +-
 scripts/data/derivation-signature.txt | 50 ++++++++++++++++-----------
 2 files changed, 30 insertions(+), 22 deletions(-)

diff --git a/scripts/data/builtins.types.json b/scripts/data/builtins.types.json
index 7a4ed97..edec254 100644
--- a/scripts/data/builtins.types.json
+++ b/scripts/data/builtins.types.json
@@ -24,7 +24,7 @@
   },
   "deepSeq": { "fn_type": "deepSeq :: a -> b -> b" },
   "derivation": {
-    "fn_type": "derivation :: {\n    builder :: String | Path | Package,\n    name :: String,\n    system :: String,\n    args :: ? [ String ],\n    outputs :: ? [ String ],\n    __contentAddressed :: ? Bool,\n    __structuredAttrs :: ? Bool,\n    allowedReferences :: ? [ String ],\n    allowedRequisites :: ? [ String ],\n    disallowedReferences :: ? [ String ],\n    disallowedRequisites :: ? [ String ],\n    exportReferenceGraph :: ? [ String | Package ],\n    impureEnvVars :: ? [ String ],\n    outputHash :: ? String,\n    outputHashAlgo :: ? String,\n    outputHashMode :: ? String,\n    passAsFile :: ? [ String ],\n    preferLocalBuild :: ? [ String ],\n    allowSubstitutes :: ? Bool,\n} -> Derivation"
+    "fn_type": "let \n    Derivation :: {\n        all :: [ Derivation ];\n        builder :: String;\n        drvAttrs :: {\n            builder = String; \n            name = String;\n            outputs = [ output :: String ]; \n            system = String;\n            ${additionalArgs} :: String;\n        }\n        drvPath :: String;\n        name :: String;\n        outPath :: String;\n        outputName :: String;\n        outputs :: [ output :: String ];\n        system :: String;\n        type :: \"derivation\";\n        ${output} :: Derivation;\n        ${additionalArgs} :: String;\n    };\nin\n    builtins.derivation :: {\n        name :: String;\n        outputs :: [ output :: String ] ? [ \"out\" ];\n        builder :: String;\n        system :: String;\n        ${additionalArgs} :: String;\n    } -> Derivation"
   },
   "dirOf": { "fn_type": "dirOf :: String -> String" },
   "div": { "fn_type": "div :: Number -> Number -> Number" },
diff --git a/scripts/data/derivation-signature.txt b/scripts/data/derivation-signature.txt
index 15a8063..7cfc1bb 100644
--- a/scripts/data/derivation-signature.txt
+++ b/scripts/data/derivation-signature.txt
@@ -1,21 +1,29 @@
-derivation :: {
-    builder :: String | Path | Package,
-    name :: String,
-    system :: String,
-    args :: ? [ String ],
-    outputs :: ? [ String ],
-    __contentAddressed :: ? Bool,
-    __structuredAttrs :: ? Bool,
-    allowedReferences :: ? [ String ],
-    allowedRequisites :: ? [ String ],
-    disallowedReferences :: ? [ String ],
-    disallowedRequisites :: ? [ String ],
-    exportReferenceGraph :: ? [ String | Package ],
-    impureEnvVars :: ? [ String ],
-    outputHash :: ? String,
-    outputHashAlgo :: ? String,
-    outputHashMode :: ? String,
-    passAsFile :: ? [ String ],
-    preferLocalBuild :: ? [ String ],
-    allowSubstitutes :: ? Bool,
-} -> Derivation
\ No newline at end of file
+let 
+    Derivation :: {
+        all :: [ Derivation ];
+        builder :: String;
+        drvAttrs :: {
+            builder = String; 
+            name = String;
+            outputs = [ output :: String ]; 
+            system = String;
+            ${additionalArgs} :: String;
+        }
+        drvPath :: String;
+        name :: String;
+        outPath :: String;
+        outputName :: String;
+        outputs :: [ output :: String ];
+        system :: String;
+        type :: "derivation";
+        ${output} :: Derivation;
+        ${additionalArgs} :: String;
+    };
+in
+    builtins.derivation :: {
+        name :: String;
+        outputs :: [ output :: String ] ? [ "out" ];
+        builder :: String;
+        system :: String;
+        ${additionalArgs} :: String;
+    } -> Derivation
\ No newline at end of file