95 Commits

Author	SHA1	Message	Date
Louis Dionne	aba2bae382	Record: Fix ordering issues by using a list of pairs instead of a map	2014-07-21 15:47:12 -04:00
Louis Dionne	3ead270cc0	Add the Record type class to adapt user defined types.	2014-07-21 13:53:27 -04:00
Louis Dionne	6c9823e176	Add the Constant data type.	2014-07-21 11:58:23 -04:00
Louis Dionne	6d150cf5ee	List: add scanr, scanl, scanr1 and scanl1	2014-07-20 14:25:10 -04:00
Louis Dionne	3ccf6f4d62	Searchable: rename find_key to lookup	2014-07-19 18:58:14 -04:00
Louis Dionne	5a00d66ad6	Add the Set data type.	2014-07-19 18:24:39 -04:00
Louis Dionne	97386dfb59	Add the Map data type.	2014-07-19 17:17:14 -04:00
Louis Dionne	888e84f4e5	Foldable: Remove lazy_foldr and lazy_foldl	2014-07-19 13:29:41 -04:00
Louis Dionne	aaea302ea9	Maybe: instantiate Searchable	2014-07-19 11:44:34 -04:00
Louis Dionne	74092b4bc9	Add the Searchable type class. ... Remove any, all, none, find, elem and the *_of variants from Foldable and move them into Searchable.	2014-07-19 11:44:34 -04:00
Louis Dionne	7e8f109d7f	Modularize List and add a minimal instance	2014-07-16 16:26:23 -04:00
Louis Dionne	408a5c7db5	Modularize Pair	2014-07-16 16:26:23 -04:00
Louis Dionne	b3f9a3d09a	Modularize Logical and remove nullary and_/or_	2014-07-16 16:26:23 -04:00
Louis Dionne	b0b7b09736	Modularize Iterable	2014-07-16 16:26:23 -04:00
Louis Dionne	20814674c0	Modularize Monad	2014-07-16 16:26:22 -04:00
Louis Dionne	c8e8d88753	Modularize Comparable	2014-07-16 16:26:22 -04:00
Louis Dionne	a316800bea	convert.cpp example: Add missing Comparable mcd	2014-07-15 11:33:49 -04:00
Louis Dionne	b19c801958	Lazy: refactor and make lazy more intuitive.	2014-07-14 20:45:14 -04:00
Louis Dionne	41c80e1d44	Applicative: make ap variadic.	2014-07-14 20:45:14 -04:00
Louis Dionne	de2959db74	Monad: add >> operator as an equivalent to bind.	2014-07-14 20:45:06 -04:00
Louis Dionne	40a3ef71c0	Add the Traversable type class.	2014-07-14 10:40:45 -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	3248004409	Move the Lazy data type from the sandbox to the library.	2014-07-12 18:11:27 -04:00
Louis Dionne	573c863c49	Type: make metafunction, metafunction_class and template_ valid metafunction classes.	2014-07-07 20:05:11 -04:00
Louis Dionne	7c6d9dd5bc	Iterable: add the for_each method	2014-07-07 15:45:31 -04:00
Louis Dionne	5a2de2073e	Reorganize and rename the adapted/ folder.	2014-07-07 12:42:20 -04:00
Louis Dionne	9f94924134	Plug the benchmarks with CMake.	2014-07-06 14:59:59 -04:00
Louis Dionne	5efa23003f	Rename join to flatten.	2014-07-01 22:04:56 -04:00
Louis Dionne	faf609157a	Remove circular dependencies.	2014-07-01 20:41:04 -04:00
Louis Dionne	70a6c913b7	Type: refactor the interface	2014-07-01 17:32:32 -04:00
Louis Dionne	39c9b1b8e2	Add the bool.hpp header.	2014-07-01 16:45:12 -04:00
Louis Dionne	ae8c12ce17	Remove useless include.	2014-07-01 10:58:01 -04:00
Louis Dionne	96a2bb0a7f	Core: allow instances to be explicitly disabled	2014-07-01 10:51:42 -04:00
Louis Dionne	85877825f8	Replace defaults for Comparable by a smarter predicated instance.	2014-06-30 14:22:42 -04:00
Louis Dionne	c255a2f418	Integral: instantiate Orderable	2014-06-29 15:57:33 -04:00
Louis Dionne	fb75a6da25	Fix TODO in example/core/typeclass	2014-06-26 13:48:28 -04:00
Louis Dionne	44aa641599	List: remove list_t and list_c	2014-06-26 11:01:44 -04:00
Louis Dionne	08de7a9e27	Promote List to a type class.	2014-06-26 01:29:05 -04:00
Louis Dionne	541ad8b341	Maybe: instantiate Foldable	2014-06-26 01:12:37 -04:00
Louis Dionne	379f30d981	Core: fix problems with typeclass specialization	2014-06-25 23:55:29 -04:00
Louis Dionne	65796aeb6e	CMake: Automatically discover unit tests and examples.	2014-06-25 23:36:14 -04:00
Louis Dionne	16d4ea0930	Add the Pair type class and data type.	2014-06-24 21:28:20 -04:00
Louis Dionne	1a41064f04	Functor: add fill	2014-06-24 13:38:54 -04:00
Louis Dionne	d4b1089d1c	Explicit cast Range to List in example	2014-06-23 17:18:12 -04:00
Louis Dionne	ea37adf66b	Core: rethink type classes	2014-06-23 15:37:29 -04:00
Louis Dionne	5ba2f9abb9	Applicative: rename unit to lift	2014-06-22 10:51:53 -04:00
Louis Dionne	159dbaecf6	Type: improve support for different metafunctions and rename lift	2014-06-22 10:31:10 -04:00
Louis Dionne	fa98685327	Move unit from Monad to Applicative and remove pure.	2014-06-21 19:29:28 -04:00