Propellor.Types
data Host
data Property metatypes
type Desc
data RevertableProperty setupmetatypes undometatypes
data Propellor p
class LiftPropellor m
data Info
type UnixLike
type Linux
type DebianLike
type Debian
type Buntish
type FreeBSD
type HasInfo
type family a + b :: ab
class TightenTargets p
class Combines x y
type family CombinedType x y
type ResultCombiner