git.iko.soy/generic-lens
on eeeaf4f help sign in
eeeaf4fUpdate READMECsongor Kiss 1b9daf4Add examplesCsongor Kiss 2a4fec2Remove 'confusing' as it kills performance for large types (I don't yet know why)Csongor Kiss 7c9cd73Fix optimisation on 8.0.2Csongor Kiss 218704eAdd test case for #40Csongor Kiss 3d9c1aeAdd non-type-changing variant of optics (fixes #40)Csongor Kiss 3a6e50eFix Bifunctor test on 8.0.2Csongor Kiss f5c880eAdd Data.Generics.Product.Internal.ConstraintsCsongor Kiss f80770dFix tests, remove redundant internal modulesCsongor Kiss ee04b1cFix testsCsongor Kiss 2bff041Bump version for new release (1.0.0.0)Csongor Kiss 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