Propellor.Property

Documentation

makeChange :: IO () -> IO Result

noChange :: IO Result

propertyList :: Desc -> [Property] -> Property

Combines a list of properties, resulting in a single property - that when run will run each property in the list in turn, - and print out the description of each as it's run. Does not stop - on failure; does propigate overall success/failure.

combineProperties :: [Property] -> Property

Combines a list of properties, resulting in one property that - ensures each in turn, stopping on failure.

flagFile :: Property -> FilePath -> Property

Makes a perhaps non-idempotent Property be idempotent by using a flag - file to indicate whether it has run before. - Use with caution.

onChange :: Property -> Property -> Property

Whenever a change has to be made for a Property, causes a hook - Property to also be run, but not otherwise.

requires :: Property -> Property -> Property

Indicates that the first property can only be satisfied once - the second is.

describe :: Property -> Desc -> Property

(==>) :: Desc -> Property -> Property

check :: IO Bool -> Property -> Property

Makes a Property only be performed when a test succeeds.

ensureProperty :: Property -> IO Result

ensureProperties :: [Property] -> IO ()

ensureProperties' :: [Property] -> IO Result

warningMessage :: String -> IO ()