summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.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/Property.hs
parent12548bae3d8feecce6a322162d91b827289ae824 (diff)
remove trivial
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs14
1 files changed, 0 insertions, 14 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index c57ef2f0..2976acf1 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -11,7 +11,6 @@ module Propellor.Property (
, flagFile'
, check
, fallback
- , trivial
, revert
-- * Property descriptions
, describe
@@ -185,19 +184,6 @@ fallback = combineWith combiner revertcombiner
else return r
revertcombiner = (<>)
--- | Marks a Property as trivial. It can only return FailedChange or
--- NoChange.
---
--- Useful when it's just as expensive to check if a change needs
--- to be made as it is to just idempotently assure the property is
--- satisfied. For example, chmodding a file.
-trivial :: Property i -> Property i
-trivial p = adjustPropertySatisfy p $ \satisfy -> do
- r <- satisfy
- if r == MadeChange
- then return NoChange
- else return r
-
-- | Indicates that a Property may change a particular file. When the file
-- is modified, the property will return MadeChange instead of NoChange.
changesFile :: Checkable p i => p i -> FilePath -> Property i