2 files changed, 0 insertions, 137 deletions
diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix
deleted file mode 100644
index 0c42a5de..00000000
--- a/4lib/krebs/default.nix
+++ /dev/null
@@ -1,33 +0,0 @@
-{ lib, ... }:
-
-with builtins;
-with lib;
-
-builtins // lib // rec {
-
-  addName = name: set:
-    set // { inherit name; };
-
-  addNames = mapAttrs addName;
-
-  types = import ./types.nix { inherit lib; };
-
-
-  # listset k v = set k [v]
-
-  # listset-insert : k -> v -> listset k v -> listset k v
-  listset-insert = name: value: set:
-    set // { ${name} = set.${name} or [] ++ [value]; };
-
-  # tree k v = set k (either v (tree k v))
-
-  # tree-get : [k] -> tree k v -> v
-  tree-get = path: x:
-    let
-      y = x.${last path};
-    in
-    if typeOf y != "set"
-      then y
-      else tree-get (init path) y;
-
-}
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
deleted file mode 100644
index 3d3d75a6..00000000
--- a/4lib/krebs/types.nix
+++ /dev/null
@@ -1,104 +0,0 @@
-{ lib, ... }:
-
-with lib;
-with types;
-
-types // rec {
-
-  host = submodule {
-    options = {
-      name = mkOption {
-        type = label;
-      };
-      dc = mkOption {
-        type = label;
-      };
-      cores = mkOption {
-        type = positive;
-      };
-      nets = mkOption {
-        type = attrsOf net;
-        apply = x: assert hasAttr "retiolum" x; x;
-      };
-      secure = mkOption {
-        type = bool;
-        default = false;
-        description = ''
-          If true, then the host is capable of keeping secret information.
-
-          TODO define minimum requirements for secure hosts
-        '';
-      };
-    };
-  };
-
-  net = submodule ({ config, ... }: {
-    options = {
-      via = mkOption {
-        type = nullOr net;
-        default = null;
-      };
-      addrs = mkOption {
-        type = listOf addr;
-        apply = _: config.addrs4 ++ config.addrs6;
-      };
-      addrs4 = mkOption {
-        type = listOf addr4;
-        default = [];
-      };
-      addrs6 = mkOption {
-        type = listOf addr6;
-        default = [];
-      };
-      aliases = mkOption {
-        # TODO nonEmptyListOf hostname
-        type = listOf hostname;
-      };
-      tinc = mkOption {
-        type = let net-config = config; in submodule ({ config, ... }: {
-          options = {
-            config = mkOption {
-              type = str;
-              apply = _: ''
-                ${optionalString (net-config.via != null)
-                  (concatMapStringsSep "\n" (a: "Address = ${a}") net-config.via.addrs)}
-                ${concatMapStringsSep "\n" (a: "Subnet = ${a}") net-config.addrs}
-                ${config.pubkey}
-              '';
-            };
-            pubkey = mkOption {
-              type = str;
-            };
-          };
-        });
-      };
-    };
-  });
-
-  positive = mkOptionType {
-    name = "positive integer";
-    check = x: isInt x && x > 0;
-    merge = mergeOneOption;
-  };
-
-  user = submodule {
-    options = {
-      mail = mkOption {
-        type = str; # TODO retiolum mail address
-      };
-      name = mkOption {
-        type = str; # TODO
-      };
-      pubkey = mkOption {
-        type = str;
-      };
-    };
-  };
-
-  # TODO
-  addr = str;
-  addr4 = str;
-  addr6 = str;
-  hostname = str;
-  label = str;
-}