path: root/src/Propellor/Types/MetaTypes.hs
AgeCommit message (Expand)Author
2019-07-02use ConstraintKindsJoey Hess
2019-07-02reword to be more like ghc wordingJoey Hess
2019-07-02better explain Property <unknown>Joey Hess
2019-07-02use DelayErrorJoey Hess
2019-07-02Revert "Revert "custom type error messages""Joey Hess
2019-07-02Revert "custom type error messages"Joey Hess
2019-07-01optionally use type-errors to detect stucknessJoey Hess
2019-07-01custom type error messagesJoey Hess
2018-05-18modernized and simplified the MetaTypes implementationJoey Hess
2018-04-23update note about singletons libraryJoey Hess
2017-02-04improve layoutJoey Hess
2017-02-03add types for Arch LinuxZihao Wang
2016-03-28implemented pickOSJoey Hess
2016-03-27split out singletons libJoey Hess
2016-03-27ported DiskImageJoey Hess
2016-03-27refactorJoey Hess
2016-03-25cleanup warningsJoey Hess
2016-03-25continued portingJoey Hess
2016-03-25fix CheckCombinableJoey Hess
2016-03-25use MetaTypes moreJoey Hess
2016-03-25add type alias for Sing to be less confusing for usersJoey Hess
2016-03-24fix combineWith to only accept properties that have common targetsJoey Hess
2016-03-24fix bug in NonTargets implJoey Hess
2016-03-24convert ensurePropertyJoey Hess
2016-03-24IncludesInfoJoey Hess
2016-03-241st stage integrating MetaTypesJoey Hess
2016-03-24renameJoey Hess