70 Commits

Author	SHA1	Message	Date
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
Louis Dionne	7440fd0c5e	Applicative: add Maybe and StdTuple instances	2014-06-21 18:56:33 -04:00
Louis Dionne	585c0b8e76	Add the Applicative type class.	2014-06-21 18:16:56 -04:00
Louis Dionne	dfed9d39e7	Type: add lift and remove trait.hpp header	2014-06-21 14:09:08 -04:00
Louis Dionne	7b7bbd2290	Logical: add not_	2014-06-21 12:39:19 -04:00
Louis Dionne	56f74519fe	Functor: add replace and adjust	2014-06-20 22:54:46 -04:00
Louis Dionne	0a09ddaa97	Foldable: add the elem method	2014-06-20 21:35:58 -04:00
Louis Dionne	09b2fff78e	Make StdTuple a Monad.	2014-06-19 16:13:18 -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	4043adb494	Core: document and don't require core.hpp for instance and defaults	2014-06-18 16:13:54 -04:00
Louis Dionne	42bb091e71	Foldable: reduce the mcd, steal find from Iterable and improve tests	2014-06-18 13:37:34 -04:00
Louis Dionne	874c28eade	Functional: refactor to reduce coupling	2014-06-18 10:06:19 -04:00
Louis Dionne	ee9681f7aa	Minor ungrouped improvements and bug fixes.	2014-06-16 08:17:08 -04:00
Louis Dionne	10a050c854	Logical: add conservative eval_if	2014-06-15 15:13:57 -04:00
Louis Dionne	8e1d12171a	Make Logical a type class	2014-06-14 12:49:06 -04:00
Louis Dionne	77c925d239	Add examples in Foldable and add the sizeof_ method	2014-06-13 22:16:12 -04:00
Louis Dionne	28e54f6ee9	List: reimplement partition, document sort_by and add permutations	2014-06-13 20:24:14 -04:00
Louis Dionne	4b60dfa6d0	Iterable: document provided instances	2014-06-13 14:07:56 -04:00
Louis Dionne	6c2534216c	functional: add an example for a use case of always	2014-06-13 13:20:03 -04:00
Louis Dionne	c1d9ff5529	doc: document instances	2014-06-12 20:36:21 -04:00
Louis Dionne	e93f1eb4e0	Range: make the implementation less naive	2014-06-12 13:33:38 -04:00
Louis Dionne	48ec7b231e	Foldable: add examples for some methods	2014-06-12 13:33:38 -04:00
Louis Dionne	1d81e02944	Fix a bug with c-style variadics in at_index and improve arg<>	2014-06-10 15:12:49 -04:00
Louis Dionne	809101956b	Type: add construction capabilities	2014-06-09 18:22:33 -04:00
Louis Dionne	e9267aecc8	Type: documentation and example for untype	2014-06-09 18:22:31 -04:00