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 :: Desc -> [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

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

check :: IO Bool -> Property -> Property

Makes a Property only be performed when a test succeeds.

revert :: RevertableProperty -> RevertableProperty

Undoes the effect of a property.

props :: [Property]

Starts a list of Properties

(&) :: IsProp p => [Property] -> p -> [Property]

Adds a property to the list. Can add both Properties and RevertableProperties.