106 Commits

Author	SHA1	Message	Date
Louis Dionne	e943411fd6	Remove Doxygen warnings.	2014-06-12 09:38:59 -04:00
Louis Dionne	ed9d70d8bf	Remove redundant _template_ keyword.	2014-06-12 09:02:02 -04:00
Louis Dionne	beca8ade95	Iterable: use the new dispatching system	2014-06-12 09:00:11 -04:00
Louis Dionne	60a1741016	Use the new dispatching system with Monad.	2014-06-12 07:06:18 -04:00
Louis Dionne	ec10170b57	Use the new dispatching system with Foldable and Functor.	2014-06-12 07:02:24 -04:00
Louis Dionne	9b1cdd81b9	Comparable: update the dispatching system	2014-06-11 16:43:10 -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	d572e3b094	functional: consider making compose variadic	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
Louis Dionne	293b066ea4	TypeList: fix the ADL-related bug	2014-06-09 13:19:20 -04:00
Louis Dionne	ee6c805ca8	Type: decouple library from its internal representation	2014-06-09 10:39:05 -04:00
Louis Dionne	2567066828	Type: documentation and decoupling	2014-06-08 16:41:52 -04:00
Louis Dionne	e376b606e1	Monad: documentation	2014-06-08 09:05:17 -04:00
Louis Dionne	2f88b2d40b	range: documentation and type decoupling	2014-06-08 09:03:41 -04:00
Louis Dionne	71a70764e8	maybe: documentation and API improvements	2014-06-07 17:32:34 -04:00
Louis Dionne	d3883f98f6	List: remove done "todo" item	2014-06-05 23:38:34 -04:00
Louis Dionne	415b5c6906	List: fix a bug in head; don't use c-style variadics	2014-06-05 22:55:19 -04:00
Louis Dionne	d4d82639f5	List: documentation and examples	2014-06-05 22:47:39 -04:00
Louis Dionne	aea42f9d18	Integral: Fix a bug with negative literals.	2014-06-05 22:45:55 -04:00
Louis Dionne	b694f5e465	Integral: Strip cv-qualifiers of the integral type.	2014-06-05 21:17:06 -04:00
Louis Dionne	80d115e017	Sandbox: add a linked list, std::array and std::string	2014-06-05 16:24:14 -04:00
Louis Dionne	e86b9d3f4a	Sandbox: add a possible infix operator implementation	2014-06-05 03:34:12 -04:00
Louis Dionne	8cd1863896	Move length from Iterable to Foldable.	2014-06-04 22:19:42 -04:00
Louis Dionne	12058791c7	Documentation: improvements in Integral	2014-06-04 22:04:55 -04:00
Louis Dionne	61f0770b44	Integral: refactoring, documentation and decoupling	2014-06-04 21:24:31 -04:00
Louis Dionne	5b4d569962	Type: Add decltype_ and remove coupling.	2014-06-04 21:24:19 -04:00
Louis Dionne	ac30caf7dc	Comparable: improve documentation	2014-06-04 15:35:46 -04:00
Louis Dionne	50ebbfffc3	Documentation: move a couple of todos to the Doxygen doc	2014-06-04 14:15:57 -04:00
Louis Dionne	99a6e58487	Functional: Add note about infix operators.	2014-06-04 12:26:41 -04:00
Louis Dionne	a1ab4fab6b	Functional: add fbind	2014-06-04 11:54:09 -04:00
Louis Dionne	178b25476d	Functional: add arg<n>	2014-06-04 11:29:08 -04:00
Louis Dionne	806981bbcf	Functional: remove argwise, add on and lockstep	2014-06-04 11:29:00 -04:00
Louis Dionne	c0b7a91e31	Move any, all and none to Foldable.	2014-06-03 12:28:05 -04:00
Louis Dionne	91689fe4f0	Make the header comment and license uniform.	2014-06-03 11:46:24 -04:00
Louis Dionne	4b61774472	Add lazy_foldr to Foldable.	2014-06-03 11:38:54 -04:00
Louis Dionne	ce602dd4b4	Document a couple more components.	2014-06-02 21:52:26 -04:00
Louis Dionne	6215e82a01	Improve type traits and partially document Integral.	2014-06-02 21:49:36 -04:00
Louis Dionne	49cbdbdd6e	Document the Core module.	2014-06-02 21:49:36 -04:00
Louis Dionne	1cebe9821d	Document the Functional module.	2014-06-02 21:49:35 -04:00
Louis Dionne	b0ebffce2f	Check Monad laws.	2014-06-01 12:18:51 -04:00
Louis Dionne	e77dab7c55	Generalize curry.	2014-06-01 10:03:07 -04:00
Louis Dionne	7b70a24d2b	Add user-defined literal for integral constants.	2014-05-31 15:36:02 -04:00
Louis Dionne	cec5d4edf8	Add unpack and remove Functor from Range.	2014-05-31 14:55:11 -04:00
Louis Dionne	7562f8cecf	Add argwise to functional.	2014-05-31 14:41:34 -04:00
Louis Dionne	418b8941ad	Test Functor laws and modify Type's fmap.	2014-05-31 10:40:21 -04:00
Louis Dionne	decb1a4d8c	Add curry<n> to functional.	2014-05-27 15:46:52 -04:00
Louis Dionne	3d9480855e	Make Typelist a transparent optimization.	2014-05-27 15:07:01 -04:00
Louis Dionne	3bb00967ef	Make Maybe a Monad.	2014-05-27 14:12:11 -04:00
Louis Dionne	9e74d48e3c	Define operator== and operator!= for Comparables.	2014-05-27 13:36:54 -04:00