summaryrefslogtreecommitdiff
path: root/src/Propellor/EnsureProperty.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 02:00:23 -0400
committerJoey Hess2016-03-25 02:00:23 -0400
commit2506453874aa30968d8533a603d295ac248273c5 (patch)
tree16060cde005ddb6448271b250b16cd7c87954f91 /src/Propellor/EnsureProperty.hs
parent80ace2f30bea2ed850cf400a85fe68b3784751d2 (diff)
add type alias for Sing to be less confusing for users
Diffstat (limited to 'src/Propellor/EnsureProperty.hs')
-rw-r--r--src/Propellor/EnsureProperty.hs8
1 files changed, 4 insertions, 4 deletions
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