| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Add some documentation for instance head specializer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+2 |
* | Refactor specializer module to be independent from XHTML backend. | Łukasz Hanuszczak | 2015-08-21 | 3 | -15/+27 |
* | Create helper method for specializing type signatures. | Łukasz Hanuszczak | 2015-08-21 | 2 | -12/+15 |
* | Apply type specializer to associated type family declarations. | Łukasz Hanuszczak | 2015-08-21 | 2 | -4/+17 |
* | Implement HTML renderer for pseudo-family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+13 |
* | Split printer of type family header to separate functions. | Łukasz Hanuszczak | 2015-08-21 | 1 | -17/+20 |
* | Make instance details record use new type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 4 | -15/+24 |
* | Introduce alternative type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+31 |
* | Improve look of rendered associated families in instance details. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+11 |
* | Make instance details section contain associated types information. | Łukasz Hanuszczak | 2015-08-21 | 2 | -6/+18 |
* | Attach associated types information to instance header. | Łukasz Hanuszczak | 2015-08-21 | 4 | -5/+10 |
* | Attach section title to the instance methods block. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 |
* | Get rid of no longer used layout method. | Łukasz Hanuszczak | 2015-08-21 | 1 | -10/+2 |
* | Rearrange layout of instance methods in generated documentation. | Łukasz Hanuszczak | 2015-08-21 | 2 | -14/+27 |
* | Split instance subsection layout method to top-level declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+22 |
* | Fix yet another renamer bug where some names were not unique. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+11 |
* | Fix another type renamer bug where not all names were rebound. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+8 |
* | Fix bug where instance expander was opening wrong section. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+24 |
* | Fix bug with types not being specialized at all. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+2 |
* | Fix declaration converter to use more appropriate mode for methods. | Łukasz Hanuszczak | 2015-08-21 | 1 | -10/+12 |
* | Get rid of no longer neccessary instance specification type. | Łukasz Hanuszczak | 2015-08-21 | 2 | -24/+17 |
* | Integrate instance specification type into class instance definition. | Łukasz Hanuszczak | 2015-08-21 | 5 | -9/+23 |
* | Fix unwitting compilation bug. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 |
* | Refactor type renamer to rebinding and pure renaming phases. | Łukasz Hanuszczak | 2015-08-21 | 1 | -45/+60 |
* | Fix another bug where type renamer was generating incorrect names. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 |
* | Add some documentation and refactor type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -21/+74 |
* | Fix type renamer bug with incorrect names being generated. | Łukasz Hanuszczak | 2015-08-21 | 1 | -15/+30 |
* | Make type renamer first try single-letter names as alternatives. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+9 |
* | Improve placement of instance methods expander button. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+3 |
* | Attach source locations to the specialized class methods. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+5 |
* | Make specialized methods be nicely formatted again. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+8 |
* | Make specialized signatures refer to original signature declaration. | Łukasz Hanuszczak | 2015-08-21 | 2 | -3/+10 |
* | Hook type renamer with instance method HTML pretty-printer. | Łukasz Hanuszczak | 2015-08-21 | 2 | -3/+8 |
* | Move `SetName` class definition to types module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -5/+18 |
* | Fix compilation error caused by incorrect type signature. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 |
* | Create function for retrieving free variables from given type. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+20 |
* | Add SYB-like utility function for performing stateful queries. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+15 |
* | Fix logic behind binder type renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+7 |
* | Fill in stub behaviour with actual environment renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+28 |
* | Implement simple mechanism for generating new type names. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+26 |
* | Change state of the type renaming monad. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+16 |
* | Remove code duplication in specialized type renamer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+10 |
* | Fill in missing cases in specialized type renaming function. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+15 |
* | Create scaffolding of a framework for renaming specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+96 |
* | Get rid of code duplication in type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -18/+12 |
* | Implement tuple syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+34 |
* | Implement list syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+16 |
* | Create stub functions for sugaring specialized types. | Łukasz Hanuszczak | 2015-08-21 | 2 | -1/+14 |
* | Hook type specialization logic with HTML pretty-printer. | Łukasz Hanuszczak | 2015-08-21 | 2 | -12/+22 |
* | Create convenience functions for type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+26 |