summaryrefslogtreecommitdiff
path: root/Propellor/Property.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Propellor/Property.hs')
-rw-r--r--Propellor/Property.hs22
1 files changed, 14 insertions, 8 deletions
diff --git a/Propellor/Property.hs b/Propellor/Property.hs
index 2764d614..10a51530 100644
--- a/Propellor/Property.hs
+++ b/Propellor/Property.hs
@@ -58,14 +58,6 @@ property `onChange` hook = Property (propertyDesc property) $ do
return $ r <> r'
_ -> return r
--- | Indicates that the first property can only be satisfied once
--- the second is.
-requires :: Property -> Property -> Property
-x `requires` y = combineProperties (propertyDesc x) [y, x]
-
-describe :: Property -> Desc -> Property
-describe p d = p { propertyDesc = d }
-
(==>) :: Desc -> Property -> Property
(==>) = flip describe
infixl 1 ==>
@@ -76,3 +68,17 @@ check c property = Property (propertyDesc property) $ ifM c
( ensureProperty property
, return NoChange
)
+
+-- | Undoes the effect of a property.
+revert :: RevertableProperty -> RevertableProperty
+revert (RevertableProperty p1 p2) = RevertableProperty p2 p1
+
+-- | Starts a list of Properties
+props :: [Property]
+props = []
+
+-- | Adds a property to the list.
+-- Can add both Properties and RevertableProperties.
+(&) :: IsProp p => [Property] -> p -> [Property]
+ps & p = toProp p : ps
+infixl 1 &