haddock.git - Haddock with an org backend (haddorg).

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \| \|	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
\| \| \|
* \| \|	Add new data type declaration to instance specialization test case.	Łukasz Hanuszczak	2015-08-21	1	-0/+7
\| \| \|
* \| \|	Improve placement of instance methods expander button.	Łukasz Hanuszczak	2015-08-21	2	-7/+13
\| \| \|
* \| \|	Fix tab-based indentation in instances test case.	Łukasz Hanuszczak	2015-08-21	1	-6/+6
\| \| \|
* \| \|	Extend instances test case to also test multi-name type signatures.	Łukasz Hanuszczak	2015-08-21	1	-0/+4
\| \| \|
* \| \|	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
\| \| \|
* \| \|	Add some test cases for type renamer.	Łukasz Hanuszczak	2015-08-21	1	-0/+18
\| \| \|
* \| \|	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	2	-1/+97
\| \| \|
* \| \|	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
\| \| \|
* \| \|	Add basic HTML test case for checking instance specialization.	Łukasz Hanuszczak	2015-08-21	1	-0/+36
\| \| \|
* \| \|	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	3	-0/+23
\| \| \|
* \| \|	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	4	-14/+29
\| \| \|
* \| \|	Make Travis use 7.10.2	Mateusz Kowalczyk	2015-08-21	1	-1/+1
\| \| \|
* \| \|	Rename advanced types test case and accept new output.	Łukasz Hanuszczak	2015-08-06	3	-98/+204
\| \| \|
* \| \|	Extend advanced types test case with other examples.	Łukasz Hanuszczak	2015-08-06	1	-0/+14
\| \| \|
* \| \|	Apply promoted type quoting to type-level consing.	Łukasz Hanuszczak	2015-08-06	1	-1/+6
\| \| \|