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]