summaryrefslogtreecommitdiff
path: root/src/Propellor/PropAccum.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/PropAccum.hs')
-rw-r--r--src/Propellor/PropAccum.hs17
1 files changed, 11 insertions, 6 deletions
diff --git a/src/Propellor/PropAccum.hs b/src/Propellor/PropAccum.hs
index 85a30af5..7c838c92 100644
--- a/src/Propellor/PropAccum.hs
+++ b/src/Propellor/PropAccum.hs
@@ -6,7 +6,7 @@ module Propellor.PropAccum
, (&)
, (&^)
, (!)
- , propagateContainer
+ --, propagateContainer
) where
import Data.Monoid
@@ -33,7 +33,7 @@ class PropAccum h where
-- | Like addProp, but adds the property at the front of the list.
addPropFront :: IsProp p => h -> p -> h
- getProperties :: h -> [Property HasInfo]
+ getProperties :: h -> [ChildProperty]
-- | Adds a property to a `Host` or other `PropAccum`
--
@@ -46,7 +46,7 @@ class PropAccum h where
(&^) = addPropFront
-- | Adds a property in reverted form.
-(!) :: IsProp (RevertableProperty i) => PropAccum h => h -> RevertableProperty i -> h
+(!) :: IsProp (RevertableProperty undometatypes setupmetatypes) => PropAccum h => h -> RevertableProperty setupmetatypes undometatypes -> h
h ! p = h & revert p
infixl 1 &
@@ -60,6 +60,8 @@ instance PropAccum Host where
(getInfoRecursive p <> is)
getProperties = hostProperties
+{-
+
-- | Adjust the provided Property, adding to its
-- propertyChidren the properties of the provided container.
--
@@ -72,9 +74,10 @@ propagateContainer
:: (PropAccum container)
=> String
-> container
- -> Property HasInfo
- -> Property HasInfo
-propagateContainer containername c prop = infoProperty
+ -> Property metatypes
+ -> Property metatypes
+propagateContainer containername c prop = Property
+ undefined
(propertyDesc prop)
(propertySatisfy prop)
(propertyInfo prop)
@@ -86,3 +89,5 @@ propagateContainer containername c prop = infoProperty
(propagatableInfo (propertyInfo p))
cs = map go (propertyChildren p)
in infoProperty (propertyDesc p) (propertySatisfy p) i cs
+
+-}