summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
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