gnusosa's centralized propellor repository for hosts spin-up. https://git.gnusosa.net/propellor/atom?h=master 2018-05-18T14:40:13Z 2018-05-18T14:40:13Z Joey Hess joeyh@joeyh.name 2018-05-18T14:31:18Z urn:sha1:13beb3a02e5c59eb8c2c481f79535fb4469392d3 now that compatability with ghc 7 is no longer needed. Data.Type.Bool contains effectively the same stuff that was implemented here, so removed my code. Tried to use Data.Type.Equality instead of my EqT, but it seems to be some other type of (type level) equality, and didn't compile. Instead went with the simpler EqT implementation that newer ghc versions allow. The rest of the changes are simply better syntax for defining type families. And upon using that syntax, ghc noticed that `type family a + b` does not have kind "ab" like I wrote before, but is kind *. Tested on debian stable with ghc 8.0.1. This commit was sponsored by John Pellman on Patreon. 2018-02-11T18:35:58Z Joey Hess joeyh@joeyh.name 2018-02-11T18:35:58Z urn:sha1:053e6d7495c3b44051074472713206ed0d3ce816 Added Propellor.Property.Atomic, which can make a non-atomic property that operates on a directory into an atomic property. Also has a generic version that could be used for things other than directories that can be updated atomically. (Inspired by Vaibhav Sagar's talk on Functional Devops in a Dysfunctional World at LCA 2018.) This commit was sponsored by Fernando Jimenez on Patreon. 2017-03-19T00:13:46Z Joey Hess joeyh@joeyh.name 2017-03-19T00:13:46Z urn:sha1:18344c44c4e91a9dfd8ce6aebc3821c460cdfec9 2017-03-15T18:09:07Z Joey Hess joeyh@joeyh.name 2017-03-15T18:09:07Z urn:sha1:52ca81661f156122a3a5d4a438fea83e067215ac * Property types changed to use a Maybe (Propellor Result). (API change) * When Nothing needs to be done to ensure a property, propellor will avoid displaying its description at all. The doNothing property is an example of such a property. This is mostly in preparation for Monoid instances for Property types, but is's also nice that anything that uses doNothing will avoid printing out any message at all. At least, I think it probably is. It might potentially be confusing for something that sometimes takes an action and sometimes resolves to doNothing and in either case has a description set to not always show the description. If this did turn out to be confusing, the change to doNothing could be reverted. This commit was sponsored by Boyd Stephen Smith Jr. on Patreon. 2016-11-11T21:42:43Z Joey Hess joeyh@joeyh.name 2016-11-11T21:40:32Z urn:sha1:b1038365960693a013d7026f25d026a1fd098062 ghc 7 does not support -fno-warn-redundant-constraints so this can't be done on a per-module basis. It would be good to revert this commit when dropping support for ghc 7. 2016-11-11T21:29:25Z Joey Hess joeyh@joeyh.name 2016-11-11T21:29:11Z urn:sha1:c0d0e57257fe8dee1f9d37a6d49b6322af985a69 Only a couple of the constraints were really redundant. The rest are essential to propellor's tracking of Info propigation, so I silenced the warning for those. It would be better to only silence the warning for the functions with the extra constraints, but IIRC warnings can only be silenced on an entire file basis. This commit was sponsored by Andreas on Patreon. 2016-06-02T21:20:51Z Joey Hess joeyh@joeyh.name 2016-06-02T21:20:51Z urn:sha1:65a7716a93960ea1418927bd9d4df22ad8fb9e21 2016-03-27T23:59:20Z Joey Hess joeyh@joeyh.name 2016-03-27T23:59:20Z urn:sha1:9d6dc29555b8499d8ae6c73c891b0b5dc19f83e5 2016-03-27T01:52:11Z Joey Hess joeyh@joeyh.name 2016-03-27T01:52:11Z urn:sha1:3deb3a622eec5e12dfaee320faaeb12c70f9c8d0 2016-03-25T21:36:52Z Joey Hess joeyh@joeyh.name 2016-03-25T21:36:52Z urn:sha1:860d1dd77e1789a91ed61bdceab667d94c9bd345