Add enum option type

This commit is contained in:
Shea Levy 2014-05-01 11:30:20 -04:00
parent e4630c1d41
commit ab2cd34076

View file

@ -194,6 +194,12 @@ rec {
args = { name = ""; }; }).options;
};
enum = values: mkOptionType {
name = "one of ${concatStringsSep ", " values}.";
check = flip elem values;
merge = mergeOneOption;
};
# Obsolete alternative to configOf. It takes its option
# declarations from the options attribute of containing option
# declaration.