Commit Graph

1973 Commits

Author SHA1 Message Date
Louis Dionne
261ee2e729 Test comparing and ordering in the laws 2015-03-13 12:14:35 -04:00
Louis Dionne
e0ea535bd9 [Config] Document BOOST_HANA_CONFIG_DISABLE_DATA_TYPE_CHECKS 2015-03-13 12:14:34 -04:00
Louis Dionne
1889dfcd65 [MplVector] Remove unused includes and return mpl::integral_c from equal 2015-03-13 12:14:34 -04:00
Louis Dionne
af4ff59bfb [Core] Add is_a and make sure models<> returns an IntegralConstant 2015-03-13 12:14:32 -04:00
Louis Dionne
51c43a9c56 Include fwd/core/xxx instead of core/xxx in concept forward decl headers 2015-03-12 18:13:43 -04:00
Louis Dionne
ceba2336c3 [Examples] Add an example of compile-time printf formatting 2015-03-12 15:00:15 -04:00
Louis Dionne
56484a3ac9 [CMake] Improve the build system and the targets
- Split targets to compile and run tests
- Add run.* targets to run each target
2015-03-12 14:44:14 -04:00
Louis Dionne
9cc9ca4b0e [Travis] Add support for Travis CI 2015-03-12 14:42:50 -04:00
Louis Dionne
4671796d28 [Pair] Add make_pair and improve tests 2015-03-12 11:52:51 -04:00
Louis Dionne
42573fc696 [Doc] Lift a mailing list message into documentation for eval_if 2015-03-12 11:27:11 -04:00
Louis Dionne
97f27661cb [Tests] Split the unit tests for std::ratio and Either, and reduce hungry tests 2015-03-11 11:46:19 -04:00
Louis Dionne
5433debbf8 [Map] Split unit tests and remove usage of lambda 2015-03-10 09:30:07 -04:00
Louis Dionne
53b50c835b [Tuple] Fix ambiguous overload of transform 2015-03-10 09:30:07 -04:00
Louis Dionne
39079fa95a [Foldable] Add monadic folds 2015-03-10 09:30:07 -04:00
Louis Dionne
656b57e80b [ext/utility] Add traits::declval 2015-03-10 09:30:07 -04:00
Louis Dionne
aecb7dcdef Make sure Metafunctions are as SFINAE-friendly as possible 2015-03-10 09:30:06 -04:00
Louis Dionne
ea601ddf60 [Maybe] Add the sfinae utility 2015-03-10 09:30:06 -04:00
Louis Dionne
d10f8ec2ca [CMake] Fix failing CMake when Boost is not found 2015-03-08 15:08:13 -04:00
Louis Dionne
32be2c9ef7 [Doc] Minor rewording of Maybe's doc 2015-03-08 12:38:19 -04:00
Louis Dionne
6c076555a5 [ext/] Fix std::integer_sequence and mpl::vector failing tests 2015-03-08 11:56:27 -04:00
Louis Dionne
47dc4c7180 [String] Split the unit tests for Orderable and Comparable 2015-03-07 22:41:39 -05:00
Louis Dionne
8a73a3208e [Map] Add make<Map> and remove map(...) 2015-03-07 21:28:07 -05:00
Louis Dionne
bd4daea264 Use models<Concept, T> instead of models<Concept(T)>, and check data types at the top level 2015-03-07 21:27:46 -05:00
Louis Dionne
d525c20397 [Detail] Add an helper to compute tuple cartesian products 2015-03-07 12:09:02 -05:00
Louis Dionne
76ac948742 [Tracked] Do not output to std::cerr: too much output 2015-03-06 00:16:42 -05:00
Louis Dionne
90dd47d5f1 Less tests for sandbox::LambdaTuple; the whole thing takes too long 2015-03-05 21:50:54 -05:00
Louis Dionne
7c69ef7d98 [tests] Split the seq unit tests 2015-03-05 21:36:35 -05:00
Louis Dionne
4b44e867e1 [ext/] Add an experimental adapter for std::vector 2015-03-05 20:00:21 -05:00
Louis Dionne
0eb9c04b7e [ext/] Remove forward declarations. 2015-03-05 19:59:10 -05:00
Louis Dionne
471a9e3239 [Documentation] Minor fixes 2015-03-05 19:44:52 -05:00
Louis Dionne
d47bbdb876 [test::Tracked] Make it assignable 2015-03-05 19:44:25 -05:00
Louis Dionne
5216569ef2 [Tests] Split more unit tests 2015-03-05 16:57:37 -05:00
Louis Dionne
bb30d0e076 [ADL] Additional tests to make sure tuple_t and type handle ADL properly 2015-03-05 15:44:51 -05:00
Louis Dionne
00d1cac8d2 [Tutorial] Fix typo in cheatsheet 2015-03-05 14:04:06 -05:00
Louis Dionne
bb640c350e [Detail] Split detail::array into its own header 2015-03-05 13:18:40 -05:00
Louis Dionne
cc76ebbba2 [IntegralDomain] Use rem instead of mod, and change laws so it's consistent with % 2015-03-05 12:25:50 -05:00
Louis Dionne
e4e552401d [std::tuple] Workaround bug in std::tuple_cat: http://llvm.org/bugs/show_bug.cgi?id=22806 2015-03-05 11:46:16 -05:00
Louis Dionne
911e264884 [laws/Constant] Test both forms of hana::value 2015-03-05 11:46:00 -05:00
Louis Dionne
815a897ac2 [CMake] Create header inclusion test files only when they don't exist 2015-03-05 10:43:16 -05:00
Louis Dionne
479f5ef991 [Tests] Split more unit tests 2015-03-05 10:34:15 -05:00
Louis Dionne
1cca71792e [ext/type_traits] Include ext/integer_sequence and ext/integral_constant 2015-03-05 10:31:44 -05:00
Louis Dionne
b229a60e25 Refactor the automatic law checking to make it more modular 2015-03-05 09:35:06 -05:00
Louis Dionne
9388fe52eb [CMake + Config] Successfully compile on Clang 3.5 and improve diagnostics
Also disable fusion's adapters tests, which are currently broken
2015-03-05 09:35:06 -05:00
Louis Dionne
5dcd26a5be [MinimalProduct] Fix a bug where first and second would cause double move 2015-03-05 09:35:06 -05:00
Louis Dionne
e92a7d3a84 [functional/overload] Fix a bug with clang 3.5 2015-03-04 18:18:53 -05:00
Louis Dionne
47084ad4e0 [Tests] Fix failing test.seq.sequence.monad_plus_mcd 2015-03-04 17:48:53 -05:00
Louis Dionne
c239b5c035 Fix bugs where we read from non-constexpr variables 2015-03-04 16:57:38 -05:00
Louis Dionne
5c1e724748 [Documentation] Remove old references to type classes 2015-03-04 16:38:02 -05:00
Louis Dionne
c93a250d87 [Constant] Make value a nullary method depending only on the type 2015-03-04 16:36:40 -05:00
Louis Dionne
cee0c9b3ce [Clang 3.5] Workaround some bugs 2015-03-04 16:35:17 -05:00