summary refs log tree commit diff
path: root/nixos/modules/misc/assertions.nix
blob: e931611247f221c422ef045cf327b89bac14b4e7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
{ lib, config, ... }:

with lib;

{

  options = {

    assertions = mkOption {
      type = types.listOf types.unspecified;
      internal = true;
      default = [];
      example = [ { assertion = false; message = "you can't enable this for that reason"; } ];
      description = ''
        This option allows modules to express conditions that must
        hold for the evaluation of the system configuration to
        succeed, along with associated error messages for the user.
      '';
    };

    warnings = mkOption {
      internal = true;
      default = [];
      type = types.listOf types.str;
      example = [ "The `foo' service is deprecated and will go away soon!" ];
      description = ''
        This option allows modules to show warnings to users during
        the evaluation of the system configuration.
      '';
    };

    _module.assertions = mkOption {
      type = types.attrsOf (types.submodule {
        triggerPath = mkDefault [ "system" "build" "toplevel" ];
      });
    };

  };

  config._module.assertions = lib.listToAttrs (lib.imap1 (n: value:
    let
      name = "_${toString n}";
      isWarning = lib.isString value;
      result = {
        enable = if isWarning then true else ! value.assertion;
        type = if isWarning then "warning" else "error";
        message = if isWarning then value else value.message;
      };
    in nameValuePair name result
  ) (config.assertions ++ config.warnings));

  # impl of assertions is in <nixpkgs/nixos/modules/system/activation/top-level.nix>
}