Propellor.Property

Documentation

makeChange :: IO () -> Propellor Result

noChange :: Propellor 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.

before :: Property -> Property -> Property

Combines together two properties, resulting in one property that ensures the first, and if the first succeeds, ensures the second. The property uses the description of the first property.

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.

boolProperty :: Desc -> IO Bool -> Property

revert :: RevertableProperty -> RevertableProperty

Undoes the effect of a property.

host :: HostName -> Host

Starts accumulating the properties of a Host.

 host "example.com"
 	& someproperty
 	! oldproperty
 	& otherproperty

(&) :: IsProp p => Host -> p -> Host

Adds a property to a Host Can add Properties, RevertableProperties, and AttrProperties

(!) :: Host -> RevertableProperty -> Host

Adds a property to the Host in reverted form.