| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | Move dummy post-family instances for `DocName` to `Types` module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -14/+15 |
* | Add expandable method section for each class instance declaration. | Łukasz Hanuszczak | 2015-08-21 | 2 | -18/+50 |
* | Refactor instance head type to record instead of a meaningless tuple. | Łukasz Hanuszczak | 2015-08-21 | 6 | -38/+63 |
* | Make HTML class instance printer take optional signature argument. | Łukasz Hanuszczak | 2015-08-21 | 1 | -9/+14 |
* | Make type of type specialization function more general. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+3 |
* | Create simple utility module for type specialization. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+21 |
* | Implement generic transformation constructor. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+9 |
* | Implement `everywhere` transformation in SYB module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+7 |
* | Move SYB utilities to standalone module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -14/+27 |
* | Apply promoted type quoting to type-level consing. | Łukasz Hanuszczak | 2015-08-06 | 1 | -1/+6 |
* | Fix quote syntax for promoted types. | Łukasz Hanuszczak | 2015-08-06 | 2 | -3/+10 |
* | Make hyperlinked source renderer generate line anchors. | Łukasz Hanuszczak | 2015-08-02 | 1 | -3/+23 |
* | Add some utility definitions for generating line anchors. | Łukasz Hanuszczak | 2015-08-02 | 1 | -2/+23 |
* | Fix record field alignment when name is too long | Phil Ruffwind | 2015-08-02 | 1 | -6/+4 |
* | Fix typo in Haddock.Backends.Xhtml.Layout: divSynposis -> divSynopsis | Phil Ruffwind | 2015-08-02 | 2 | -4/+4 |
* | Link to the definitions to themselves | Phil Ruffwind | 2015-08-02 | 1 | -8/+13 |
* | Fix expansion icon for user-collapsible sections | Mateusz Kowalczyk | 2015-07-11 | 1 | -2/+3 |
* | Delete trailing whitespace | Mateusz Kowalczyk | 2015-07-07 | 3 | -11/+11 |
* | Fix bug with module name being hyperlinked to `Prelude`. | Łukasz Hanuszczak | 2015-07-06 | 1 | -3/+4 |
* | Add short documentation for hyperlinker source map type. | Łukasz Hanuszczak | 2015-07-06 | 1 | -0/+9 |
* | Add support for hyperlinking modules in import lists. | Łukasz Hanuszczak | 2015-07-06 | 2 | -15/+16 |
* | Move source paths types to hyperlinker types module. | Łukasz Hanuszczak | 2015-07-06 | 4 | -10/+15 |
* | Extract main hyperlinker types to separate module. | Łukasz Hanuszczak | 2015-07-06 | 8 | -63/+73 |
* | Refactor source path mapping to use modules as indices. | Łukasz Hanuszczak | 2015-07-05 | 4 | -33/+38 |
* | Remove potentially dangerous record access in hyperlinker AST module. | Łukasz Hanuszczak | 2015-07-04 | 1 | -1/+1 |
* | Make hyperlinker generate anchors only to top-level value bindings. | Łukasz Hanuszczak | 2015-07-02 | 1 | -1/+2 |
* | Add support for anchoring signatures in type class declarations. | Łukasz Hanuszczak | 2015-07-02 | 1 | -0/+5 |
* | Fix issue with operators being recognized as preprocessor directives. | Łukasz Hanuszczak | 2015-07-02 | 1 | -3/+3 |
* | Improve support for hyperlinking type families. | Łukasz Hanuszczak | 2015-07-02 | 2 | -1/+8 |
* | Add support for anchoring data family constructor declarations. | Łukasz Hanuszczak | 2015-07-02 | 1 | -5/+6 |
* | Fix crash happening when hyperlinking type family declarations. | Łukasz Hanuszczak | 2015-07-02 | 1 | -0/+1 |
* | Make hyperlinker render qualified names as one entity. | Łukasz Hanuszczak | 2015-07-01 | 2 | -5/+46 |
* | Document some functions in XHTML utlity module. | Łukasz Hanuszczak | 2015-07-01 | 1 | -0/+8 |
* | Add support for hyperlinking universally quantified type variables. | Łukasz Hanuszczak | 2015-07-01 | 1 | -1/+7 |
* | Add support for hyperlinking synonyms in patterns. | Łukasz Hanuszczak | 2015-07-01 | 1 | -0/+2 |