Propellor.Types

# Core data types

data Host

data Property metatypes

property

property''

type Desc

data RevertableProperty setupmetatypes undometatypes

(<!>)

data Propellor p

class LiftPropellor m

data Info

# Types of properties

type UnixLike

type Linux

type DebianLike

type Debian

type Buntish

type ArchLinux

type FreeBSD

type HasInfo

type family a + b :: ab

class TightenTargets p

# Combining and modifying properties

class Combines x y

type family CombinedType x y

type ResultCombiner

adjustPropertySatisfy

# Other included types