diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-24 16:55:48 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-24 16:55:48 -0400 |
| commit | f1168d4b46e9a1c73afe4885f1b14b1bd81b7d50 (patch) | |
| tree | b2a039f6e722f73f1d104559bafabf686bc7d75e /src | |
| parent | 04c973a4ef966e4f3da8d8bda8b3eb489cd4fbf8 (diff) | |
IncludesInfo
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Types/MetaTypes.hs | 4 |
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 |