git.iko.soy/generic-lens
on 67eebf9 help sign in
67eebf9Improve type-checking performance significantlyCsongor Kiss 0000851Now fully optimal types traversalCsongor Kiss 7260c24Improve inference for paramCsongor Kiss 3e9221cRename typesDeep to types and remove old typesMatthew Pickering 383f441Error if type has less parameters than required by 'param'Csongor Kiss 543c707Optimise deep traversalsCsongor Kiss 0de17f6Rewrite typesDeep in a direct styleCsongor Kiss 7462a12Revert "Simplify typesDeep implementation"Csongor Kiss 0af1a96Oops, fix kind errorCsongor Kiss df10d4aUse StandaloneDerivingCsongor Kiss b16240bDisable failing inspection-tests for nowCsongor Kiss 8191cfdSimplify typesDeep implementationCsongor Kiss 1a82aafAdd Integer to list of primativesMatthew Pickering 409f3a3Add Bifunctor derivation testCsongor Kiss a623316More interesting examplesCsongor Kiss 14abda5Fix deep typed traversalCsongor Kiss 565302cAdd test from SYBCsongor Kiss e9c0a1fWIP Deep traversalsCsongor Kiss 367497dAdd missing case for Zip in GenericNCsongor Kiss e48f8f5Remove Peano from Changing (Nat is fine)Csongor Kiss 2d41977Add tests + inlineCsongor Kiss f4073caAdd GHasParam instance for K1Csongor Kiss 2b9efe8Add GenericN classCsongor Kiss a31ae1eType-changing traversals over type parametersCsongor Kiss 95d451aAdd constrained traversals and multitraversalsCsongor Kiss a184835Ignore core-htmlCsongor Kiss c61adcfUpdate README.mdCsongor Kiss 2559eccMerge pull request #33 from kcsongor/wip/boggle-mergeCsongor Kiss 72ccf99OVERLAPPING -> OVERLAPPABLECsongor Kiss 6f23a3aAdd (:+:) case for typed TraversalCsongor Kiss de7627dClean upCsongor Kiss 37c466dAdd semigroup instance for ListCsongor Kiss 900cb6f8.4.1 travisMatthew Pickering f0478e8Remove submodule thingsMatthew Pickering a082fb4Merge branch 'master' into wip/boggle-mergeMatthew Pickering ef002d2All optimisations are goMatthew Pickering 1e3575e-fno-solve-constant-dicts in Keyed for 8.2.1Csongor Kiss 70d9f28Fix subtype PrismCsongor Kiss 4d39a71Remove inspection-testing stuff from .travisMatthew Pickering 78f415fMerge Test24 and Test25 with unit testsMatthew Pickering 770b640Missing inline pragma - 8.0 1 failingMatthew Pickering 669770bAdd back in case change but keep the eta expansiona as it wasMatthew Pickering 85b2230Revert "Use case rather than let"Matthew Pickering 762db01Add more tests, one still failingCsongor Kiss 3a492a6Pass all doctestsCsongor Kiss 2c14f01Make some more doctests workMatthew Pickering ae60726Merge branch 'wip/merge-split-rep' into wip/boggle-mergeMatthew Pickering 97aaeacUse case rather than letMatthew Pickering d539770Get generic prism closerMatthew Pickering 5d8b507Inline prisms betterCsongor Kiss