Reviewed-on: fricklerhandwerk/Fediversity#6
Reviewed-by: Valentin Gagarin <valentin.gagarin@tweag.io>

@@ -15,3 +14,3 @@
   options = {
     input-type = mkOption {
-      type = deferredModule;
+      type = optionType;

@@ -35,1 +98,3 @@
-                        enable = lib.mkEnableOption "Hello in the shell";
+                      options.enable = lib.mkEnableOption "Hello in the shell";
+                    };
+                  implementation = cfg: {

@@ -19,2 +21,4 @@
 
   test-eval = {
+    /**
+      This tests a very simple arrangement that features all ingredients of the Fediversity business logic:

@@ -36,0 +108,4 @@
+                { config, ... }:
+                {
+                  resources.operator-environment.login-shell.username = "operator";
+                  implementation = requests: {

@@ -27,0 +70,4 @@
+                    };
+                    config.resource-type = types.raw; # TODO: splice out the user type from NixOS
+                    config.apply =
+                      requests:

@@ -54,3 +150,4 @@
             };
           }
         );
+        resources = fediversity.applications.hello.resources fediversity.example-configuration.applications.hello;

@@ -56,1 +152,4 @@
         );
+        resources = fediversity.applications.hello.resources fediversity.example-configuration.applications.hello;
+        hello-shell = (resources).resources.hello.login-shell;
+        environment = fediversity.environments.single-nixos-vm.resources.operator-environment.login-shell;

@@ -59,3 +163,1 @@
-        inherit (fediversity)
-          example-configuration
-          ;
+      rec {

@@ -31,0 +57,4 @@
+              };
+              request = mkOption {
+                description = "Options for declaring resource requirements by an application, a description of how the resource is consumed or accessed";
+                type = deferredModuleWith { staticModules = [ { _class = "fediversity-resource-request"; } ]; };

@@ -27,0 +69,4 @@
+                      };
+                    };
+                    config.resource-type = types.raw; # TODO: splice out the user type from NixOS
+                    config.apply =

@@ -27,0 +74,4 @@
+                      let
+                        # Filter out requests that need wheel if policy doesn't allow it
+                        validRequests = lib.filterAttrs (
+                          _name: req: !req.login-shell.wheel || config.wheel

@@ -68,0 +125,4 @@
+    environments = mkOption {
+      description = "Run-time environments for Fediversity applications to be deployed to";
+      type = attrsOf (
+        submodule (environment: {

@@ -68,0 +134,4 @@
+
+                Setting this is optional, but provides a place to declare that information for programmatic use in the resource mapping.
+              '';
+              # TODO: maybe transpose, and group the resources by type instead

@@ -68,0 +156,4 @@
+            };
+            # TODO(@fricklerhandwerk): maybe this should be a separate thing such as `fediversity-setup`,
+            # which makes explicit which applications and environments are available.
+            # then the deployments can simply be the result of the function application baked into this module.

@@ -68,0 +151,4 @@
+              readOnly = true;
+              default = {
+                input-type = application-resources;
+                output-type = nixops4Deployment;