Propellor.Types

data Host

type Desc

data Property i

data HasInfo

data NoInfo

type family CInfo x y

infoProperty

simpleProperty

adjustPropertySatisfy

propertyInfo

propertyDesc

propertyChildren

data RevertableProperty

(<!>)

class IsProp p

class Combines x y

type family CombinedType x y

before

combineWith

data Info

data Propellor p

data EndAction

propertySatisfy

ignoreInfo