44 Commits

Author	SHA1	Message	Date
Louis Dionne	2ee66a8d6e	Mess around with IntegralConstant.	2015-02-04 19:54:32 -05:00
Louis Dionne	561f5bc0e4	[List] Remove completely	2015-02-04 13:22:25 -05:00
Louis Dionne	ba3942a858	[Integral] Remove traces	2015-02-01 21:02:18 -05:00
Louis Dionne	ee01189f97	[Monad] Refactor	2015-02-01 10:35:18 -05:00
Louis Dionne	d8995a121f	[Functor] Refactor	2015-02-01 10:35:17 -05:00
Louis Dionne	65dcbb09ce	[Orderable] 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	d8db6bb243	Check models in the automatic tests	2015-01-17 15:45:46 -05:00
Louis Dionne	b7a88bb496	[Core] Replace is_a by models	2015-01-17 15:45:46 -05:00
Louis Dionne	66f18b37bf	[List] Split methods	2015-01-17 15:45:45 -05:00
Louis Dionne	bd073e3302	Split Product methods and tag-dispatch core/make	2015-01-17 15:45:45 -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	0900748519	[Iterable] Split methods	2015-01-17 15:45:44 -05:00
Louis Dionne	2c6eece41f	[Orderable] Split methods	2015-01-17 15:45:43 -05:00
Louis Dionne	436ee78737	[Monad] Split the methods	2015-01-17 15:45:43 -05:00
Louis Dionne	22758f40d8	Split the methods of Group, Ring and IntegralDomain.	2015-01-17 15:45:43 -05:00
Louis Dionne	497174d239	[Applicative] Split methods	2015-01-17 15:45:42 -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	573eb6dab6	[Logical] Split methods	2015-01-17 15:45:41 -05:00
Louis Dionne	94e9d234f1	[IntegralConstant] Split methods	2015-01-17 15:45:41 -05:00
Louis Dionne	c92cf2f0a9	[Enumerable] Split methods	2015-01-17 15:45:41 -05:00
Louis Dionne	dcf766a830	[Constant] Use the improved MCD graph	2015-01-17 15:45:41 -05:00
Louis Dionne	d973dbfcc6	[Comparable] Use the improved MCD graph	2015-01-17 15:45:40 -05:00
Louis Dionne	0094c2881b	[Constant] Split methods	2015-01-17 15:45:40 -05:00
Louis Dionne	9974e419fd	[Comparable] Split methods	2015-01-17 15:45:40 -05:00
Louis Dionne	6d6c9ce923	Remove unused minimal_list.hpp file	2015-01-17 15:45:39 -05:00
Louis Dionne	4654c6786a	Split instances for foreign types	2014-12-06 16:30:16 -05:00
Louis Dionne	0371952337	Make while_ part of Logical	2014-12-06 16:30:14 -05:00
Louis Dionne	21bdeb39ae	Only enable operators where needed with test::Seq.	2014-12-01 17:09:43 -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	e043d1c046	Fix bug when returning a dangling reference from always. ... Fixes #15.	2014-11-23 10:04:50 -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	1d075a6679	List: improve unit tests	2014-11-10 22:29:22 -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	29995f62ee	Work around bugs in Clang 3.5.	2014-11-07 20:31:26 -05:00
Louis Dionne	da8fb2b486	Add laws to Enumerable.	2014-11-07 19:46:25 -05:00
Louis Dionne	6e86e1f319	Searchable: add some laws	2014-11-05 13:32:45 -05:00
Louis Dionne	049046478e	Move ASSERT macros out of the details	2014-11-04 09:43:44 -05:00
Louis Dionne	647ad436b0	Reorganize the unit tests and increase the overall coverage.	2014-11-04 08:54:58 -05:00