summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
authorJoey Hess2015-12-06 14:24:44 -0400
committerJoey Hess2015-12-06 14:24:44 -0400
commit030f13f2d0501c9fb42c8f1efa0a15fa63c94d67 (patch)
treef81cbf9524d258daea72ab09866a6a8fe526c827 /src/Propellor/Property.hs
parent94f91a44810dc3a1eca95c843e3c444cbbe87006 (diff)
allow using `check` on a UncheckedProperty, which yields a Property
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs8
1 files changed, 0 insertions, 8 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index eacb6004..e862fb44 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -169,14 +169,6 @@ infixl 1 ==>
ensureProperty :: Property NoInfo -> Propellor Result
ensureProperty = catchPropellor . propertySatisfy
--- | Makes a Property only need to do anything when a test succeeds.
-check :: (LiftPropellor m) => m Bool -> Property i -> Property i
-check c p = adjustPropertySatisfy p $ \satisfy ->
- ifM (liftPropellor c)
- ( satisfy
- , return NoChange
- )
-
-- | Tries the first property, but if it fails to work, instead uses
-- the second.
fallback :: (Combines p1 p2) => p1 -> p2 -> CombinedType p1 p2