From 5cfb20668421acb3c0de133afe973fc693b8b320 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 5 Dec 2015 18:03:02 -0400 Subject: remove trivial --- src/Propellor/Property.hs | 14 -------------- 1 file changed, 14 deletions(-) (limited to 'src/Propellor/Property.hs') 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 -- cgit v1.2.3