Commit Graph

1973 Commits

Author SHA1 Message Date
Louis Dionne
0db2edff55 [test::numeric] Fix a bug with operators 2015-02-22 16:50:01 -05:00
Louis Dionne
d7bf35c7e8 [Iterable] Make foldl_impl constexpr-friendly 2015-02-22 16:50:01 -05:00
Louis Dionne
3e78af4bcb [Tuple] Use make<Tuple>(...) instead of tuple(...) 2015-02-22 16:50:01 -05:00
Louis Dionne
0e197829ca [Sandbox] Remove old mcd graph experiment 2015-02-22 16:50:00 -05:00
Louis Dionne
7dad374f1f [Tuple] Fix a nasty double-move in flatten 2015-02-22 16:50:00 -05:00
Louis Dionne
a25e84cf3b [Doc] Refactor the tutorial 2015-02-22 16:50:00 -05:00
Louis Dionne
8c6bdb3a3f [Tuple] Fix a bug in transform with tuple_t 2015-02-22 14:55:36 -05:00
Louis Dionne
f772374179 [Searchable] Add a model for builtin arrays. 2015-02-22 14:55:36 -05:00
Louis Dionne
f64a130985 [Comparable] Test operators automatically 2015-02-22 14:55:35 -05:00
Louis Dionne
d120513366 Rename cons to prepend and snoc to append 2015-02-22 14:55:35 -05:00
Louis Dionne
62ede37419 Rename fmap to transform 2015-02-22 14:55:35 -05:00
Louis Dionne
9e67213857 Rename zip_with to zip.with 2015-02-22 14:55:35 -05:00
Louis Dionne
0323eb185d [Test] Move record_macros.cpp and remove unused builtin.hpp 2015-02-22 14:55:35 -05:00
Louis Dionne
7ceadaae67 [Tuple] Add examples and slightly improve tests 2015-02-22 14:55:35 -05:00
Louis Dionne
734f89190c [Core] Refactor the operator system 2015-02-20 11:05:44 -05:00
Louis Dionne
ec7336796b [README] Add example of tuple indexing with [] in the README 2015-02-20 11:05:44 -05:00
Louis Dionne
f0c66b31f8 Remove outdated core/ tests and reorganize tests 2015-02-20 11:05:44 -05:00
Louis Dionne
5464f58131 [Sandbox] Remove outdated experiments 2015-02-20 11:05:44 -05:00
Louis Dionne
4d06bf69fe [Core] Refactor documentation and bring back stuff from split_methods branch 2015-02-20 11:05:44 -05:00
Louis Dionne
f31bb617d5 [Tuple] Implement an efficient sort for tuple_cs 2015-02-20 11:05:44 -05:00
Louis Dionne
45387e8294 [Set] Use models instead of is_a and fix missing include 2015-02-20 11:05:43 -05:00
Louis Dionne
9604c9a9f6 Replace List by Sequence 2015-02-20 11:05:43 -05:00
Louis Dionne
d5dafc8e35 [Either] Add missing include to examples 2015-02-18 17:14:19 -05:00
Louis Dionne
8b656656b4 [IntegerList] Forgot to remove the fwd declaration header 2015-02-18 17:14:19 -05:00
Louis Dionne
eda87ce328 [Monad] Add Monad::ap_impl to simplify modelling Applicative 2015-02-17 15:11:23 -05:00
Louis Dionne
272ffa7900 Add the MonadPlus concept 2015-02-17 15:11:07 -05:00
Louis Dionne
9706eef852 [ext/fusion] Reduce code duplication 2015-02-17 02:04:24 -05:00
Louis Dionne
0cb805b4f4 [Iterable] Add TODO for drop variants 2015-02-17 00:56:11 -05:00
Louis Dionne
964851bb76 [Foldable] Split tests and remove now useless foreign tests 2015-02-17 00:56:11 -05:00
Louis Dionne
92a526003b [Tuple] Tentatively implement Sequence and MonadPlus operations 2015-02-17 00:56:11 -05:00
Louis Dionne
02c9c47510 Remove TypeList and IntegerList 2015-02-15 12:38:04 -05:00
Louis Dionne
efd5aa9624 [Documentation] Rename group-typeclasses to group-concepts 2015-02-15 11:42:42 -05:00
Louis Dionne
15a5a03953 [Bool] Make bool_<...> an alias to integral_constant<bool, ...>. 2015-02-15 11:27:20 -05:00
Louis Dionne
9693a7c2e3 [test::CNumeric] Remove unused mcds 2015-02-15 10:42:52 -05:00
Louis Dionne
5ba0de6bfc [Orderable] Check for total ordering in the unit tests 2015-02-15 10:42:52 -05:00
Louis Dionne
737f20a5bb [models] Implement models for each concept; no need to explicitly specialize it 2015-02-15 10:31:12 -05:00
Louis Dionne
bec87eec87 [Functor] Properly annotate default implementations 2015-02-15 09:08:02 -05:00
Louis Dionne
337167bbb3 [Traversable] Refactor documentation and split methods 2015-02-15 09:08:02 -05:00
Louis Dionne
681116f0db [Iterable] Refactor documentation and split methods 2015-02-15 09:08:02 -05:00
Louis Dionne
8e744413be [Record] Refactor documentation and split methods 2015-02-13 12:00:14 -05:00
Louis Dionne
72334a8bcc [README] Improve the examples 2015-02-12 12:37:32 -05:00
Louis Dionne
e4d75ef25a [Foldable] Refactor documentation and split methods 2015-02-12 11:58:39 -05:00
Louis Dionne
bf34ec04e4 [Lazy] Document that operators are provided for Monad 2015-02-12 10:14:22 -05:00
Louis Dionne
c5f20a51d2 [Searchable] Split methods and refactor documentation 2015-02-12 10:10:38 -05:00
Louis Dionne
f99a35fba6 [Monad] Refactor documentation and split methods 2015-02-11 11:15:16 -05:00
Louis Dionne
3a6508f61b [Doxygen] Remove warnings 2015-02-11 10:43:26 -05:00
Louis Dionne
dbf7445a3c [Applicative] Refactor the documentation and split methods 2015-02-11 10:37:01 -05:00
Louis Dionne
8a3e5f794d [Functor] Refactor documentation and split methods 2015-02-10 20:34:41 -05:00
Louis Dionne
d1132834cd [CMake] Set the CMake policy explicitly in Benchmarks.cmake to avoid warnings 2015-02-10 20:03:49 -05:00
Louis Dionne
9c32ebe263 [Detail] Remove detail::n_times, which is replaced by int_<i>.times 2015-02-10 20:03:49 -05:00