summaryrefslogtreecommitdiff
path: root/src/Propellor/Types/MetaTypes.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-24 16:55:48 -0400
committerJoey Hess2016-03-24 16:55:48 -0400
commitf1168d4b46e9a1c73afe4885f1b14b1bd81b7d50 (patch)
treeb2a039f6e722f73f1d104559bafabf686bc7d75e /src/Propellor/Types/MetaTypes.hs
parent04c973a4ef966e4f3da8d8bda8b3eb489cd4fbf8 (diff)
IncludesInfo
Diffstat (limited to 'src/Propellor/Types/MetaTypes.hs')
-rw-r--r--src/Propellor/Types/MetaTypes.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Propellor/Types/MetaTypes.hs b/src/Propellor/Types/MetaTypes.hs
index b6d72dcd..7f7dae13 100644
--- a/src/Propellor/Types/MetaTypes.hs
+++ b/src/Propellor/Types/MetaTypes.hs
@@ -17,6 +17,7 @@ module Propellor.Types.MetaTypes (
sing,
SingI,
Union,
+ IncludesInfo,
) where
----- DEMO ----------
@@ -108,6 +109,9 @@ type family Concat (list1 :: [a]) (list2 :: [a]) :: [a]
type instance Concat '[] bs = bs
type instance Concat (a ': as) bs = a ': (Concat as bs)
+type family IncludesInfo t :: Bool
+type instance IncludesInfo (Sing l) = Elem 'WithInfo l
+
newtype OuterMetaTypes l = OuterMetaTypes (Sing l)
outerMetaTypes :: Property (Sing l) -> OuterMetaTypes l