Propellor.Types

data Host

data Property i

data Info

data HasInfo

data NoInfo

type family CInfo x y

type Desc

infoProperty

simpleProperty

adjustPropertySatisfy

propertyInfo

propertyDesc

propertyChildren

data RevertableProperty

(<!>)

class IsProp p

class Combines x y

type family CombinedType x y

combineWith

data Propellor p

class LiftPropellor m

data EndAction

propertySatisfy

ignoreInfo