diff options
author | Daniel Rutz <info@danielrutz.com> | 2018-10-18 23:39:13 +0200 |
---|---|---|
committer | Daniel Rutz <info@danielrutz.com> | 2018-10-18 23:39:13 +0200 |
commit | 161c0765ad0e40408aeef07c2db896d185e66522 (patch) | |
tree | 7b40fee342bda20db0ed7ded38bca6ced57fa242 /lib/types.nix | |
parent | f3de52d25c80776e982037f6e5148f1fdf0d8dfc (diff) |
Add type port as an alias to u16
Diffstat (limited to 'lib/types.nix')
-rw-r--r-- | lib/types.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix index ca6794e274c3..d1ece2402ad7 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -169,6 +169,9 @@ rec { # s32 = sign 32 4294967296; }; + # Alias of u16 for a port number + port = ints.u16; + float = mkOptionType rec { name = "float"; description = "floating point number"; |