30caabbMerge pull request #67 from Lysxia/uninteresting-wordCsongor Kiss8 years ago bac1bbbDeclare Data.Word and Data.Int types as uninteresting (#63)Lysxia8 years ago 954471aSmall cleanups in prism codeOleg Grenrus8 years ago 067ac6dChanged gWrapped to use a profunctor isoIsaac Elliott8 years ago 46bfd02Renamed "is" to "wrapped"Isaac Elliott8 years ago 238b01dHide equality constraints (hack)Csongor Kiss8 years ago ae45fc5Remove equality constraints for better inlining.Csongor Kiss8 years ago 3a5e980Improve type inference for polymorphic optics (fixes #62)Csongor Kiss8 years ago e93bf2cAdd test case from #62Csongor Kiss8 years ago 63b2f76Specialise Appending to HListCsongor Kiss8 years ago db4a810Drop (now redundant) meta elements from List and rename to HListCsongor Kiss8 years ago 136c68fMerge pull request #60 from kquick/example-doctest-fixCsongor Kiss8 years ago d9af1ecFix examples-doctest to find generic-lens modules.Kevin Quick8 years ago 571b430Update stack resolverCsongor Kiss8 years ago 28682d4Implemented generic Iso, in the vein of Control.Lens.WrappedIsaac Elliott8 years ago 64075a21.0.0.21.0.0.2Csongor Kiss8 years ago 771506bMake compilation faster by not going through an intermediate HListCsongor Kiss8 years ago 6787a4eDon't allow 8.4.1 failure in travis1.0.0.1Csongor Kiss9 years ago 21b8f86Update criterion dependencyCsongor Kiss9 years ago b642151Fix optimisation on 8.4.1 (#43)Csongor Kiss9 years ago 52b543d1.0.0.1Csongor Kiss9 years ago 55e10b0Update .cabal fileCsongor Kiss9 years ago 4ed90a0Changelog, readmeCsongor Kiss9 years ago 57a46bdREADMECsongor Kiss9 years ago 41c3a70Constrained traversal, READMECsongor Kiss9 years ago af5e8e8projectSub returns `Maybe sub` (fixes #21)Csongor Kiss9 years ago 8cce226Fix TOC linksCsongor Kiss9 years ago 7bceff2READMECsongor Kiss9 years ago 51fabc9Update READMECsongor Kiss9 years ago 6fe7921FlexibleContextsCsongor Kiss9 years ago eeeaf4fUpdate READMECsongor Kiss9 years ago 1b9daf4Add examplesCsongor Kiss9 years ago 2a4fec2Remove 'confusing' as it kills performance for large types (I don't yet know why)Csongor Kiss9 years ago 7c9cd73Fix optimisation on 8.0.2Csongor Kiss9 years ago 218704eAdd test case for #40Csongor Kiss9 years ago 3d9c1aeAdd non-type-changing variant of optics (fixes #40)Csongor Kiss9 years ago 3a6e50eFix Bifunctor test on 8.0.2Csongor Kiss9 years ago f5c880eAdd Data.Generics.Product.Internal.ConstraintsCsongor Kiss9 years ago f80770dFix tests, remove redundant internal modulesCsongor Kiss9 years ago ee04b1cFix testsCsongor Kiss9 years ago 2bff041Bump version for new release (1.0.0.0)Csongor Kiss9 years ago 67eebf9Improve type-checking performance significantlyCsongor Kiss9 years ago 0000851Now fully optimal types traversalCsongor Kiss9 years ago 7260c24Improve inference for paramCsongor Kiss9 years ago 3e9221cRename typesDeep to types and remove old typesMatthew Pickering9 years ago 383f441Error if type has less parameters than required by 'param'Csongor Kiss9 years ago 543c707Optimise deep traversalsCsongor Kiss9 years ago 0de17f6Rewrite typesDeep in a direct styleCsongor Kiss9 years ago 7462a12Revert "Simplify typesDeep implementation"Csongor Kiss9 years ago 0af1a96Oops, fix kind errorCsongor Kiss9 years ago