summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/ResultCheck.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/Types/ResultCheck.hs')
-rw-r--r--src/Propellor/Types/ResultCheck.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Types/ResultCheck.hs b/src/Propellor/Types/ResultCheck.hs
index 590d4ab9..0c7597a2 100644
--- a/src/Propellor/Types/ResultCheck.hs
+++ b/src/Propellor/Types/ResultCheck.hs
@@ -60,7 +60,7 @@ instance Checkable UncheckedProperty i where
--
-- However, beware assuming `NoChange`, as that will make combinators
-- like `onChange` not work.
-assume :: UncheckedProperty i -> Result -> Property i
-assume (UncheckedProperty p) result = adjustPropertySatisfy (checkedProp p) $ \satisfy -> do
+assume :: Checkable p i => p i -> Result -> Property i
+assume p result = adjustPropertySatisfy (checkedProp p) $ \satisfy -> do
r <- satisfy
return (r <> result)