aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* | | Make instance details record use new type for family declarations.Łukasz Hanuszczak2015-08-214-15/+24
* | | Introduce alternative type for family declarations.Łukasz Hanuszczak2015-08-211-0/+31
* | | Improve look of rendered associated families in instance details.Łukasz Hanuszczak2015-08-211-2/+11
* | | Make instance details section contain associated types information.Łukasz Hanuszczak2015-08-212-6/+18
* | | Attach associated types information to instance header.Łukasz Hanuszczak2015-08-214-5/+10
* | | Add basic tests for associated types in instances test case.Łukasz Hanuszczak2015-08-211-0/+28
* | | Attach section title to the instance methods block.Łukasz Hanuszczak2015-08-211-1/+1
* | | Get rid of no longer used layout method.Łukasz Hanuszczak2015-08-211-10/+2
* | | Rearrange layout of instance methods in generated documentation.Łukasz Hanuszczak2015-08-212-14/+27
* | | 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
* | | Add new data type declaration to instance specialization test case. Łukasz Hanuszczak2015-08-211-0/+7
* | | Improve placement of instance methods expander button.Łukasz Hanuszczak2015-08-212-7/+13
* | | Fix tab-based indentation in instances test case.Łukasz Hanuszczak2015-08-211-6/+6
* | | Extend instances test case to also test multi-name type signatures.Łukasz Hanuszczak2015-08-211-0/+4
* | | 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
* | | Add some test cases for type renamer.Łukasz Hanuszczak2015-08-211-0/+18
* | | 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-212-1/+97
* | | 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