git.iko.soy/generic-lens
on 3a12e77 help sign in
3a12e77Remove very aggressive optionsMatthew Pickering 1e77599Do some eta expansionMatthew Pickering ff59890Optimising prismsMatthew Pickering c60b4d2Make prism code compileMatthew Pickering c78c1bcRunning PrismBoggle twice optimises away the right callsMatthew Pickering db73962More wip prismsMatthew Pickering 5106556Extend example to eliminate empty listMatthew Pickering 112c35cDList normalisedMatthew Pickering ab8fdb3Add (nearly complete) example of how boggle worksMatthew Pickering 9b9bf28Two missing filesMatthew Pickering 24cc944Add a testMatthew Pickering 4a68faeCore looks good for boggleMatthew Pickering 11eb649WIP typed traversalsCsongor Kiss 3394129WIP: Optimised prismsMatthew Pickering 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