diff options
author | Richard Marko <srk@48.io> | 2018-06-30 21:13:49 +0200 |
---|---|---|
committer | Richard Marko <srk@48.io> | 2018-07-03 00:11:11 +0200 |
commit | 4a310a040413233d8e3702056b5f1c31a08ebb39 (patch) | |
tree | 0ec855ec36fe6eadcb1df6978abd09201d69d472 /lib/types.nix | |
parent | 366cd2ad8ceae82e5c412ba13e351491aace3d4f (diff) |
lib: add float option type
Diffstat (limited to 'lib/types.nix')
-rw-r--r-- | lib/types.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/types.nix b/lib/types.nix index 5aa09d33e9b3..cf6f2aa46e40 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -167,6 +167,13 @@ rec { # s32 = sign 32 4294967296; }; + float = mkOptionType rec { + name = "float"; + description = "floating point number"; + check = isFloat; + merge = mergeOneOption; + }; + str = mkOptionType { name = "str"; description = "string"; |