From 7bd043e9eebb0ac8c2b8a4075121cf383b81b2f2 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sat, 29 Feb 2020 22:32:52 +0100
Subject: [PATCH] xresources: give `properties` option more specific type

This more readily allows merging configurations.
---
 modules/xresources.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/modules/xresources.nix b/modules/xresources.nix
index b74d671be..e9e131352 100644
--- a/modules/xresources.nix
+++ b/modules/xresources.nix
@@ -28,7 +28,11 @@ in {
 
   options = {
     xresources.properties = mkOption {
-      type = types.nullOr types.attrs;
+      type = with types;
+        let
+          prim = either bool (either int str);
+          entry = either prim (listOf prim);
+        in nullOr (attrsOf entry);
       default = null;
       example = literalExample ''
         {