diff options
author | makefu <github@syntax-fehler.de> | 2015-07-24 13:28:35 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2015-07-24 13:28:35 +0200 |
commit | 2cecdcd6bbf749f4752a949645a9193ab61da9c6 (patch) | |
tree | 39ada4548a0aecb8ef85344f2d86bafd7b9bede1 /4lib/krebs/types.nix | |
parent | dfe10c84047ab8e684da8b3567a04fca338036c3 (diff) | |
parent | ee52522cc139670c3eeaeeb462dff98ea870d2e4 (diff) |
Merge branch 'master' of http://cgit.cd/stockholm
Diffstat (limited to '4lib/krebs/types.nix')
-rw-r--r-- | 4lib/krebs/types.nix | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix new file mode 100644 index 00000000..38ed8a91 --- /dev/null +++ b/4lib/krebs/types.nix @@ -0,0 +1,81 @@ +{ 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; + }; + }; + }; + + 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; + }; + + # TODO + addr = str; + addr4 = str; + addr6 = str; + hostname = str; + label = str; +} |