183 Commits

Author	SHA1	Message	Date
Louis Dionne	af30809dbd	Use code instead of Latex in Comparable laws.	2014-06-30 10:38:21 -04:00
Louis Dionne	1ab0174907	Use named operators consistently.	2014-06-30 10:17:22 -04:00
Louis Dionne	c255a2f418	Integral: instantiate Orderable	2014-06-29 15:57:33 -04:00
Louis Dionne	f2a063f4a1	Type: remove lambdas to workaround clang bugs.	2014-06-29 15:26:51 -04:00
Louis Dionne	f6d12dcbce	Add note about unit testing List instances.	2014-06-26 15:42:23 -04:00
Louis Dionne	8fcad90c09	Add the Orderable type class.	2014-06-26 15:17:09 -04:00
Louis Dionne	1cc9387998	Add detail::wrap.	2014-06-26 12:51:26 -04:00
Louis Dionne	de4864134e	StdArray: instantiate List	2014-06-26 12:34:37 -04:00
Louis Dionne	9ce785234c	List: instantiate Comparable	2014-06-26 12:15:34 -04:00
Louis Dionne	71be3a9949	Remove the foldable_from_iterable horror.	2014-06-26 11:40:55 -04:00
Louis Dionne	d5e215d672	Documentation: refactor and regenerate	2014-06-26 11:23:00 -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	52eead977e	Adapt std::pair and instantiate Pair with it.	2014-06-24 21:33:08 -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	5fbdf86311	Iterable: use eval_if instead of if_ in ComparableInstance	2014-06-23 17:03:06 -04:00
Louis Dionne	ea37adf66b	Core: rethink type classes	2014-06-23 15:37:29 -04:00
Louis Dionne	99748a3566	Functor: fix typos	2014-06-22 13:17:35 -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	70f0e86fa7	Add missing Applicative include to master header.	2014-06-22 01:16: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	09fc489963	sandbox: add an implementation of repeat	2014-06-21 15:10:06 -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	13e3bf02f6	Core: fix bug with datatype and inheritance	2014-06-21 11:28:15 -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	2c1bb3a607	sandbox: add a naive and incomplete map implementation	2014-06-20 20:53:33 -04:00
Louis Dionne	3c31001786	Range: remove impossible todo item	2014-06-20 16:55:57 -04:00
Louis Dionne	3f8198601c	Adapt std::list.	2014-06-20 15:02:50 -04:00
Louis Dionne	92d28ac0b0	Adapted: Fix include guards	2014-06-20 14:30:02 -04:00
Louis Dionne	09b2fff78e	Make StdTuple a Monad.	2014-06-19 16:13:18 -04:00
Louis Dionne	56a8a50de2	sandbox: add lazy	2014-06-19 15:33:00 -04:00
Louis Dionne	c8ef9d4d47	Core: do not include type_traits	2014-06-19 12:34:07 -04:00
Louis Dionne	c7a7aa4c89	Core: add is_a and instantiates	2014-06-19 12:19:51 -04:00
Louis Dionne	6cfe3ac1b9	Functional: add function call and array subscript to placeholders	2014-06-19 11:56:24 -04:00
Louis Dionne	7e32f59837	core: Add conversion between data types	2014-06-18 20:23:53 -04:00
Louis Dionne	9e06246a67	Comparable: add unit tests for the mcds	2014-06-18 16:51:48 -04:00
Louis Dionne	848ee2a978	Maybe: minor refactoring	2014-06-18 16:35:55 -04:00
Louis Dionne	d6dbd5aa37	Core: slightly improve the performance of datatype<>	2014-06-18 16:28:02 -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	2b65b95cd5	Functor: documentation style revamp	2014-06-18 14:47:15 -04:00
Louis Dionne	cd37845ce2	Range: convert Integrals to their underlying type explicitly	2014-06-18 14:46:45 -04:00
Louis Dionne	42bb091e71	Foldable: reduce the mcd, steal find from Iterable and improve tests	2014-06-18 13:37:34 -04:00