diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-03-25 14:04:40 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-03-25 14:04:40 -0400 |
commit | 91d1833155a2e8be2c435d0a92a750cc9d2f30b5 (patch) | |
tree | bd9662a258b4b0544e19295a319b61086a201d6f /src/Propellor/EnsureProperty.hs | |
parent | 48a05503493caeb80794a872b0e3b4482d5859ce (diff) |
ported Property.List
I wanted to keep propertyList [foo, bar] working, but had some difficulty
making the type class approach work. Anyway, that's unlikely to be useful,
since foo and bar probably have different types, or could easiy have their
types updated breaking it.
Diffstat (limited to 'src/Propellor/EnsureProperty.hs')
-rw-r--r-- | src/Propellor/EnsureProperty.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Propellor/EnsureProperty.hs b/src/Propellor/EnsureProperty.hs index f42003c0..21f8acce 100644 --- a/src/Propellor/EnsureProperty.hs +++ b/src/Propellor/EnsureProperty.hs @@ -39,7 +39,7 @@ ensureProperty => OuterMetaTypes outer -> Property (MetaTypes inner) -> Propellor Result -ensureProperty _ = catchPropellor . propertySatisfy +ensureProperty _ = catchPropellor . getSatisfy -- The name of this was chosen to make type errors a more understandable. type family CannotUse_ensureProperty_WithInfo (l :: [a]) :: Bool |