From 7d3537e2b5462880242bf3f7c4f7aa75f2727d15 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 19 Mar 2017 15:44:49 -0400 Subject: mention mconcat --- src/Propellor/Property/List.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/Propellor/Property/List.hs') 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) -- cgit v1.2.3