Louis Dionne
2ee66a8d6e
Mess around with IntegralConstant.
2015-02-04 19:54:32 -05:00
Louis Dionne
4ca25ba1b4
[Core] Refactor
2015-02-04 18:10:17 -05:00
Louis Dionne
561f5bc0e4
[List] Remove completely
2015-02-04 13:22:25 -05:00
Louis Dionne
aff8a29e1b
[IntegerList] Remove completely
2015-02-04 12:35:42 -05:00
Louis Dionne
7c91407ee9
[TypeList] Remove completely.
2015-02-04 11:56:01 -05:00
Louis Dionne
ba3942a858
[Integral] Remove traces
2015-02-01 21:02:18 -05:00
Louis Dionne
50a63b2e7a
Replace Integral by IntegralConstant and refactor Constant
2015-02-01 21:02:17 -05:00
Louis Dionne
1304456a05
[TypeList] Temporary patch
2015-02-01 10:35:22 -05:00
Louis Dionne
11fdc21f66
[Lazy] Temporary patch
2015-02-01 10:35:20 -05:00
Louis Dionne
cfd66625fa
[List] Temporary patch
2015-02-01 10:35:20 -05:00
Louis Dionne
47aea7d379
[Logical] Temporary patch
2015-02-01 10:35:18 -05:00
Louis Dionne
ee01189f97
[Monad] Refactor
2015-02-01 10:35:18 -05:00
Louis Dionne
915b55c3f7
Rename fmap to transform and more
2015-02-01 10:35:17 -05:00
Louis Dionne
d8995a121f
[Functor] Refactor
2015-02-01 10:35:17 -05:00
Louis Dionne
20f6f05328
[IntegralDomain] Refactor
2015-02-01 10:35:17 -05:00
Louis Dionne
990fcef948
[Ring] Refactor
2015-02-01 10:35:17 -05:00
Louis Dionne
4f77b2d323
[Group] Refactor
2015-02-01 10:35:17 -05:00
Louis Dionne
6d0ece8cd0
[Monoid] Refactor
2015-02-01 10:35:16 -05:00
Louis Dionne
8292cee671
[Enumerable] Refactor
2015-02-01 10:35:16 -05:00
Louis Dionne
860a032abe
[Constant] Refactor
2015-02-01 10:35:16 -05:00
Louis Dionne
c914166ccb
[Comparable] Refactor
2015-02-01 10:35:16 -05:00
Louis Dionne
0fc4ca37a9
[Applicative] Refactor
2015-02-01 10:35:15 -05:00
Louis Dionne
2e06dad554
[Pair] Refactor examples, tests and make Orderable
2015-02-01 10:35:15 -05:00
Louis Dionne
bea70b78fb
[Maybe] Refactor everything
2015-01-30 00:55:03 -05:00
Louis Dionne
9b2f58996f
[Either] Refactor documentation, examples and tests + add instances
2015-01-30 00:55:03 -05:00
Louis Dionne
b136194537
[Range] Refactor the documentation and the examples
2015-01-30 00:55:03 -05:00
Louis Dionne
8f6ef953f8
[Type] Refactor the documentation, examples and tests
2015-01-18 15:39:39 -05:00
Louis Dionne
1d9b47c3f8
[String] Refactor the documentation and examples
2015-01-18 11:41:32 -05:00
Louis Dionne
b7a88bb496
[Core] Replace is_a by models
2015-01-17 15:45:46 -05:00
Louis Dionne
999d5998c1
[Core] Remove obsolete examples and test files
2015-01-17 15:45:46 -05:00
Louis Dionne
ad3c8f6645
[Foldable] Split methods
2015-01-17 15:45:45 -05:00
Louis Dionne
a753a4a34c
[Record] Split methods
2015-01-17 15:45:45 -05:00
Louis Dionne
22758f40d8
Split the methods of Group, Ring and IntegralDomain.
2015-01-17 15:45:43 -05:00
Louis Dionne
3b35855199
[Functor] Split the methods
2015-01-17 15:45:42 -05:00
Louis Dionne
d36c02faf2
[Monoid] Split methods
2015-01-17 15:45:42 -05:00
Louis Dionne
d973dbfcc6
[Comparable] Use the improved MCD graph
2015-01-17 15:45:40 -05:00
Louis Dionne
9974e419fd
[Comparable] Split methods
2015-01-17 15:45:40 -05:00
Louis Dionne
4654c6786a
Split instances for foreign types
2014-12-06 16:30:16 -05:00
Louis Dionne
8d4b34f6c2
Do not use variable templates for one, zero & al.
...
This is because using variable templates limits the objects to being
constexpr, or to not being constexpr (but then initializing the object
becomes an issue).
This is also a step towards being compilable by GCC 4.9, but that only
would not justify the change.
2014-11-30 20:42:29 -05:00
Louis Dionne
ec8e7446a0
CppCon Matrix: Implement the one method
2014-11-30 11:38:48 -05:00
Louis Dionne
f0919d1761
Use List::repeat instead of handwritten one in the Matrix example.
2014-11-30 11:38:48 -05:00
Louis Dionne
8845b2a0c1
Use common to provide inter data type instances.
2014-11-17 10:05:58 -05:00
Louis Dionne
4009555990
Refactor and improve IntegralConstant
...
- Add mandatory lossless conversions between instances
- implement `common` properly
2014-11-17 09:13:48 -05:00
Louis Dionne
f4e9062d89
Core: add the common utility
2014-11-17 09:13:48 -05:00
Louis Dionne
d042abda97
Automatically test including individual headers.
2014-11-12 11:22:53 -05:00
Louis Dionne
8756e81977
Add boost/hana/config.hpp and BOOST_HANA_*_CHECK macros.
2014-11-10 17:52:33 -05:00
Louis Dionne
e0e2501931
List: add the remove_at method
2014-11-08 12:32:51 -05:00
Louis Dionne
b9472015d1
Add the overload utility to Functional
2014-11-07 20:31:26 -05:00
Louis Dionne
0f0c2c4430
Replace when<is_valid<...>> by when_valid<...>
2014-11-07 15:41:10 -05:00
Louis Dionne
98a39c1204
Remove superfluous #define BOOST_PP_VARIADICS 1.
2014-11-07 10:57:48 -05:00