- b -
- BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS : config.hpp +
- BOOST_HANA_CONFIG_ENABLE_DEBUG_MODE +: config.hpp +
- BOOST_HANA_CONFIG_ENABLE_STRING_UDL : config.hpp diff --git a/group__group-config.html b/group__group-config.html index 7dfbe28381..70cd2b5cd0 100644 --- a/group__group-config.html +++ b/group__group-config.html @@ -139,6 +139,9 @@
- Copyright
- Louis Dionne 2013-2016 Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
- Todo:
- Improve this explanation and talk about non-integral constant expressions wrapped into types.
- Todo:
- Improve this explanation and talk about non-integral constant expressions wrapped into types.
- Todo:
- Explain how side-effects may not appear inside constant expressions, even if the expression they yield are not accessed.
- Todo:
- Explain how side-effects may not appear inside constant expressions, even if the expression they yield are not accessed.
- Todo:
- Consider giving access to all the arguments to the tag-dispatched implementation for performance purposes.
- Todo:
- Consider giving access to all the arguments to the tag-dispatched implementation for performance purposes.
- Todo:
- Can't specify the signature here either. See
minfor details. - Todo:
- Can't specify the signature here either. See
minfor details. - Todo:
- We can't specify the signature right now, because the tag of the returned object depends on whether
x < yor not. If we wanted to be mathematically correct, we should probably ask thatif_(cond, x, y)returns a common data type ofxandy, and then the behavior ofminwould follow naturally. However, I'm unsure whether this is desirable because that's a big requirement. - Todo:
- We can't specify the signature right now, because the tag of the returned object depends on whether
x < yor not. If we wanted to be mathematically correct, we should probably ask thatif_(cond, x, y)returns a common data type ofxandy, and then the behavior ofminwould follow naturally. However, I'm unsure whether this is desirable because that's a big requirement. - Note
- Since this utility is mostly used in assertions to check that there are no duplicates in a sequence, we expect it to return
falsemost of the time (otherwise we will assert). Hence, this implementation is biased towards the fact that we will have to compare every pair of elements in most cases, and it does not try to be lazy. - Todo:
- This implementation is O(n^2). We could do it in O(n), but that would require a more elaborate setup including storage with O(1) lookup (which could be based on a compile-time hash). If we implement such storage for associative sequences, we could use it to optimize this.
- Member max +
- Class boost::hana::detail::has_duplicates< T > +
- This implementation is O(n^2). We could do it in O(n), but that would require a more elaborate setup including storage with O(1) lookup (which could be based on a compile-time hash). If we implement such storage for associative sequences, we could use it to optimize this. +
- Member max
- Can't specify the signature here either. See
minfor details.
- - Member min +
- Member min
- We can't specify the signature right now, because the tag of the returned object depends on whether
x < yor not. If we wanted to be mathematically correct, we should probably ask thatif_(cond, x, y)returns a common data type ofxandy, and then the behavior ofminwould follow naturally. However, I'm unsure whether this is desirable because that's a big requirement.
- - page User Manual +
- page User Manual
Improve this explanation and talk about non-integral constant expressions wrapped into types.
Explain how side-effects may not appear inside constant expressions, even if the expression they yield are not accessed.
x in x.y.z. Macro Definition Documentation
That operator is not part of the language yet, but it is supported by both Clang and GCC. This operator allows Hana to provide the nice _s user-defined literal for creating compile-time strings.
When this macro is not defined, the GNU extension will be not used by Hana. Because this is a non-standard extension, the macro is not defined by default.
+ + + +
+
diff --git a/group__group-config.js b/group__group-config.js
index 38f43e08d0..3d22ad7f44 100644
--- a/group__group-config.js
+++ b/group__group-config.js
@@ -3,6 +3,7 @@ var group__group_config =
[ "BOOST_HANA_CONFIG_DISABLE_ASSERTIONS", "group__group-config.html#ga08dcc32bef198420e646244e851d1995", null ],
[ "BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS", "group__group-config.html#gad2b44f7cf8a6ba1002437a1a89e62acd", null ],
[ "BOOST_HANA_CONFIG_ENABLE_STRING_UDL", "group__group-config.html#ga81de60f5bea16e6ff4a38c94e3022f10", null ],
+ [ "BOOST_HANA_CONFIG_ENABLE_DEBUG_MODE", "group__group-config.html#ga95603295cd6cc840c0dbc50b75e02ee9", null ],
[ "BOOST_HANA_MAJOR_VERSION", "group__group-config.html#gac1f8e58978bf4fe02f68ca4646124aee", null ],
[ "BOOST_HANA_MINOR_VERSION", "group__group-config.html#gafd6a702442b280083efe2690da5621bd", null ],
[ "BOOST_HANA_PATCH_VERSION", "group__group-config.html#ga50940f9267eacd0da0d4d8ccbfac8817", null ],
diff --git a/group__group-details.html b/group__group-details.html
index 4444298c27..2829360e38 100644
--- a/group__group-details.html
+++ b/group__group-details.html
@@ -147,6 +147,9 @@
+
+
+
| #define BOOST_HANA_CONFIG_ENABLE_DEBUG_MODE | +
+
+
#include <boost/hana/config.hpp>
Enables additional assertions and sanity checks to be done by Hana.
+When this macro is defined (it is not defined by default), additional sanity checks may be done by Hana. These checks may be costly to perform, either in terms of compilation time or in terms of execution time. These checks may help debugging an application during its initial development, but they should not be enabled as part of the normal configuration.
+Pred, or sizeof...(Xs) if no such element exists. More...Ts are duplicate w.r.t. hana::equal. More...pack<> that satisfies the predicate, or the size of the pack if there is no such element. More...
+
+
+
+
+
+
+
+
+
+
+
+ |
+
+ Boost.Hana
+
+ Your standard library for metaprogramming
+ |
+
+
+
+
+
+
+ 
+
+ |
+
+
+
+
+
+
+
+
+
diff --git a/hierarchy.html b/hierarchy.html
index 377d71b40e..a5c1179ae7 100644
--- a/hierarchy.html
+++ b/hierarchy.html
@@ -147,74 +147,75 @@
+
+
+
+
+
+
+
+
+
+
+Classes |
+Namespaces
+
+
+has_duplicates.hpp File Reference
+
+
+
+
+
+Defines boost::hana::detail::has_duplicates.
+More...
+Classes | |
| struct | boost::hana::detail::has_duplicates< T > |
Returns whether any of the Ts are duplicate w.r.t. hana::equal. More... | |
+Namespaces | |
| boost | |
Detailed Description
+Defines boost::hana::detail::has_duplicates.
std::make_xxx pattern for arbitrary xxxs std::decay, except faster Pred, or sizeof...(Xs) if no such element exists pack<> that satisfies the predicate, or the size of the pack if there is no such element .by static constexpr function object .than static constexpr function object .to static constexpr function object hana::detail::operators namespace std::common_type, except it is SFINAE-friendly and does not support custom specializations std::false_type EuclideanRing concept represents a commutative Ring that can also be endowed with a division algorithm Foldable concept represents data structures that can be reduced to a single value Functor concept represents types that can be mapped over Group concept represents Monoids where all objects have an inverse w.r.t. the Monoid's binary operation hana::integral_constant IntegralConstant concept represents compile-time integral values Iterable concept represents data structures supporting external iteration hana::lazy implements superficial laziness via a monadic interface hana::lazy Logical concept represents types with a truth value Comparable keys hana::maps Metafunction is a function that takes hana::types as inputs and returns a hana::type as output Monad concept represents Applicatives with the ability to flatten nested levels of structure MonadPlus concept represents Monads with a monoidal structure Monoid concept represents data types with an associative binary operation that has an identity hana::optional Orderable concept represents totally ordered data types hana::pair hana::integral_constants hana::range Ring concept represents Groups that also form a Monoid under a second binary operation that distributes over the first Searchable concept represents structures that can be searched Sequence concept represents generic index-based sequences Comparable elements hana::set container Struct concept represents struct-like user-defined types T hana::tuples hana::type boost::tuples std::array for Hana std::integer_sequence for Hana std::integral_constants std::pair for Hana std::ratio for Hana std::tuples Ts are duplicate w.r.t. hana::equal pack<> that satisfies the predicate, or the size of the pack if there is no such element .by static constexpr function object .than static constexpr function object .to static constexpr function object hana::detail::operators namespace std::common_type, except it is SFINAE-friendly and does not support custom specializations std::false_type EuclideanRing concept represents a commutative Ring that can also be endowed with a division algorithm Foldable concept represents data structures that can be reduced to a single value Functor concept represents types that can be mapped over Group concept represents Monoids where all objects have an inverse w.r.t. the Monoid's binary operation hana::integral_constant IntegralConstant concept represents compile-time integral values Iterable concept represents data structures supporting external iteration hana::lazy implements superficial laziness via a monadic interface hana::lazy Logical concept represents types with a truth value Comparable keys hana::maps Metafunction is a function that takes hana::types as inputs and returns a hana::type as output Monad concept represents Applicatives with the ability to flatten nested levels of structure MonadPlus concept represents Monads with a monoidal structure Monoid concept represents data types with an associative binary operation that has an identity hana::optional Orderable concept represents totally ordered data types hana::pair hana::integral_constants hana::range Ring concept represents Groups that also form a Monoid under a second binary operation that distributes over the first Searchable concept represents structures that can be searched Sequence concept represents generic index-based sequences Comparable elements hana::set container Struct concept represents struct-like user-defined types T hana::tuples hana::type boost::tuples std::array for Hana std::integer_sequence for Hana std::integral_constants std::pair for Hana std::ratio for Hana std::tuples auto f(int i) -> foo<i>; // obviously won't work
In fact, the return type of a function may only depend on the types of its arguments, and constexpr can't change this fact. This is of utmost importance to us, because we're interested in manipulating heterogeneous objects, which eventually means returning objects with different types depending on the argument of the function. For example, a function might want to return an object of type T in one case and an object of type U in the other; from our analysis, we now know that these "cases" will have to depend on information encoded in the types of the arguments, not in their values.
To preserve constexpr-ness through argument passing, we have to encode the constexpr value into a type, and then pass a not-necessarily-constexpr object of that type to the function. The function, which must be a template, may then access the constexpr value encoded inside that type.
Side effects
Let me ask a tricky question. Is the following code valid?
@@ -2258,7 +2258,7 @@
constexpr int i = f(n);
^
-
+
Apendix II: A minimal MPL
diff --git a/navtreedata.js b/navtreedata.js
index 36202e3b4c..81f875b62b 100644
--- a/navtreedata.js
+++ b/navtreedata.js
@@ -102,8 +102,8 @@ var NAVTREEINDEX =
[
"accessors_8hpp.html",
"fwd_2front_8hpp.html",
-"index.html#tutorial-introspection-is_valid-template",
-"structboost_1_1hana_1_1Searchable.html#a386ac8af7123ea1e8ea1fa2bbd4cbf3d"
+"index.html#tutorial-introspection-is_valid",
+"structboost_1_1hana_1_1Searchable.html#a234e4ee0bd5e0e9e604d6140fde24074"
];
var SYNCONMSG = 'click to disable panel synchronisation';
diff --git a/navtreeindex1.js b/navtreeindex1.js
index ac6e0a595b..75cee51c56 100644
--- a/navtreeindex1.js
+++ b/navtreeindex1.js
@@ -114,12 +114,12 @@ var NAVTREEINDEX1 =
"group__group-assertions.html#ga41a7490fd94005e6b6a3b6a900207063":[1,7,10],
"group__group-assertions.html#ga4bf9e0c46c44e21fbe5c5fbb3ace8356":[3,0,0,18,11],
"group__group-assertions.html#ga4bf9e0c46c44e21fbe5c5fbb3ace8356":[1,7,11],
-"group__group-assertions.html#ga512de1fcd31e8a34931ffb2c891afd36":[3,0,0,18,13],
"group__group-assertions.html#ga512de1fcd31e8a34931ffb2c891afd36":[1,7,13],
-"group__group-assertions.html#ga5150cd7df438a22056a39529d21562d2":[1,7,15],
+"group__group-assertions.html#ga512de1fcd31e8a34931ffb2c891afd36":[3,0,0,18,13],
"group__group-assertions.html#ga5150cd7df438a22056a39529d21562d2":[3,0,0,18,15],
-"group__group-assertions.html#ga7af67ae500a237fe350f1bfceb4a5afa":[1,7,12],
+"group__group-assertions.html#ga5150cd7df438a22056a39529d21562d2":[1,7,15],
"group__group-assertions.html#ga7af67ae500a237fe350f1bfceb4a5afa":[3,0,0,18,12],
+"group__group-assertions.html#ga7af67ae500a237fe350f1bfceb4a5afa":[1,7,12],
"group__group-assertions.html#ga90c1df2cb8eb67e8e0c822eac180b7bc":[3,0,0,18,4],
"group__group-assertions.html#ga90c1df2cb8eb67e8e0c822eac180b7bc":[1,7,4],
"group__group-assertions.html#ga9961218055c571b279bb6e07befbba4d":[3,0,0,18,3],
@@ -134,18 +134,20 @@ var NAVTREEINDEX1 =
"group__group-config.html":[1,6],
"group__group-config.html#ga08dcc32bef198420e646244e851d1995":[1,6,0],
"group__group-config.html#ga08dcc32bef198420e646244e851d1995":[3,0,0,29,0],
-"group__group-config.html#ga2fb384037c12a706e1a1cac053065648":[1,6,6],
+"group__group-config.html#ga2fb384037c12a706e1a1cac053065648":[1,6,7],
"group__group-config.html#ga2fb384037c12a706e1a1cac053065648":[3,0,0,148,4],
-"group__group-config.html#ga50940f9267eacd0da0d4d8ccbfac8817":[1,6,5],
+"group__group-config.html#ga50940f9267eacd0da0d4d8ccbfac8817":[1,6,6],
"group__group-config.html#ga50940f9267eacd0da0d4d8ccbfac8817":[3,0,0,148,3],
"group__group-config.html#ga81de60f5bea16e6ff4a38c94e3022f10":[1,6,2],
"group__group-config.html#ga81de60f5bea16e6ff4a38c94e3022f10":[3,0,0,29,2],
-"group__group-config.html#gac1f8e58978bf4fe02f68ca4646124aee":[1,6,3],
+"group__group-config.html#ga95603295cd6cc840c0dbc50b75e02ee9":[3,0,0,29,3],
+"group__group-config.html#ga95603295cd6cc840c0dbc50b75e02ee9":[1,6,3],
+"group__group-config.html#gac1f8e58978bf4fe02f68ca4646124aee":[1,6,4],
"group__group-config.html#gac1f8e58978bf4fe02f68ca4646124aee":[3,0,0,148,1],
-"group__group-config.html#gad2b44f7cf8a6ba1002437a1a89e62acd":[3,0,0,29,1],
"group__group-config.html#gad2b44f7cf8a6ba1002437a1a89e62acd":[1,6,1],
-"group__group-config.html#gafd6a702442b280083efe2690da5621bd":[1,6,4],
+"group__group-config.html#gad2b44f7cf8a6ba1002437a1a89e62acd":[3,0,0,29,1],
"group__group-config.html#gafd6a702442b280083efe2690da5621bd":[3,0,0,148,2],
+"group__group-config.html#gafd6a702442b280083efe2690da5621bd":[1,6,5],
"group__group-core.html":[1,3],
"group__group-core.html#ga0f5d717bbf6646619bb6219b104384dc":[1,3,11],
"group__group-core.html#ga1d92480f0af1029878e773dafa3e2f60":[1,3,15],
@@ -156,24 +158,24 @@ var NAVTREEINDEX1 =
"group__group-core.html#gadc70755c1d059139297814fb3bfeb91e":[1,3,12],
"group__group-datatypes.html":[1,1],
"group__group-details.html":[1,8],
-"group__group-details.html#ga1be7a4bd805ffff2882fe54995dc41bd":[3,0,0,2,21,3],
-"group__group-details.html#ga1be7a4bd805ffff2882fe54995dc41bd":[1,8,15],
-"group__group-details.html#ga444e73a2fe13732b802a770b55b4a99c":[3,0,0,2,21,1],
-"group__group-details.html#ga444e73a2fe13732b802a770b55b4a99c":[1,8,13],
-"group__group-details.html#ga4bd17b3ef62e1e275dfe485923fdf666":[3,0,0,2,21,6],
-"group__group-details.html#ga4bd17b3ef62e1e275dfe485923fdf666":[1,8,18],
+"group__group-details.html#ga1be7a4bd805ffff2882fe54995dc41bd":[3,0,0,2,22,3],
+"group__group-details.html#ga1be7a4bd805ffff2882fe54995dc41bd":[1,8,16],
+"group__group-details.html#ga444e73a2fe13732b802a770b55b4a99c":[3,0,0,2,22,1],
+"group__group-details.html#ga444e73a2fe13732b802a770b55b4a99c":[1,8,14],
+"group__group-details.html#ga4bd17b3ef62e1e275dfe485923fdf666":[3,0,0,2,22,6],
+"group__group-details.html#ga4bd17b3ef62e1e275dfe485923fdf666":[1,8,19],
"group__group-details.html#ga5de7a0132a80e37c73d544ece1e6dd4e":[3,0,0,2,9,0],
-"group__group-details.html#ga5de7a0132a80e37c73d544ece1e6dd4e":[1,8,11],
-"group__group-details.html#ga62fe3327023c37706c827cc82624998b":[3,0,0,2,21,0],
-"group__group-details.html#ga62fe3327023c37706c827cc82624998b":[1,8,12],
-"group__group-details.html#ga6b4ca5cb5cefc6cf77455d7d7ef6f381":[3,0,0,2,21,2],
-"group__group-details.html#ga6b4ca5cb5cefc6cf77455d7d7ef6f381":[1,8,14],
-"group__group-details.html#ga9acac3c4609cff5f0957572744c61ec4":[1,8,20],
-"group__group-details.html#gadcf0cf5cb650681b8cac90d94ce52d44":[3,0,0,2,21,4],
-"group__group-details.html#gadcf0cf5cb650681b8cac90d94ce52d44":[1,8,16],
-"group__group-details.html#gae85b604ae6c7a386f0fc3631c561091b":[1,8,19],
-"group__group-details.html#gaf8319341c937c45415ae0eae8d656723":[3,0,0,2,21,5],
-"group__group-details.html#gaf8319341c937c45415ae0eae8d656723":[1,8,17],
+"group__group-details.html#ga5de7a0132a80e37c73d544ece1e6dd4e":[1,8,12],
+"group__group-details.html#ga62fe3327023c37706c827cc82624998b":[3,0,0,2,22,0],
+"group__group-details.html#ga62fe3327023c37706c827cc82624998b":[1,8,13],
+"group__group-details.html#ga6b4ca5cb5cefc6cf77455d7d7ef6f381":[3,0,0,2,22,2],
+"group__group-details.html#ga6b4ca5cb5cefc6cf77455d7d7ef6f381":[1,8,15],
+"group__group-details.html#ga9acac3c4609cff5f0957572744c61ec4":[1,8,21],
+"group__group-details.html#gadcf0cf5cb650681b8cac90d94ce52d44":[3,0,0,2,22,4],
+"group__group-details.html#gadcf0cf5cb650681b8cac90d94ce52d44":[1,8,17],
+"group__group-details.html#gae85b604ae6c7a386f0fc3631c561091b":[1,8,20],
+"group__group-details.html#gaf8319341c937c45415ae0eae8d656723":[3,0,0,2,22,5],
+"group__group-details.html#gaf8319341c937c45415ae0eae8d656723":[1,8,18],
"group__group-experimental.html":[1,4],
"group__group-experimental.html#ga660c0769106006a86948b5b355fad050":[1,4,0],
"group__group-ext-boost.html":[1,5,2],
@@ -205,6 +207,7 @@ var NAVTREEINDEX1 =
"has__common__embedding_8hpp.html":[3,0,0,2,12],
"has__common__embedding_8hpp.html#ga9acac3c4609cff5f0957572744c61ec4":[3,0,0,2,12,1],
"has__common__embedding_8hpp.html#gae85b604ae6c7a386f0fc3631c561091b":[3,0,0,2,12,0],
+"has__duplicates_8hpp.html":[3,0,0,2,13],
"id_8hpp.html":[3,0,0,4,9],
"id_8hpp.html#gaef38cf34324c8edbd3597ae71811d00d":[3,0,0,4,9,0],
"if_8hpp.html":[3,0,0,66],
@@ -246,8 +249,5 @@ var NAVTREEINDEX1 =
"index.html#tutorial-introduction":[0,3],
"index.html#tutorial-introduction-quadrants":[0,3,0],
"index.html#tutorial-introspection":[0,8],
-"index.html#tutorial-introspection-adapting":[0,8,2],
-"index.html#tutorial-introspection-is_valid":[0,8,0],
-"index.html#tutorial-introspection-is_valid-non_static":[0,8,0,0],
-"index.html#tutorial-introspection-is_valid-static":[0,8,0,1]
+"index.html#tutorial-introspection-adapting":[0,8,2]
};
diff --git a/navtreeindex2.js b/navtreeindex2.js
index bb3fd41bcf..85cb0b9ca0 100644
--- a/navtreeindex2.js
+++ b/navtreeindex2.js
@@ -1,5 +1,8 @@
var NAVTREEINDEX2 =
{
+"index.html#tutorial-introspection-is_valid":[0,8,0],
+"index.html#tutorial-introspection-is_valid-non_static":[0,8,0,0],
+"index.html#tutorial-introspection-is_valid-static":[0,8,0,1],
"index.html#tutorial-introspection-is_valid-template":[0,8,0,3],
"index.html#tutorial-introspection-is_valid-typename":[0,8,0,2],
"index.html#tutorial-introspection-json":[0,8,3],
@@ -31,7 +34,7 @@ var NAVTREEINDEX2 =
"index.html#tutorial-type-lifting":[0,7,3],
"index.html#tutorial-type-objects":[0,7,0],
"index.html#tutorial-type-working":[0,7,2],
-"index__if_8hpp.html":[3,0,0,2,13],
+"index__if_8hpp.html":[3,0,0,2,14],
"infix_8hpp.html":[3,0,0,4,10],
"infix_8hpp.html#ga7bdafba6dc801f1d2d83731ad9714557":[3,0,0,4,10,0],
"insert_8hpp.html":[3,0,0,67],
@@ -41,7 +44,7 @@ var NAVTREEINDEX2 =
"integral__constant_8hpp.html":[3,0,0,69],
"intersection_8hpp.html":[3,0,0,70],
"intersperse_8hpp.html":[3,0,0,71],
-"intrinsics_8hpp.html":[3,0,0,2,14],
+"intrinsics_8hpp.html":[3,0,0,2,15],
"is__disjoint_8hpp.html":[3,0,0,72],
"is__empty_8hpp.html":[3,0,0,73],
"is__subset_8hpp.html":[3,0,0,74],
@@ -72,12 +75,12 @@ var NAVTREEINDEX2 =
"mpl_8hpp.html":[3,0,0,3,0,3],
"mult_8hpp.html":[3,0,0,93],
"negate_8hpp.html":[3,0,0,94],
-"nested__by_8hpp.html":[3,0,0,2,15],
-"nested__by__fwd_8hpp.html":[3,0,0,2,16],
-"nested__than_8hpp.html":[3,0,0,2,17],
-"nested__than__fwd_8hpp.html":[3,0,0,2,18],
-"nested__to_8hpp.html":[3,0,0,2,19],
-"nested__to__fwd_8hpp.html":[3,0,0,2,20],
+"nested__by_8hpp.html":[3,0,0,2,16],
+"nested__by__fwd_8hpp.html":[3,0,0,2,17],
+"nested__than_8hpp.html":[3,0,0,2,18],
+"nested__than__fwd_8hpp.html":[3,0,0,2,19],
+"nested__to_8hpp.html":[3,0,0,2,20],
+"nested__to__fwd_8hpp.html":[3,0,0,2,21],
"none_8hpp.html":[3,0,0,95],
"none__of_8hpp.html":[3,0,0,96],
"not_8hpp.html":[3,0,0,97],
@@ -104,7 +107,7 @@ var NAVTREEINDEX2 =
"power_8hpp.html":[3,0,0,107],
"prefix_8hpp.html":[3,0,0,108],
"prepend_8hpp.html":[3,0,0,109],
-"preprocessor_8hpp.html":[3,0,0,2,21],
+"preprocessor_8hpp.html":[3,0,0,2,22],
"product_8hpp.html":[3,0,0,110],
"range_8hpp.html":[3,0,0,111],
"ratio_8hpp.html":[3,0,0,3,1,4],
@@ -132,10 +135,10 @@ var NAVTREEINDEX2 =
"split__at_8hpp.html":[3,0,0,2,1,6],
"std_2vector_8hpp.html":[3,0,0,3,1,6],
"std_8hpp.html":[3,0,0,3,3],
-"std__common__type_8hpp.html":[3,0,0,2,22],
+"std__common__type_8hpp.html":[3,0,0,2,23],
"string_8hpp.html":[3,0,0,130],
"string_8hpp.html#a325859c7db2c3f8e6a4bfab5a81a6dcb":[3,0,0,130,0],
-"struct__macros_8hpp.html":[3,0,0,2,23],
+"struct__macros_8hpp.html":[3,0,0,2,24],
"structboost_1_1fusion_1_1deque.html":[1,5,0,0],
"structboost_1_1fusion_1_1list.html":[1,5,0,1],
"structboost_1_1fusion_1_1tuple.html":[1,5,0,2],
@@ -246,8 +249,5 @@ var NAVTREEINDEX2 =
"structboost_1_1hana_1_1Ring.html#aca4df2fde91ca9c046282c6ec0f9bc3d":[1,0,17,0],
"structboost_1_1hana_1_1Ring.html#af31c2ce5c41696358e7ee10a8b57340e":[1,0,17,2],
"structboost_1_1hana_1_1Searchable.html":[1,0,18],
-"structboost_1_1hana_1_1Searchable.html#a1b4a67c4fd522de62b101ed99bb423e3":[1,0,18,5],
-"structboost_1_1hana_1_1Searchable.html#a234e4ee0bd5e0e9e604d6140fde24074":[1,0,18,6],
-"structboost_1_1hana_1_1Searchable.html#a2772d97163d2e2ca3f51b2d16d13ff66":[1,0,18,7],
-"structboost_1_1hana_1_1Searchable.html#a2dc05dc4553467aa0a2235088de41b4b":[1,0,18,3]
+"structboost_1_1hana_1_1Searchable.html#a1b4a67c4fd522de62b101ed99bb423e3":[1,0,18,5]
};
diff --git a/navtreeindex3.js b/navtreeindex3.js
index f48f0282cc..26796a9e5d 100644
--- a/navtreeindex3.js
+++ b/navtreeindex3.js
@@ -1,5 +1,8 @@
var NAVTREEINDEX3 =
{
+"structboost_1_1hana_1_1Searchable.html#a234e4ee0bd5e0e9e604d6140fde24074":[1,0,18,6],
+"structboost_1_1hana_1_1Searchable.html#a2772d97163d2e2ca3f51b2d16d13ff66":[1,0,18,7],
+"structboost_1_1hana_1_1Searchable.html#a2dc05dc4553467aa0a2235088de41b4b":[1,0,18,3],
"structboost_1_1hana_1_1Searchable.html#a386ac8af7123ea1e8ea1fa2bbd4cbf3d":[1,0,18,10],
"structboost_1_1hana_1_1Searchable.html#a67dd29f7921b76f7d2bd372605f73f7c":[1,0,18,2],
"structboost_1_1hana_1_1Searchable.html#a695907e4a3ef7d0e9ab34f5afff709b2":[1,0,18,0],
@@ -56,12 +59,13 @@ var NAVTREEINDEX3 =
"structboost_1_1hana_1_1detail_1_1create.html":[1,8,2],
"structboost_1_1hana_1_1detail_1_1decay.html":[1,8,3],
"structboost_1_1hana_1_1detail_1_1first__unsatisfied__index.html":[1,8,4],
-"structboost_1_1hana_1_1detail_1_1index__if.html":[1,8,5],
-"structboost_1_1hana_1_1detail_1_1nested__by.html":[1,8,6],
-"structboost_1_1hana_1_1detail_1_1nested__than.html":[1,8,7],
-"structboost_1_1hana_1_1detail_1_1nested__to.html":[1,8,8],
-"structboost_1_1hana_1_1detail_1_1operators_1_1adl.html":[1,8,9],
-"structboost_1_1hana_1_1detail_1_1std__common__type.html":[1,8,10],
+"structboost_1_1hana_1_1detail_1_1has__duplicates.html":[1,8,5],
+"structboost_1_1hana_1_1detail_1_1index__if.html":[1,8,6],
+"structboost_1_1hana_1_1detail_1_1nested__by.html":[1,8,7],
+"structboost_1_1hana_1_1detail_1_1nested__than.html":[1,8,8],
+"structboost_1_1hana_1_1detail_1_1nested__to.html":[1,8,9],
+"structboost_1_1hana_1_1detail_1_1operators_1_1adl.html":[1,8,10],
+"structboost_1_1hana_1_1detail_1_1std__common__type.html":[1,8,11],
"structboost_1_1hana_1_1embedding.html":[1,3,3],
"structboost_1_1hana_1_1has__common.html":[1,3,1],
"structboost_1_1hana_1_1integral__constant.html":[1,1,1],
@@ -206,8 +210,8 @@ var NAVTREEINDEX3 =
"transform_8hpp.html":[3,0,0,139],
"tuple_8hpp.html":[3,0,0,140],
"type_8hpp.html":[3,0,0,141],
-"type__foldl1_8hpp.html":[3,0,0,2,24],
-"type__foldr1_8hpp.html":[3,0,0,2,25],
+"type__foldl1_8hpp.html":[3,0,0,2,25],
+"type__foldr1_8hpp.html":[3,0,0,2,26],
"unfold__left_8hpp.html":[3,0,0,142],
"unfold__right_8hpp.html":[3,0,0,143],
"union_8hpp.html":[3,0,0,144],
@@ -217,9 +221,9 @@ var NAVTREEINDEX3 =
"value_8hpp.html":[3,0,0,147],
"version_8hpp.html":[3,0,0,148],
"version_8hpp.html#a36988ad8e4f82e0bfb7ff8e4808143a7":[3,0,0,148,0],
-"void__t_8hpp.html":[3,0,0,2,26],
+"void__t_8hpp.html":[3,0,0,2,27],
"while_8hpp.html":[3,0,0,149],
-"wrong_8hpp.html":[3,0,0,2,27],
+"wrong_8hpp.html":[3,0,0,2,28],
"zero_8hpp.html":[3,0,0,150],
"zip_8hpp.html":[3,0,0,151],
"zip__shortest_8hpp.html":[3,0,0,152],
diff --git a/search/all_2.js b/search/all_2.js
index 8b9dc7f175..e89ab84e91 100644
--- a/search/all_2.js
+++ b/search/all_2.js
@@ -24,6 +24,7 @@ var searchData=
['boost_5fhana_5fcheck_5fmsg',['BOOST_HANA_CHECK_MSG',['../group__group-assertions.html#ga7af67ae500a237fe350f1bfceb4a5afa',1,'assert.hpp']]],
['boost_5fhana_5fconfig_5fdisable_5fassertions',['BOOST_HANA_CONFIG_DISABLE_ASSERTIONS',['../group__group-config.html#ga08dcc32bef198420e646244e851d1995',1,'config.hpp']]],
['boost_5fhana_5fconfig_5fdisable_5fconcept_5fchecks',['BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS',['../group__group-config.html#gad2b44f7cf8a6ba1002437a1a89e62acd',1,'config.hpp']]],
+ ['boost_5fhana_5fconfig_5fenable_5fdebug_5fmode',['BOOST_HANA_CONFIG_ENABLE_DEBUG_MODE',['../group__group-config.html#ga95603295cd6cc840c0dbc50b75e02ee9',1,'config.hpp']]],
['boost_5fhana_5fconfig_5fenable_5fstring_5fudl',['BOOST_HANA_CONFIG_ENABLE_STRING_UDL',['../group__group-config.html#ga81de60f5bea16e6ff4a38c94e3022f10',1,'config.hpp']]],
['boost_5fhana_5fconfig_5fversion',['BOOST_HANA_CONFIG_VERSION',['../version_8hpp.html#a36988ad8e4f82e0bfb7ff8e4808143a7',1,'version.hpp']]],
['boost_5fhana_5fconstant_5fassert',['BOOST_HANA_CONSTANT_ASSERT',['../group__group-assertions.html#ga2626fa0c92b308cee62ac423ae2dba41',1,'assert.hpp']]],
diff --git a/search/all_8.js b/search/all_8.js
index 6e43aad424..7c7209fba0 100644
--- a/search/all_8.js
+++ b/search/all_8.js
@@ -4,5 +4,7 @@ var searchData=
['has_5fcommon',['has_common',['../structboost_1_1hana_1_1has__common.html',1,'boost::hana']]],
['has_5fcommon_5fembedding',['has_common_embedding',['../group__group-details.html#gae85b604ae6c7a386f0fc3631c561091b',1,'boost::hana::detail']]],
['has_5fcommon_5fembedding_2ehpp',['has_common_embedding.hpp',['../has__common__embedding_8hpp.html',1,'']]],
+ ['has_5fduplicates',['has_duplicates',['../structboost_1_1hana_1_1detail_1_1has__duplicates.html',1,'boost::hana::detail']]],
+ ['has_5fduplicates_2ehpp',['has_duplicates.hpp',['../has__duplicates_8hpp.html',1,'']]],
['has_5fnontrivial_5fcommon_5fembedding',['has_nontrivial_common_embedding',['../group__group-details.html#ga9acac3c4609cff5f0957572744c61ec4',1,'boost::hana::detail']]]
];
diff --git a/search/classes_7.js b/search/classes_7.js
index a7870ce06a..b934c468b5 100644
--- a/search/classes_7.js
+++ b/search/classes_7.js
@@ -1,4 +1,5 @@
var searchData=
[
- ['has_5fcommon',['has_common',['../structboost_1_1hana_1_1has__common.html',1,'boost::hana']]]
+ ['has_5fcommon',['has_common',['../structboost_1_1hana_1_1has__common.html',1,'boost::hana']]],
+ ['has_5fduplicates',['has_duplicates',['../structboost_1_1hana_1_1detail_1_1has__duplicates.html',1,'boost::hana::detail']]]
];
diff --git a/search/files_7.js b/search/files_7.js
index dd6f5a2a02..8f355cafc2 100644
--- a/search/files_7.js
+++ b/search/files_7.js
@@ -1,5 +1,6 @@
var searchData=
[
['hana_2ehpp',['hana.hpp',['../hana_8hpp.html',1,'']]],
- ['has_5fcommon_5fembedding_2ehpp',['has_common_embedding.hpp',['../has__common__embedding_8hpp.html',1,'']]]
+ ['has_5fcommon_5fembedding_2ehpp',['has_common_embedding.hpp',['../has__common__embedding_8hpp.html',1,'']]],
+ ['has_5fduplicates_2ehpp',['has_duplicates.hpp',['../has__duplicates_8hpp.html',1,'']]]
];
diff --git a/structboost_1_1hana_1_1Applicative.html b/structboost_1_1hana_1_1Applicative.html
index e6e4bc8746..26974b4bb6 100644
--- a/structboost_1_1hana_1_1Applicative.html
+++ b/structboost_1_1hana_1_1Applicative.html
@@ -261,7 +261,7 @@ Example
hana::nothing
);
}
-
+
diff --git a/structboost_1_1hana_1_1Orderable.html b/structboost_1_1hana_1_1Orderable.html
index 1d9b36dd29..2fe105e08b 100644
--- a/structboost_1_1hana_1_1Orderable.html
+++ b/structboost_1_1hana_1_1Orderable.html
@@ -449,7 +449,7 @@ Example
}
Returns the greatest of its arguments according to the less ordering.
Example
/*
@copyright Louis Dionne 2013-2016
@@ -495,7 +495,7 @@ Example
}
Returns the smallest of its arguments according to the less ordering.
Example
/*
@copyright Louis Dionne 2013-2016
diff --git a/structboost_1_1hana_1_1detail_1_1has__duplicates-members.html b/structboost_1_1hana_1_1detail_1_1has__duplicates-members.html
new file mode 100644
index 0000000000..81565eeea9
--- /dev/null
+++ b/structboost_1_1hana_1_1detail_1_1has__duplicates-members.html
@@ -0,0 +1,143 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ |
+
+ Boost.Hana
+
+ Your standard library for metaprogramming
+ |
+
+
+
+
+
+
+
+
+ |
+
+
+
+
+
+
+
+
+
diff --git a/structboost_1_1hana_1_1detail_1_1has__duplicates.html b/structboost_1_1hana_1_1detail_1_1has__duplicates.html
new file mode 100644
index 0000000000..3e1c668127
--- /dev/null
+++ b/structboost_1_1hana_1_1detail_1_1has__duplicates.html
@@ -0,0 +1,151 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+boost::hana::detail::has_duplicates< T > Member List
+
+
+
+This is the complete list of members for boost::hana::detail::has_duplicates< T >, including all inherited members.
+
+
+
+
+
+
+
+
+
+
+
+
+ |
+
+ Boost.Hana
+
+ Your standard library for metaprogramming
+ |
+
+
+
+
+
+
+
+
+ |
+
+
+
+
+
+
+
+
+
diff --git a/todo.html b/todo.html
index 1424d98bda..8144ca8eed 100644
--- a/todo.html
+++ b/todo.html
@@ -124,7 +124,7 @@
+
+
+
+
+
+
+
+
+
+
+
+
+boost::hana::detail::has_duplicates< T > Struct Template Reference
+template<typename... T>
+
+
+Description
+template<typename... T>
+struct boost::hana::detail::has_duplicates< T >
+
+Returns whether any of the Ts are duplicate w.r.t. hana::equal.
In particular, this does not check whether all of the Ts are unique as types, but rather whether they are unique when compared as hana::equal(std::declval<T>(), std::declval<U>()). This assumes the comparison to return an IntegralConstant that can be explicitly converted to bool.
-