summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/ResultCheck.hs
diff options
context:
space:
mode:
authorJoey Hess2015-12-05 18:03:02 -0400
committerJoey Hess2015-12-05 18:51:05 -0400
commit5cfb20668421acb3c0de133afe973fc693b8b320 (patch)
treedb49686bb48d1de1403aee9aa5ea8cb7d03c6a13 /src/Propellor/Types/ResultCheck.hs
parent12548bae3d8feecce6a322162d91b827289ae824 (diff)
remove trivial
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)