Propellor.Types.MetaTypes
data MetaType
type UnixLike
type Linux
type DebianLike
type Debian
type Buntish
type FreeBSD
type HasInfo
type MetaTypes
type family a + b :: ab
class SingI t
type family IncludesInfo t :: Bool
type family Targets (l :: [a]) :: [a]
type family NonTargets (l :: [a]) :: [a]
type family NotSuperset (superset :: [a]) (subset :: [a]) :: CheckCombine
type family Combine (list1 :: [a]) (list2 :: [a]) :: [a]
data CheckCombine
type family CheckCombinable (list1 :: [a]) (list2 :: [a]) :: CheckCombine
type family (a :: Bool) && (b :: Bool) :: Bool
type family Not (a :: Bool) :: Bool
type family EqT (a :: t) (b :: t) :: Bool
type family Union (list1 :: [a]) (list2 :: [a]) :: [a]