Safe Haskell | Safe-Inferred |
---|
- makeChange :: IO () -> IO Result
- noChange :: IO Result
- propertyList :: Desc -> [Property] -> Property
- combineProperties :: [Property] -> Property
- flagFile :: Property -> FilePath -> Property
- onChange :: Property -> Property -> Property
- requires :: Property -> Property -> Property
- describe :: Property -> Desc -> Property
- (==>) :: Desc -> Property -> Property
- check :: IO Bool -> Property -> Property
Documentation
makeChange :: IO () -> IO ResultSource
propertyList :: Desc -> [Property] -> PropertySource
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] -> PropertySource
Combines a list of properties, resulting in one property that - ensures each in turn, stopping on failure.
flagFile :: Property -> FilePath -> PropertySource
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 -> PropertySource
Whenever a change has to be made for a Property, causes a hook - Property to also be run, but not otherwise.