summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-03-25improve type errorJoey Hess
2016-03-24convertedJoey Hess
Assuming DebianLike for all these properties until I hear otherwise.
2016-03-24fix combineWith to only accept properties that have common targetsJoey Hess
2016-03-24portedJoey Hess
2016-03-24add tightenTargets, ported Network properties (DebinLike only)Joey Hess
2016-03-24ported most of PropAccumJoey Hess
2016-03-24fix bug in NonTargets implJoey Hess
2016-03-24docsJoey Hess
2016-03-24pruneJoey Hess
2016-03-24convert ensurePropertyJoey Hess
Moved to its own module to keep everything related in one place.
2016-03-24converted to metatypesJoey Hess
A few parts using ensureProperty need more work to compile
2016-03-24partially converted; a few things commented out for nowJoey Hess
2016-03-24converted to metatypesJoey Hess
2016-03-24converted PrivDataJoey Hess
Somewhat poorly; I don't like needing to export the Property constructor to use it here, and there's a use of undefined where it should be able to use sing. I got quite stuck on this, so am happy to have anything that works.
2016-03-24IncludesInfoJoey Hess
2016-03-24refactorJoey Hess
2016-03-24converted Propellor.InfoJoey Hess
2016-03-24TypeOperators, not PolyKinds is neededJoey Hess
2016-03-24simplifyJoey Hess
2016-03-24docs and enable PolyKinds globallyJoey Hess
2016-03-24Merge branch 'master' into typed-os-requirementsJoey Hess
2016-03-24add news item for propellor 2.17.0Joey Hess
2016-03-24fix hook nameJoey Hess
2016-03-24clean up after mergeJoey Hess
2016-03-24setting up joeyconfig after mergeJoey Hess
2016-03-24no longer falsing rulesJoey Hess
2016-03-24prep releaseJoey Hess
2016-03-24don't unify the two types of properties inside a RevertablePropertyJoey Hess
While it was ok to have RevertableProperty HasInfo even when the undo property did not have any info, and it would be ok to have RevertableProperty Debian even when the undo property targeted a wider set of OS's, type-level resource conflict detection needs to keep the two straight, as in RevertableProperty (Port 80 + Debian) Debian Without that, reverting a web server property and also including another property that uses port 80 would fail to compile, since the type system would not know if reverting RevertableProperty (Port 80 + Debian) continued using the resource or not. The downside is the need to write RevertableProperty Debian Debian ... Perhaps I'll add a type alias to avoid that or something.
2016-03-241st stage integrating MetaTypesJoey Hess
2016-03-24renameJoey Hess
2016-03-24temporarily remove UsedPortJoey Hess
This can come back later as a full Resource data type. For now, I want to focus on merging what I have working.
2016-03-24fix exportJoey Hess
2016-03-20flip to modern versionJoey Hess
2016-03-20rename for consistency with singletons libraryJoey Hess
2016-03-20really bad implementation of type level OS detectionJoey Hess
2016-03-20tyoughtJoey Hess
2016-03-20Merge branch 'master' into typed-os-requirementsJoey Hess
2016-03-20use + rather than :+: type operatorJoey Hess
This seems to not overlap with the + function and is nicer to read and write
2016-03-20rename moduleJoey Hess
2016-03-20make more clear that propellor targets debian stable's ghcJoey Hess
2016-03-20renameJoey Hess
2016-03-20fix tick warningJoey Hess
2016-03-20cleanupJoey Hess
2016-03-20finished conversion to singletonsJoey Hess
2016-03-20fix tightenTargetsJoey Hess
2016-03-20Merge branch 'master' of ssh://propellor.branchable.comJoey Hess
2016-03-20Merge branch 'joeyconfig'Joey Hess
2016-03-20tagJoey Hess
2016-03-20Added a commentarnaud@30aba4d9f1742050874551d3ddc55ca8694809f8
2016-03-19Added a commentarnaud@30aba4d9f1742050874551d3ddc55ca8694809f8
generated by cgit v1.3-2-g0d8e (git 2.53.0) at 2026-06-15 17:49:13 +0000