From f1168d4b46e9a1c73afe4885f1b14b1bd81b7d50 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 24 Mar 2016 16:55:48 -0400 Subject: IncludesInfo --- src/Propellor/Types/MetaTypes.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') 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 -- cgit v1.2.3