summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Propellor/Types.hs8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/Propellor/Types.hs b/src/Propellor/Types.hs
index c3926229..4b4378a9 100644
--- a/src/Propellor/Types.hs
+++ b/src/Propellor/Types.hs
@@ -242,10 +242,12 @@ instance SingI metatypes => Monoid (Property (MetaTypes metatypes))
-- property has a description like "x and y".
-- Note that when x fails to be ensured, it will not try to ensure y.
instance
- ( Sem.Semigroup (Property setupmetatypes)
- , Sem.Semigroup (Property undometatypes)
+ ( Sem.Semigroup (Property (MetaTypes setupmetatypes))
+ , Sem.Semigroup (Property (MetaTypes undometatypes))
+ , SingI setupmetatypes
+ , SingI undometatypes
)
- => Sem.Semigroup (RevertableProperty setupmetatypes undometatypes)
+ => Sem.Semigroup (RevertableProperty (MetaTypes setupmetatypes) (MetaTypes undometatypes))
where
RevertableProperty s1 u1 <> RevertableProperty s2 u2 =
RevertableProperty (s1 <> s2) (u2 <> u1)