Commits · f0edea1969cdc06d0299c606debf533d7ece77f0 · Stephen Judkins / haddock · GitLab

Snippets Groups Projects

Aug 21, 2015
- Improve placement of instance methods expander button. · f0edea19
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  f0edea19
- Fix tab-based indentation in instances test case. · 2d9b75f5
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  2d9b75f5
- Extend instances test case to also test multi-name type signatures. · dbe6f2ce
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  dbe6f2ce
- Attach source locations to the specialized class methods. · 42d49d55
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  42d49d55
- Make specialized methods be nicely formatted again. · 59d80974
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  59d80974
- Make specialized signatures refer to original signature declaration. · b4a82b39
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  b4a82b39
- Add some test cases for type renamer. · a314ebd0
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  a314ebd0
- Hook type renamer with instance method HTML pretty-printer. · 70ed9912
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  70ed9912
- Move `SetName` class definition to types module. · 8135ce02
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  8135ce02
- Fix compilation error caused by incorrect type signature. · 532478bc
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  532478bc
- Create function for retrieving free variables from given type. · 77b628b7
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  77b628b7
- Add SYB-like utility function for performing stateful queries. · d5700e14
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  d5700e14
- Fix logic behind binder type renaming. · 2c94f5a7
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  2c94f5a7
- Fill in stub behaviour with actual environment renaming. · 0495d719
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  0495d719
- Implement simple mechanism for generating new type names. · d508387d
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  d508387d
- Change state of the type renaming monad. · 4b352b94
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  4b352b94
- Remove code duplication in specialized type renamer. · 16338532
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  16338532
- Fill in missing cases in specialized type renaming function. · 51e145b0
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  51e145b0
- Create scaffolding of a framework for renaming specialized types. · 9edfaa67
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  9edfaa67
- Get rid of code duplication in type specialization module. · 6be6ca76
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  6be6ca76
- Implement tuple syntax sugaring logic for specialized types. · 060b986c
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  060b986c
- Implement list syntax sugaring logic for specialized types. · 3f31e246
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  3f31e246
- Create stub functions for sugaring specialized types. · 16801459
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  16801459
- Hook type specialization logic with HTML pretty-printer. · d6741ee8
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  d6741ee8
- Create convenience functions for type specialization module. · 6fc527b4
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  6fc527b4
- Move dummy post-family instances for `DocName` to `Types` module. · 0a02b70b
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  0a02b70b
- Add expandable method section for each class instance declaration. · 05f35d7d
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  05f35d7d
- Refactor instance head type to record instead of a meaningless tuple. · 2070c0fa
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  2070c0fa
- Make HTML class instance printer take optional signature argument. · 92f0b1ea
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  92f0b1ea
- Add basic HTML test case for checking instance specialization. · 6e0fe19f
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  6e0fe19f
- Make type of type specialization function more general. · 79f475a9
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  79f475a9
- Create simple utility module for type specialization. · e4740dd8
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  e4740dd8
- Implement generic transformation constructor. · dc25b709
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  dc25b709
- Implement `everywhere` transformation in SYB module. · f7d377ee
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  f7d377ee
- Move SYB utilities to standalone module. · e9d61b79
  Łukasz Hanuszczak authored 9 years ago and Mateusz Kowalczyk committed 9 years ago
  
  e9d61b79
- Make Travis use 7.10.2 · 81baac99
  Mateusz Kowalczyk authored 9 years ago
  
  81baac99
Aug 06, 2015
- Rename advanced types test case and accept new output. · 66c91a3c
  Łukasz Hanuszczak authored 9 years ago
  
  66c91a3c
- Extend advanced types test case with other examples. · 3ad8ada0
  Łukasz Hanuszczak authored 9 years ago
  
  3ad8ada0
- Apply promoted type quoting to type-level consing. · 33fe6286
  Łukasz Hanuszczak authored 9 years ago
  
  33fe6286
- Fix quote syntax for promoted types. · acdbdc03
  Łukasz Hanuszczak authored 9 years ago
  
  acdbdc03