summaryrefslogtreecommitdiff
path: root/src/Propellor/Property
AgeCommit message (Collapse)Author
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10Fix Git.daemonRunning to restart inetd after enabling the git server.Joey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-10propellor spinJoey Hess
2015-02-09propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-02-01propellor spinJoey Hess
2015-01-29propellor spinJoey Hess
2015-01-29propellor spinJoey Hess
2015-01-25remove toSimplePropJoey Hess
It didn't do what I thought it did with a RevertableProperty; it always returned Nothing because even if the input properties to <!> are NoInfo, it casts them to HasInfo. Even if it had worked, it lost type safety. Better to export the Property NoInfo that is used in a RevertableProperty, so it can be used directly.
2015-01-24GADT properties seem to work (untested)Joey Hess
* Property has been converted to a GADT, and will be Property NoInfo or Property HasInfo. This was done to make sure that ensureProperty is only used on properties that do not have Info. Transition guide: - Change all "Property" to "Property NoInfo" or "Property WithInfo" (The compiler can tell you if you got it wrong!) - To construct a RevertableProperty, it is useful to use the new (<!>) operator - Constructing a list of properties can be problimatic, since Property NoInto and Property WithInfo are different types and cannot appear in the same list. To deal with this, "props" has been added, and can built up a list of properties of different types, using the same (&) and (!) operators that are used to build up a host's properties.
2015-01-24added GADT to determine between a property with info and withoutJoey Hess
Not yet used
2015-01-23OS.preserveNetwork finally writtenJoey Hess
2015-01-23Added more network interface configuration properties.Joey Hess
2015-01-22propellor spinJoey Hess
2015-01-21reorgJoey Hess
2015-01-21propellor spinJoey Hess
2015-01-21Added journald configuration properties.Joey Hess
2015-01-21Added systemd configuration properties.Joey Hess
2015-01-19exportJoey Hess
2015-01-19split out types to improve haddock for Propellor.TypesJoey Hess
2015-01-19avoid haddock warningsJoey Hess
2015-01-19rename HostLike to PropAccumJoey Hess
This is more general; it doesn't need to contain a Host. It would, for example, be possible to make Property itself be an instance of PropAccum.
2015-01-18Property treeJoey Hess
Properties now form a tree, instead of the flat list used before. This simplifies propigation of Info from the Properties used inside a container to the outer host; the Property that docks the container on the host can just have as child properties all the inner Properties, and their Info can then be gathered recursively. (Although in practice it still needs to be filtered, since not all Info should propigate out of a container.) Note that there is no change to how Properties are actually satisfied. Just because a Property lists some child properties, this does not mean they always have their propertySatisfy actions run. It's still up to the parent property to run those actions. That's necessary so that a container's properties can be satisfied inside it, not outside. It also allows property combinators to add the combined Properties to their childProperties list, even if, like onChange, they don't always run the child properties at all. Testing: I tested that the exact same Info is calculated before and after this change, for every Host in my config file.
2015-01-09propellor spinJoey Hess
2015-01-08propellor spinJoey Hess
2015-01-08propellor spinJoey Hess
2015-01-08propellor spinJoey Hess
2015-01-08propellor spinJoey Hess
2015-01-08propellor spinJoey Hess
2015-01-08propellor spinJoey Hess