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