summaryrefslogtreecommitdiff
path: root/src/Propellor/Engine.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 16:12:27 -0400
committerJoey Hess2016-03-25 16:12:27 -0400
commit6b9f3158df63e18b32b7175205ef686badc3bc1b (patch)
treee169e77f1eb0c5f07cef7a441410af2f6053a857 /src/Propellor/Engine.hs
parent4694a4c36cca1c7b52421297a62548d8bbb2ec0b (diff)
ported mainProperties
Diffstat (limited to 'src/Propellor/Engine.hs')
-rw-r--r--src/Propellor/Engine.hs15
1 files changed, 6 insertions, 9 deletions
diff --git a/src/Propellor/Engine.hs b/src/Propellor/Engine.hs
index 62fad5af..bf49b95f 100644
--- a/src/Propellor/Engine.hs
+++ b/src/Propellor/Engine.hs
@@ -1,8 +1,8 @@
{-# LANGUAGE PackageImports #-}
-{-# LANGUAGE GADTs #-}
+{-# LANGUAGE DataKinds #-}
module Propellor.Engine (
- -- mainProperties,
+ mainProperties,
runPropellor,
ensureProperty,
ensureChildProperties,
@@ -29,22 +29,19 @@ import Propellor.Info
import Propellor.Property
import Utility.Exception
-{-
-
-- | Gets the Properties of a Host, and ensures them all,
-- with nice display of what's being done.
mainProperties :: Host -> IO ()
mainProperties host = do
- ret <- runPropellor host $
- ensureProperties [ignoreInfo $ infoProperty "overall" (ensureProperties ps) mempty mempty]
+ ret <- runPropellor host $ ensureChildProperties [toProp overall]
messagesDone
case ret of
FailedChange -> exitWith (ExitFailure 1)
_ -> exitWith ExitSuccess
where
- ps = map ignoreInfo $ hostProperties host
-
--}
+ overall :: Property (MetaTypes '[])
+ overall = property "overall" $
+ ensureChildProperties (hostProperties host)
-- | Runs a Propellor action with the specified host.
--