diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-03-19 15:44:49 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-03-19 15:44:49 -0400 |
| commit | 7d3537e2b5462880242bf3f7c4f7aa75f2727d15 (patch) | |
| tree | 92d725b248b11b54c18757e6bc276222f57c7b53 /src | |
| parent | 81c28fd59e8d032b1ecdfbd163a6b11bf1170915 (diff) | |
mention mconcat
Diffstat (limited to 'src')
| -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) |