summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/ResultCheck.hs
diff options
context:
space:
mode:
authorJoey Hess2015-12-05 18:51:17 -0400
committerJoey Hess2015-12-05 18:51:17 -0400
commit4fe1dcb6142d4033482d6f25b916b64926bc7b3f (patch)
treefd8597ccbb3c591e118da4edaa8da650f075f3bf /src/Propellor/Types/ResultCheck.hs
parent97a224b194b96184c7938de0bb1e1f423612ccbc (diff)
parent5cfb20668421acb3c0de133afe973fc693b8b320 (diff)
Merge branch 'joeyconfig'
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)