
Hi Brook, On Tue, Jan 12, 2016 at 9:46 AM, Brook Milligan <brook@nmsu.edu> wrote:
On Dec 17, 2015, at 12:16 AM, David Stone <david@doublewise.net <mailto: david@doublewise.net>> wrote:
I have written a similar library (http://doublewise.net/c++/bounded/ < http://doublewise.net/c++/bounded/>), and I have a few questions about your implementation.
I am curious whether either of you (Robert and David) have handled the need to evaluate the condition “is X (an object of type with some _potentially_ wide range) within bounds of Y (an object of type with some _potentially_ narrow range)?
In my bounded::integer library, I have a few functions in the detail namespace. value_fits_in_type<type>(value); type_overlaps_range<type>(min, max); type_fits_in_range<type>(min, max); types_overlap<T1, T2>::value I plan on rewriting this part of my code at some point to use Boost.Hana and give it a more consistent interface. As you can see, I think I actually covered almost every possibility except your use case of type_fits_in_type, but the definitions are pretty straightforward. When I rewrite them, I may consider moving them out of the detail namespace.