96 Commits

Author	SHA1	Message	Date
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
Louis Dionne	09274a9ea3	Make List a Monad.	2014-05-27 11:12:05 -04:00
Louis Dionne	5f616bb4f5	Add the Monad typeclass and make Type a Monad.	2014-05-27 11:01:20 -04:00
Louis Dionne	49672fd986	Introduce datatypes for dispatching.	2014-05-27 10:52:53 -04:00
Louis Dionne	eda7ea303a	Add a more efficient at_index algorithm.	2014-05-26 14:21:29 -04:00
Louis Dionne	d85eb7ccb2	Add init to List and implement length better.	2014-05-26 12:32:38 -04:00
Louis Dionne	6086633003	Add sort and partition.	2014-05-26 11:27:05 -04:00
Louis Dionne	12273221e1	Add placeholders in functional/.	2014-05-26 10:07:27 -04:00
Louis Dionne	003b3ae4b9	Add count to Foldable.	2014-05-25 19:28:00 -04:00
Louis Dionne	c611dcfd73	Allow runtime bool conditions in if_.	2014-05-25 19:24:06 -04:00
Louis Dionne	f1694b3f4c	Add find and drop_until to Iterable.	2014-05-25 18:45:10 -04:00