propellor/Propellor/Engine.hs

31 lines
773 B
Haskell
Raw Normal View History

2014-03-31 05:06:44 +00:00
module Propellor.Engine where
import System.Exit
import System.IO
2014-03-31 14:36:45 +00:00
import Data.Monoid
2014-03-31 22:31:08 +00:00
import System.Console.ANSI
2014-03-31 05:06:44 +00:00
import Propellor.Types
2014-03-31 22:31:08 +00:00
import Propellor.Message
2014-03-31 05:06:44 +00:00
import Utility.Exception
ensureProperty :: Property -> IO Result
ensureProperty = catchDefaultIO FailedChange . propertySatisfy
ensureProperties :: [Property] -> IO ()
ensureProperties ps = do
r <- ensureProperties' [Property "overall" $ ensureProperties' ps]
2014-03-31 05:19:40 +00:00
setTitle "propellor done"
hFlush stdout
2014-03-31 05:06:44 +00:00
case r of
FailedChange -> exitWith (ExitFailure 1)
_ -> exitWith ExitSuccess
ensureProperties' :: [Property] -> IO Result
ensureProperties' ps = ensure ps NoChange
where
ensure [] rs = return rs
ensure (l:ls) rs = do
2014-03-31 22:31:08 +00:00
r <- actionMessage (propertyDesc l) (ensureProperty l)
2014-03-31 14:36:45 +00:00
ensure ls (r <> rs)