deployment/data-model-test.nix

@@ -106,16 +106,15 @@ in
                   module =
                     { ... }:
                     {
-                      options.enable = lib.mkEnableOption "Hello in the shell";
+                      enable = lib.mkEnableOption "Hello in the shell";
                     };
-                  implementation = cfg: {
+                  implementation =
-                    input = cfg;
+                    cfg:
-                    output = lib.optionalAttrs cfg.enable {
+                    lib.optionalAttrs cfg.enable {
-                      resources.hello.login-shell.packages = {
+                      hello.login-shell.packages = {
                         inherit (pkgs) hello;
                       };
                     };
-                  };
                 };
               environments.single-nixos-vm =
                 { config, ... }:
@@ -162,15 +161,10 @@ in
           }
         );
       in
-      rec {
+      {
-        config = fediversity.example-configuration;
+        inherit (fediversity) example-deployment;
-        resources = fediversity.applications.hello.implementation config.applications.hello;
       };
     expected = {
-      config = {
-        enable = true;
-        applications.hello.enable = true;
-      };
     };
   };
 }

deployment/data-model.nix

@@ -17,28 +17,15 @@ let
     ;
 
   functionType = import ./function.nix;
-  application-resources = submodule {
+  application-resources = {
     options.resources = mkOption {
       # TODO: maybe transpose, and group the resources by type instead
       type = attrsOf (
-        attrTag (
+        attrTag (lib.mapAttrs (_name: resource: mkOption { type = resource.request; }) config.resources)
-          lib.mapAttrs (_name: resource: mkOption { type = submodule resource.request; }) config.resources
-        )
       );
     };
   };
-  nixops4Deployment = types.deferredModuleWith {
+  nixops4Deployment = inputs.nixops4.modules.nixops4Deployment.default;
-    staticModules = [
-      inputs.nixops4.modules.nixops4Deployment.default
-
-      {
-        _module.args = {
-          resourceProviderSystem = builtins.currentSystem;
-          resources = { };
-        };
-      }
-    ];
-  };
 in
 {
   options = {
@@ -116,7 +103,7 @@ in
               type = submodule functionType;
               readOnly = true;
               default = {
-                input-type = submodule application.config.module;
+                input-type = application.config.module;
                 output-type = application-resources;
               };
             };

deployment/function.nix

@@ -5,6 +5,7 @@
 let
   inherit (lib) mkOption types;
   inherit (types)
+    deferredModule
     submodule
     functionTo
     optionType
@@ -13,10 +14,10 @@ in
 {
   options = {
     input-type = mkOption {
-      type = optionType;
+      type = deferredModule;
     };
     output-type = mkOption {
-      type = optionType;
+      type = deferredModule;
     };
     function-type = mkOption {
       type = optionType;
@@ -25,10 +26,10 @@ in
         submodule (function: {
           options = {
             input = mkOption {
-              type = config.input-type;
+              type = submodule config.input-type;
             };
             output = mkOption {
-              type = config.output-type;
+              type = submodule config.output-type;
             };
           };
         })