2020-04-06 12:51:11 +02:00
|
|
|
{ lib, dag ? import ./dag.nix { inherit lib; }
|
|
|
|
, gvariant ? import ./gvariant.nix { inherit lib; } }:
|
2018-12-29 21:21:11 +01:00
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
2020-01-14 23:41:59 +01:00
|
|
|
let
|
|
|
|
|
|
|
|
typesDag = import ./types-dag.nix { inherit dag lib; };
|
|
|
|
|
2020-03-09 23:25:23 +01:00
|
|
|
# Needed since the type is called gvariant and its merge attribute
|
|
|
|
# must refer back to the type.
|
|
|
|
gvar = gvariant;
|
|
|
|
|
2020-04-06 12:51:11 +02:00
|
|
|
in rec {
|
2018-12-29 21:21:11 +01:00
|
|
|
|
2020-01-14 23:41:59 +01:00
|
|
|
inherit (typesDag) dagOf listOrDagOf;
|
|
|
|
|
2018-12-29 21:21:11 +01:00
|
|
|
selectorFunction = mkOptionType {
|
|
|
|
name = "selectorFunction";
|
2020-04-06 12:51:11 +02:00
|
|
|
description = "Function that takes an attribute set and returns a list"
|
2018-12-29 21:21:11 +01:00
|
|
|
+ " containing a selection of the values of the input set";
|
|
|
|
check = isFunction;
|
2020-04-06 12:51:11 +02:00
|
|
|
merge = _loc: defs: as: concatMap (select: select as) (getValues defs);
|
2018-12-29 21:21:11 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
overlayFunction = mkOptionType {
|
|
|
|
name = "overlayFunction";
|
2020-04-06 12:51:11 +02:00
|
|
|
description = "An overlay function, takes self and super and returns"
|
2018-12-29 21:21:11 +01:00
|
|
|
+ " an attribute set overriding the desired attributes.";
|
|
|
|
check = isFunction;
|
2020-04-06 12:51:11 +02:00
|
|
|
merge = _loc: defs: self: super:
|
|
|
|
foldl' (res: def: mergeAttrs res (def.value self super)) { } defs;
|
2018-12-29 21:21:11 +01:00
|
|
|
};
|
|
|
|
|
2020-02-23 11:11:12 +01:00
|
|
|
fontType = types.submodule {
|
|
|
|
options = {
|
|
|
|
package = mkOption {
|
|
|
|
type = types.nullOr types.package;
|
|
|
|
default = null;
|
|
|
|
example = literalExample "pkgs.dejavu_fonts";
|
|
|
|
description = ''
|
|
|
|
Package providing the font. This package will be installed
|
|
|
|
to your profile. If <literal>null</literal> then the font
|
|
|
|
is assumed to already be available in your profile.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
name = mkOption {
|
|
|
|
type = types.str;
|
|
|
|
example = "DejaVu Sans 8";
|
|
|
|
description = ''
|
|
|
|
The family name and size of the font within the package.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2020-03-09 23:25:23 +01:00
|
|
|
gvariant = mkOptionType rec {
|
|
|
|
name = "gvariant";
|
|
|
|
description = "GVariant value";
|
|
|
|
check = v: gvar.mkValue v != null;
|
|
|
|
merge = loc: defs:
|
|
|
|
let
|
|
|
|
vdefs = map (d: d // { value = gvar.mkValue d.value; }) defs;
|
|
|
|
vals = map (d: d.value) vdefs;
|
|
|
|
defTypes = map (x: x.type) vals;
|
|
|
|
sameOrNull = x: y: if x == y then y else null;
|
|
|
|
# A bit naive to just check the first entry…
|
|
|
|
sharedDefType = foldl' sameOrNull (head defTypes) defTypes;
|
|
|
|
allChecked = all (x: check x) vals;
|
2020-04-06 12:51:11 +02:00
|
|
|
in if sharedDefType == null then
|
|
|
|
throw ("Cannot merge definitions of `${showOption loc}' with"
|
|
|
|
+ " mismatched GVariant types given in"
|
|
|
|
+ " ${showFiles (getFiles defs)}.")
|
|
|
|
else if gvar.isArray sharedDefType && allChecked then
|
|
|
|
(types.listOf gvariant).merge loc
|
|
|
|
(map (d: d // { value = d.value.value; }) vdefs)
|
|
|
|
else if gvar.isTuple sharedDefType && allChecked then
|
|
|
|
mergeOneOption loc defs
|
2020-07-24 16:31:56 +02:00
|
|
|
else if gvar.isMaybe sharedDefType && allChecked then
|
|
|
|
mergeOneOption loc defs
|
2020-04-06 12:51:11 +02:00
|
|
|
else if gvar.type.string == sharedDefType && allChecked then
|
|
|
|
types.str.merge loc defs
|
|
|
|
else if gvar.type.double == sharedDefType && allChecked then
|
|
|
|
types.float.merge loc defs
|
|
|
|
else
|
|
|
|
mergeDefaultOption loc defs;
|
2020-03-09 23:25:23 +01:00
|
|
|
};
|
|
|
|
|
2018-12-29 21:21:11 +01:00
|
|
|
}
|