major refactoring

argument self is now provided via recursion
a naive implementation of host groups is added

cerulean/nexus/nexus.nix

@@ -23,8 +23,12 @@
 }: let
   inherit
     (builtins)
+    attrNames
+    concatStringsSep
     elem
+    getAttr
     isAttrs
+    isFunction
     mapAttrs
     pathExists
     typeOf
@@ -37,7 +41,7 @@
 
   templateNexus = let
     inherit
-      (nt.types)
+      (nt.naive.terminal)
       Terminal
       ;
 
@@ -47,35 +51,112 @@
         Ensure `nexus.${path}` exists under your call to `cerulean.mkNexus`.
       '');
   in {
-    groups = missing "an list of all valid node group names." "groups";
+    groups = Terminal {};
     overlays = [];
     nodes = Terminal {};
   };
 
+  parseGroups = groups: let
+    validGroup = g:
+      isAttrs g
+      || throw ''
+        Cerulean Nexus groups must be provided as attribute sets, got "${typeOf g}" instead!
+        Ensure all the `groups` definitions are attribute sets under your call to `cerulean.mkNexus`.
+      '';
+    delegate = parent: g:
+      g
+      |> mapAttrs (name: value:
+        assert validGroup value;
+          (delegate g value)
+          // {
+            _name = name;
+            _parent = parent;
+          });
+  in
+    assert validGroup groups;
+      delegate null groups;
+
   parseNexus = nexus:
-    if ! isAttrs nexus
+    assert isAttrs nexus
-    then
+    || abort ''
-      abort ''
       Cerulean Nexus config must be provided as an attribute set, got "${typeOf nexus}" instead!
       Ensure all the `nexus` declaration is an attribute set under your call to `cerulean.mkNexus`.
-      ''
+    ''; let
-    else nt.projectOnto templateNexus nexus;
+      base = nt.projectOnto templateNexus nexus;
+    in
+      # XXX: TODO: create a different version of nt.projectOnto that can actually
+      # XXX: TODO: handle applying a transformation to the result of each datapoint
+      base
+      // {
+        groups = parseGroups base.groups;
+      };
 
-  mkNexus' = root: nexus': let
+  parseDecl = outputsBuilder: let
-    nexus = parseNexus nexus';
+    decl = (
-  in rec {
+      if isFunction outputsBuilder
+      then outputsBuilder final # provide `self`
+      else
+        assert (isAttrs outputsBuilder)
+        || abort ''
+          Cerulean declaration must be provided as an attribute set, got "${typeOf outputsBuilder}" instead!
+          Ensure your declaration is an attribute set or function under your call to `cerulean.mkNexus`.
+        ''; outputsBuilder
+    );
+
+    final =
+      decl
+      // {
+        nexus = parseNexus (decl.nexus or {});
+      };
+  in
+    final;
+
+  # XXX: TODO: create a function in NixTypes that handles this instead
+  findImport = path:
+    if pathExists path
+    then path
+    else path + ".nix";
+in {
+  mkNexus = root: outputsBuilder: let
+    decl = parseDecl outputsBuilder;
+
+    inherit
+      (decl)
+      nexus
+      ;
+    customOutputs = removeAttrs decl ["nexus"];
+
+    outputs = rec {
       nixosConfigurations = mapNodes nexus.nodes (
         nodeName: node:
           lib.nixosSystem {
             system = node.system;
             modules = let
-            host' = root + "/hosts/${nodeName}";
+              host = findImport (root + "/hosts/${nodeName}");
-            host =
+              # XXX: TODO: don't use a naive type for this (ie _name property)
-              if pathExists host'
+              # XXX: TODO: i really need NixTypes to be stable and use that instead
-              then host'
+              groups =
-              else host' + ".nix";
+                node.groups
+                |> map (group:
+                  assert group ? _name
+                  || throw (let
+                    got =
+                      if ! isAttrs group
+                      then toString group
+                      else
+                        group
+                        |> attrNames
+                        |> map (name: "${name} = <${typeOf (getAttr name group)}>;")
+                        |> concatStringsSep " "
+                        |> (x: "{ ${x} }");
+                  in ''
+                    Cerulean Nexus node "${nodeName}" is a member of a nonexistent group.
+                    Got "${got}" of primitive type "${typeOf group}".
+                    NOTE: Groups can be accessed via `self.groups.PATH.TO.YOUR.GROUP`
+                  '');
+                    findImport (root + "/groups/${group._name}"));
             in
-            [../nixos-module host] ++ node.extraModules;
+              [../nixos-module host] ++ groups ++ node.extraModules;
 
             # nix passes these to every single module
             specialArgs = let
@@ -149,10 +230,6 @@
 
       checks = mapAttrs (system: deployLib: deployLib.deployChecks deploy) deploy-rs.lib;
     };
-in {
-  mkNexus = root: outputs': let
-    autogen = mkNexus' root (outputs'.nexus or {});
-    outputs = removeAttrs outputs' ["nexus"];
   in
-    autogen // outputs; # XXX: TODO: replace this with a deep merge
+    outputs // customOutputs;
 }

cerulean/nexus/nodes.nix

@@ -22,11 +22,12 @@ in rec {
   # abstract node instance that stores all default values
   templateNode = name: system: let
     inherit
-      (nt.types)
+      (nt.naive.terminal)
       Terminal
       ;
   in {
     system = "x86_64-linux"; # sane default (i hope...)
+    groups = [];
     extraModules = [];
     specialArgs = Terminal {};
     overlays = [];

flake.nix

@@ -31,9 +31,9 @@
     ...
   } @ inputs:
     import ./cerulean
-    <| inputs
+    (inputs
       // {
         inherit (nixpkgs) lib;
         inherit (nt) mix;
-    };
+      });
 }