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
\|