Propellor.Types.MetaTypes

data MetaType

type UnixLike

type Linux

type DebianLike

type Debian

type Buntish

type ArchLinux

type FreeBSD

type HasInfo

type MetaTypes

type family a + b :: ab

sing

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]