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 i

class MkRevertableProperty i1 i2

class IsProp p

class Combines x y

type family CombinedType x y

type ResultCombiner

data Propellor p

class LiftPropellor m

data EndAction

propertySatisfy

ignoreInfo