aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src
Commit message (Collapse)AuthorAgeFilesLines
* Split instance subsection layout method to top-level declarations.Łukasz Hanuszczak2015-08-211-5/+22
|
* 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 bug where instance expander was opening wrong section.Łukasz Hanuszczak2015-08-211-11/+24
|
* Fix bug with types not being specialized at all.Łukasz Hanuszczak2015-08-211-2/+2
|
* Fix declaration converter to use more appropriate mode for methods.Łukasz Hanuszczak2015-08-211-10/+12
|
* Get rid of no longer neccessary instance specification type.Łukasz Hanuszczak2015-08-212-24/+17
|
* Integrate instance specification type into class instance definition.Łukasz Hanuszczak2015-08-215-9/+23
|
* 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
|
* Improve placement of instance methods expander button.Łukasz Hanuszczak2015-08-211-3/+3
|
* Attach source locations to the specialized class methods.Łukasz Hanuszczak2015-08-211-6/+5
|
* Make specialized methods be nicely formatted again.Łukasz Hanuszczak2015-08-211-4/+8
|
* Make specialized signatures refer to original signature declaration.Łukasz Hanuszczak2015-08-212-3/+10
|
* Hook type renamer with instance method HTML pretty-printer.Łukasz Hanuszczak2015-08-212-3/+8
|
* Move `SetName` class definition to types module.Łukasz Hanuszczak2015-08-212-5/+18
|
* 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
|
* Add SYB-like utility function for performing stateful queries.Łukasz Hanuszczak2015-08-211-1/+15
|
* 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-212-1/+14
|
* Hook type specialization logic with HTML pretty-printer.Łukasz Hanuszczak2015-08-212-12/+22
|
* Create convenience functions for type specialization module.Łukasz Hanuszczak2015-08-211-5/+26
|
* Move dummy post-family instances for `DocName` to `Types` module.Łukasz Hanuszczak2015-08-212-14/+15
|
* Add expandable method section for each class instance declaration.Łukasz Hanuszczak2015-08-212-18/+50
|
* Refactor instance head type to record instead of a meaningless tuple.Łukasz Hanuszczak2015-08-216-38/+63
|
* Make HTML class instance printer take optional signature argument.Łukasz Hanuszczak2015-08-211-9/+14
|
* 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
|
* Implement generic transformation constructor.Łukasz Hanuszczak2015-08-211-0/+9
|
* Implement `everywhere` transformation in SYB module.Łukasz Hanuszczak2015-08-211-1/+7
|
* Move SYB utilities to standalone module.Łukasz Hanuszczak2015-08-212-14/+27
|
* Apply promoted type quoting to type-level consing.Łukasz Hanuszczak2015-08-061-1/+6
|
* Fix quote syntax for promoted types.Łukasz Hanuszczak2015-08-062-3/+10
|
* Override source line flags when source hyperlinker is enabled.Łukasz Hanuszczak2015-08-021-2/+7
|
* Make hyperlinked source renderer generate line anchors.Łukasz Hanuszczak2015-08-021-3/+23
|
* Add some utility definitions for generating line anchors.Łukasz Hanuszczak2015-08-021-2/+23
|