git.iko.soy/generic-lens
on ccc8bcf help sign in
ccc8bcfAdd test case for #24Csongor Kiss ff78ef1Infer original type from return type (fixes #25)Csongor Kiss c0e2c24Fix #23Csongor Kiss 293657dBump 0.5.1.0Csongor Kiss 5b0c027Add IsLabel instanceCsongor Kiss 01d7893Fix subtype error messageCsongor Kiss 8e3bbedImprove error message for subtype lens0.5.0.0Csongor Kiss 94d377aUpdate ChangeLog.mdCsongor Kiss aad5b7cMake type errors better (#20)Csongor Kiss 7c05cfcClean upCsongor Kiss 904a9aeRegain `field s b -> t` functional dependencyCsongor Kiss c08ec77Fix typo in test suiteCsongor Kiss ca3b456Fix doctestCsongor Kiss 4eb9475Fix inferenceCsongor Kiss adfa23eAdd composition testCsongor Kiss 4cc2db3Improve type-changing lensesCsongor Kiss b4f07feType-changing constructor prismCsongor Kiss 4e50855Type-changing lensesCsongor Kiss 462f56cSpecify new version of inspection-testing in stack.yamlCsongor Kiss fc70d72Add multi_ghc_travisCsongor Kiss aea8aa2Use inspection-testing >= 0.1.1.1Csongor Kiss 0cc040dBump version0.4.1.0Csongor Kiss 8f1c61eFix inlining on GHC 8.0.2Csongor Kiss 85974a2Switch from ghc-proofs to inspection-testing (#15)Joachim Breitner 126299cIgnore build artifactsCsongor Kiss d5a67a0Add hackage badgeCsongor Kiss cf4466bAdd injectTyped and projectTyped. (#14)Will Jones ee5e333Bump 0.4.0.10.4.0.1Csongor Kiss 8b4b619Optimise typed lensCsongor Kiss 3fddfc5Optimise positional lens and use ghc-proofs for testingCsongor Kiss 5da262dOptimise 'field' lens with CoyonedaCsongor Kiss ea95d4dFix performance regressionCsongor Kiss 21bd663Support products of size up to 18Csongor Kiss 310186b0.4.0.00.4.0.0Csongor Kiss bfcd00aSeparate internalsCsongor Kiss 7665edcAdd sum subtyping and documentation.Will Jones 6fd4bd90.3.0.10.3.0.1Csongor Kiss 138fbd9Fix _Typed prism for multiple aritiesCsongor Kiss 6a15e05Add MonoLocalBinds to suppress 8.2 warnings about fragile inner bindingsCsongor Kiss fa94a03Add missing module headers0.3.0.0Csongor Kiss f7fd419Squashed commit of the following:Csongor Kiss b8d6f40Remove redundant pattern matchCsongor Kiss 6cee2a9Use Data.Type.Bool for type-level boolsCsongor Kiss d04fa38Fix module names in module docsCsongor Kiss 28370c8Merge remote-tracking branch 'lunaris/master'Csongor Kiss 71eff67Minor cleanupCsongor Kiss 1a87a90Add a top-level Data.Generics.Sum module.Will Jones 72c8592Document sums and add uniqueness checking.Will Jones f3cc231Rename remaining ErrorUnlessTrue families.Will Jones 2afd99bAdd -Werror.Will Jones