aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Backends/Xhtml/Specialize.hs
Commit message (Expand)AuthorAgeFilesLines
* Create helper method for specializing type signatures.Łukasz Hanuszczak2015-08-211-5/+13
* Apply type specializer to associated type family declarations. Łukasz Hanuszczak2015-08-211-1/+13
* Fix yet another renamer bug where some names were not unique.Łukasz Hanuszczak2015-08-211-3/+11
* Fix another type renamer bug where not all names were rebound.Łukasz Hanuszczak2015-08-211-1/+8
* Fix unwitting compilation bug.Łukasz Hanuszczak2015-08-211-1/+1
* Refactor type renamer to rebinding and pure renaming phases.Łukasz Hanuszczak2015-08-211-45/+60
* Fix another bug where type renamer was generating incorrect names.Łukasz Hanuszczak2015-08-211-1/+1
* Add some documentation and refactor type specialization module.Łukasz Hanuszczak2015-08-211-21/+74
* Fix type renamer bug with incorrect names being generated.Łukasz Hanuszczak2015-08-211-15/+30
* Make type renamer first try single-letter names as alternatives.Łukasz Hanuszczak2015-08-211-1/+9
* Hook type renamer with instance method HTML pretty-printer.Łukasz Hanuszczak2015-08-211-2/+3
* Move `SetName` class definition to types module.Łukasz Hanuszczak2015-08-211-5/+1
* Fix compilation error caused by incorrect type signature.Łukasz Hanuszczak2015-08-211-1/+1
* Create function for retrieving free variables from given type.Łukasz Hanuszczak2015-08-211-0/+20
* Fix logic behind binder type renaming.Łukasz Hanuszczak2015-08-211-4/+7
* Fill in stub behaviour with actual environment renaming.Łukasz Hanuszczak2015-08-211-14/+28
* Implement simple mechanism for generating new type names.Łukasz Hanuszczak2015-08-211-3/+26
* Change state of the type renaming monad.Łukasz Hanuszczak2015-08-211-14/+16
* Remove code duplication in specialized type renamer.Łukasz Hanuszczak2015-08-211-6/+10
* Fill in missing cases in specialized type renaming function.Łukasz Hanuszczak2015-08-211-11/+15
* Create scaffolding of a framework for renaming specialized types.Łukasz Hanuszczak2015-08-211-1/+96
* Get rid of code duplication in type specialization module.Łukasz Hanuszczak2015-08-211-18/+12
* Implement tuple syntax sugaring logic for specialized types.Łukasz Hanuszczak2015-08-211-2/+34
* Implement list syntax sugaring logic for specialized types.Łukasz Hanuszczak2015-08-211-3/+16
* Create stub functions for sugaring specialized types.Łukasz Hanuszczak2015-08-211-0/+13
* Create convenience functions for type specialization module.Łukasz Hanuszczak2015-08-211-5/+26
* Make type of type specialization function more general.Łukasz Hanuszczak2015-08-211-3/+3
* Create simple utility module for type specialization.Łukasz Hanuszczak2015-08-211-0/+21