summaryrefslogtreecommitdiff
path: root/Propellor/Property.hs
diff options
context:
space:
mode:
authorJoey Hess2014-04-11 00:14:50 -0400
committerJoey Hess2014-04-11 00:14:50 -0400
commit4c4f702cff18ad51dd3e9c3af4604d896aa1d7ce (patch)
tree84a9ac3e107972f54c34e5038c4343b9ce7303e9 /Propellor/Property.hs
parent8e96136eadd6a46462b46d09f467cf6ecb11cb68 (diff)
propellor spin
Diffstat (limited to 'Propellor/Property.hs')
-rw-r--r--Propellor/Property.hs20
1 files changed, 0 insertions, 20 deletions
diff --git a/Propellor/Property.hs b/Propellor/Property.hs
index ccc060ff..e334bfb8 100644
--- a/Propellor/Property.hs
+++ b/Propellor/Property.hs
@@ -119,23 +119,3 @@ infixl 1 &
q = revert p
infixl 1 !
-
--- | Makes a propertyList of a set of properties, using the same syntax
--- used by `host`.
---
--- > template "my template" $ props
--- & someproperty
--- ! oldproperty
---
--- Note that none of the properties can define Attrs, because
--- they will not propigate out to the host that this is added to.
---
--- Unfortunately, this is not currently enforced at the type level, so
--- attempting to set an Attr in here will be run time error.
-template :: Desc -> Host -> Property
-template desc h@(Host ps _)
- | hostAttr h == hostAttr props = propertyList desc ps
- | otherwise = error $ desc ++ ": template contains Attr"
-
-props :: Host
-props = Host [] (\_ -> hostnameless)