diff options
| -rw-r--r-- | src/Propellor/Property/List.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Propellor/Property/List.hs b/src/Propellor/Property/List.hs index 568de00b..758e51ce 100644 --- a/src/Propellor/Property/List.hs +++ b/src/Propellor/Property/List.hs @@ -43,6 +43,13 @@ propertyList desc (Props ps) = -- | Combines a list of properties, resulting in one property that -- ensures each in turn. Stops if a property fails. +-- +-- > combineProperties "foo" $ props +-- > & bar +-- > & baz +-- +-- This is similar to using `mconcat` with a list of properties, +-- except it can combine together different types of properties. combineProperties :: SingI metatypes => Desc -> Props (MetaTypes metatypes) -> Property (MetaTypes metatypes) combineProperties desc (Props ps) = property desc (combineSatisfy cs NoChange) |