Louis Dionne
|
15af56943a
|
Core: Workaround Clang bug in is_a and is_an
|
2014-07-21 10:45:21 -04:00 |
|
Louis Dionne
|
7e8f109d7f
|
Modularize List and add a minimal instance
|
2014-07-16 16:26:23 -04:00 |
|
Louis Dionne
|
b0b7b09736
|
Modularize Iterable
|
2014-07-16 16:26:23 -04:00 |
|
Louis Dionne
|
674a889347
|
Modularize Foldable
|
2014-07-16 16:26:23 -04:00 |
|
Louis Dionne
|
20814674c0
|
Modularize Monad
|
2014-07-16 16:26:22 -04:00 |
|
Louis Dionne
|
3da2af3ba2
|
Core: Add test with parametric data type + predicated instance
|
2014-07-16 16:26:21 -04:00 |
|
Louis Dionne
|
c5e3352180
|
Core: workaround an assertion in Clang with to being a lambda
|
2014-07-15 10:28:44 -04:00 |
|
Louis Dionne
|
a5cab82de8
|
Core: make default_instance dependent on the type class arguments
|
2014-07-13 22:38:52 -04:00 |
|
Louis Dionne
|
49d9b40fc1
|
Core: Allow parametric data types and predicated instances to cohabit.
|
2014-07-13 22:06:49 -04:00 |
|
Louis Dionne
|
d65d47ba28
|
Core: use BOOST_HANA_TYPECLASS macro to create type classes.
|
2014-07-13 19:49:24 -04:00 |
|
Louis Dionne
|
faf609157a
|
Remove circular dependencies.
|
2014-07-01 20:41:04 -04:00 |
|
Louis Dionne
|
96a2bb0a7f
|
Core: allow instances to be explicitly disabled
|
2014-07-01 10:51:42 -04:00 |
|
Louis Dionne
|
08de7a9e27
|
Promote List to a type class.
|
2014-06-26 01:29:05 -04:00 |
|
Louis Dionne
|
379f30d981
|
Core: fix problems with typeclass specialization
|
2014-06-25 23:55:29 -04:00 |
|
Louis Dionne
|
ea37adf66b
|
Core: rethink type classes
|
2014-06-23 15:37:29 -04:00 |
|
Louis Dionne
|
2a784b2a78
|
Core: make sure instantiates works with complimentary type classes
|
2014-06-20 15:04:39 -04:00 |
|
Louis Dionne
|
c7a7aa4c89
|
Core: add is_a and instantiates
|
2014-06-19 12:19:51 -04:00 |
|
Louis Dionne
|
7e32f59837
|
core: Add conversion between data types
|
2014-06-18 20:23:53 -04:00 |
|
Louis Dionne
|
d951c3b594
|
core: document and test the type class instantiation system
|
2014-06-12 13:33:38 -04:00 |
|
Louis Dionne
|
91689fe4f0
|
Make the header comment and license uniform.
|
2014-06-03 11:46:24 -04:00 |
|
Louis Dionne
|
49672fd986
|
Introduce datatypes for dispatching.
|
2014-05-27 10:52:53 -04:00 |
|