Propellor.Property.List

Documentation

props :: Props UnixLike

Start accumulating a list of properties.

Properties can be added to it using `(&)` etc.

data Props metatypes

Props is a combination of a list of properties, with their combined metatypes.

toProps :: [Property (MetaTypes metatypes)] -> Props (MetaTypes metatypes)

propertyList :: SingI metatypes => Desc -> Props (MetaTypes metatypes) -> Property (MetaTypes metatypes)

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 propagate overall success/failure.

For example:

propertyList "foo" $ props
	& bar
	& baz

combineProperties :: SingI metatypes => Desc -> Props (MetaTypes metatypes) -> Property (MetaTypes metatypes)

Combines a list of properties, resulting in one property that ensures each in turn. Stops if a property fails.