summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-03-26old ghc fixJoey Hess
2016-03-26more portingJoey Hess
2016-03-26add back DeriveDataTypeableJoey Hess
needed for ghc 7.6.3
2016-03-26ported dockerJoey Hess
Also, implemented modifyHostProps to add properties to an existing host. Using it bypasses some type safety. Its use in docker is safe though. But, in Conductor, the use of it was not really safe, because it was used with a DebianLike property. Fixed that by making Ssh.installed target all unix's, although it will fail on non-DebianLike ones.
2016-03-26ported Chroot!!Joey Hess
It ended up specialized to Linux for a few reasons, including inChrootProcess's use of umountLazy which is linux specific. The ChrootBootstrapper type class is specialized to Linux for no good reason. Future work: Support other unix's.
2016-03-26ported propagateContainerJoey Hess
Renamed several utility functions along the way.
2016-03-26got rid of the undefined in privdataJoey Hess
addInfoProperty' is like addInfoProperty but for when the input property is already known to HasInfo.
2016-03-26finished porting conductorJoey Hess
2016-03-26more portingJoey Hess
Conductor WIP
2016-03-26more portedJoey Hess
2016-03-26remove `os` propertyJoey Hess
The new properties let the type checker know what the target OS is.
2016-03-26update docs for new property typesJoey Hess
2016-03-26more portingJoey Hess
2016-03-26more portingJoey Hess
2016-03-26more portingJoey Hess
2016-03-26fixed type checking of SshJoey Hess
2016-03-25avoid cabal warningJoey Hess
2016-03-25ported moreJoey Hess
Ssh is WIP and failing to compile quite badly
2016-03-25cleanup warningsJoey Hess
2016-03-25rename toProp to toChildPropertiesJoey Hess
and note that it's not meant to be used by regular users
2016-03-25ported mainPropertiesJoey Hess
2016-03-25continued portingJoey Hess
2016-03-25much simpler and more type safe implementation of Apt.robustly, using fallback!Joey Hess
2016-03-25ported Property.AptJoey Hess
2016-03-25finished porting Property.UserJoey Hess
2016-03-25ported Property.ListJoey Hess
I wanted to keep propertyList [foo, bar] working, but had some difficulty making the type class approach work. Anyway, that's unlikely to be useful, since foo and bar probably have different types, or could easiy have their types updated breaking it.
2016-03-25ported PropAccumJoey Hess
Was not able to keep it a type class -- the type checker got too confused. (Or I did.) So, Host, Docker, and Chroot now need to be passed a Props, which is constructed using props. This is a small user-visible API change, but acceptable.
2016-03-25fix CheckCombinableJoey Hess
Was wrong when there was a non-target in the MetaTypes list. Also, rework to improve type checker errors.
2016-03-25use MetaTypes moreJoey Hess
2016-03-25fix warningsJoey Hess
2016-03-25add type alias for Sing to be less confusing for usersJoey Hess
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
generated by cgit v1.3-2-g0d8e (git 2.53.0) at 2026-06-19 08:12:41 +0000