summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
authorJoey Hess2014-10-23 11:23:25 -0400
committerJoey Hess2014-10-23 11:23:25 -0400
commit7637ea0af9ff4056cbdc16f25016785442d4b97e (patch)
treebcb21688cf59049454f04537a070bc032624f0b4 /src/Propellor/Property.hs
parentf3d3a1ffad2f8aed7428014fbe5b5c3d2bf3a966 (diff)
propellor spin
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs10
1 files changed, 1 insertions, 9 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index 4b957317..ce825192 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -135,7 +135,7 @@ host hn = Host hn [] mempty
--
-- Can add Properties and RevertableProperties
(&) :: IsProp p => Host -> p -> Host
-(Host hn ps is) & p = Host hn (ps ++ [toProp p]) (is <> getInfo p)
+(Host hn ps as) & p = Host hn (ps ++ [toProp p]) (as <> getInfo p)
infixl 1 &
@@ -145,14 +145,6 @@ h ! p = h & revert p
infixl 1 !
--- | Like (&), but adds the property as the first property of the host.
--- Normally, property order should not matter, but this is useful
--- when it does.
-(&^) :: IsProp p => Host -> p -> Host
-(Host hn ps is) &^ p = Host hn ([toProp p] ++ ps) (getInfo p <> is)
-
-infixl 1 &^
-
-- Changes the action that is performed to satisfy a property.
adjustProperty :: Property -> (Propellor Result -> Propellor Result) -> Property
adjustProperty p f = p { propertySatisfy = f (propertySatisfy p) }