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]
type family NonTargets l :: [a]
type family NotSuperset superset subset :: CheckCombine
type family Combine list1 list2 :: [a]
data CheckCombine
type family CheckCombinable list1 list2 :: CheckCombine
type family a && b :: Bool
type family Not a :: Bool
type family EqT a b :: Bool
type family Union list1 list2 :: [a]