technofab/disko
1
0
Fork 0
mirror of https://github.com/TECHNOFAB11/disko.git synced 2025-12-12 16:10:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge remote-tracking branch 'upstream/master' into fix/option-descriptions

Browse source
This commit is contained in:
Tristan Ross 2023-01-03 11:42:37 -08:00
commit ab33709297
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
types.nix
View file

@ -9,7 +9,7 @@ rec {
# uses the field "type" to find the correct type in the attrset # uses the field "type" to find the correct type in the attrset
subType = typeAttr: mkOptionType rec { subType = typeAttr: mkOptionType rec {
name = "subType"; name = "subType";
description = "one of ${attrNames typeAttr}"; description = "one of ${concatStringsSep "," (attrNames typeAttr)}";
check = x: if x ? type then typeAttr.${x.type}.check x else throw "No type option set in:\n${generators.toPretty {} x}"; check = x: if x ? type then typeAttr.${x.type}.check x else throw "No type option set in:\n${generators.toPretty {} x}";
merge = loc: defs: merge = loc: defs:
foldl' (res: def: typeAttr.${def.value.type}.merge loc [def]) {} defs; foldl' (res: def: typeAttr.${def.value.type}.merge loc [def]) {} defs;