Merge pull request #48687 from danielrutz/port-type

Add port type
This commit is contained in:
Silvan Mosberger
2018-11-10 15:12:07 +01:00
committed by GitHub
3 changed files with 16 additions and 2 deletions

View File

@@ -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";