From 2506453874aa30968d8533a603d295ac248273c5 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 25 Mar 2016 02:00:23 -0400 Subject: add type alias for Sing to be less confusing for users --- src/Propellor/EnsureProperty.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/Propellor/EnsureProperty.hs') diff --git a/src/Propellor/EnsureProperty.hs b/src/Propellor/EnsureProperty.hs index 00495f87..f3e79ae5 100644 --- a/src/Propellor/EnsureProperty.hs +++ b/src/Propellor/EnsureProperty.hs @@ -37,7 +37,7 @@ ensureProperty , CannotUse_ensureProperty_WithInfo inner ~ 'True ) => OuterMetaTypes outer - -> Property (Sing inner) + -> Property (MetaTypes inner) -> Propellor Result ensureProperty _ = catchPropellor . propertySatisfy @@ -53,14 +53,14 @@ property' :: SingI metatypes => Desc -> (OuterMetaTypes metatypes -> Propellor Result) - -> Property (Sing metatypes) + -> Property (MetaTypes metatypes) property' d a = let p = Property sing d (a (outerMetaTypes p)) mempty mempty in p -- | Used to provide the metatypes of a Property to calls to -- 'ensureProperty` within it. -newtype OuterMetaTypes metatypes = OuterMetaTypes (Sing metatypes) +newtype OuterMetaTypes metatypes = OuterMetaTypes (MetaTypes metatypes) -outerMetaTypes :: Property (Sing l) -> OuterMetaTypes l +outerMetaTypes :: Property (MetaTypes l) -> OuterMetaTypes l outerMetaTypes (Property metatypes _ _ _ _) = OuterMetaTypes metatypes -- cgit v1.2.3