diff options
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 |