adam/Alepha
1
0
Fork 0
forked from Alepha/Alepha
Code Pull Requests Activity

Make comparisons constexpr.

Browse Source 
The generated operators should be `constexpr`.  The `ordering_magma`
code should be as well.
This commit is contained in:
ADAM David Alan Martin
2021-10-26 02:04:22 -04:00
parent cf3f77ba6e
commit 70a23059b0
1 changed files with 22 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
comparisons.h
View File

@ -57,7 +57,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< has_spaceship_lens_member_v< T > >, typename= std::enable_if_t< has_spaceship_lens_member_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
decltype( auto ) constexpr decltype( auto )
spaceship_lens( T &t ) spaceship_lens( T &t )
{ {
return t.spaceship_lens(); return t.spaceship_lens();
@ -91,7 +91,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< has_value_lens_member_v< T > >, typename= std::enable_if_t< has_value_lens_member_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
decltype( auto ) constexpr decltype( auto )
value_lens( T &t ) value_lens( T &t )
{ {
return t.value_lens(); return t.value_lens();
@ -104,7 +104,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_spaceship_lens_v< T > >, typename= std::enable_if_t< supports_spaceship_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
decltype( auto ) constexpr decltype( auto )
value_lens( T &t ) value_lens( T &t )
{ {
return spaceship_lens( t ); return spaceship_lens( t );
@ -137,7 +137,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< has_equality_lens_member_v< T > >, typename= std::enable_if_t< has_equality_lens_member_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
decltype( auto ) constexpr decltype( auto )
equality_lens( T &t ) equality_lens( T &t )
{ {
return t.equality_lens(); return t.equality_lens();
@ -150,7 +150,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_value_lens_v< T > >, typename= std::enable_if_t< supports_value_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
decltype( auto ) constexpr decltype( auto )
equality_lens( T &t ) equality_lens( T &t )
{ {
return value_lens( t ); return value_lens( t );
@ -221,7 +221,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_equality_lens_v< T > >, typename= std::enable_if_t< supports_equality_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator == ( const T &lhs, const T &rhs ) operator == ( const T &lhs, const T &rhs )
{ {
return equality_lens( lhs ) == equality_lens( rhs ); return equality_lens( lhs ) == equality_lens( rhs );
@ -234,7 +234,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_equality_lens_v< T > >, typename= std::enable_if_t< supports_equality_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator != ( const T &lhs, const T &rhs ) operator != ( const T &lhs, const T &rhs )
{ {
return equality_lens( lhs ) != equality_lens( rhs ); return equality_lens( lhs ) != equality_lens( rhs );
@ -247,7 +247,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >, typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator < ( const T &lhs, const T &rhs ) operator < ( const T &lhs, const T &rhs )
{ {
return strict_weak_order_lens( lhs ) < strict_weak_order_lens( rhs ); return strict_weak_order_lens( lhs ) < strict_weak_order_lens( rhs );
@ -260,7 +260,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >, typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator > ( const T &lhs, const T &rhs ) operator > ( const T &lhs, const T &rhs )
{ {
return strict_weak_order_lens( lhs ) > strict_weak_order_lens( rhs ); return strict_weak_order_lens( lhs ) > strict_weak_order_lens( rhs );
@ -273,7 +273,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >, typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator <= ( const T &lhs, const T &rhs ) operator <= ( const T &lhs, const T &rhs )
{ {
return strict_weak_order_lens( lhs ) <= strict_weak_order_lens( rhs ); return strict_weak_order_lens( lhs ) <= strict_weak_order_lens( rhs );
@ -286,7 +286,7 @@ namespace Alepha::Hydrogen
typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >, typename= std::enable_if_t< supports_strict_weak_order_lens_v< T > >,
overload< __LINE__ > = nullptr overload< __LINE__ > = nullptr
> >
bool constexpr bool
operator >= ( const T &lhs, const T &rhs ) operator >= ( const T &lhs, const T &rhs )
{ {
return strict_weak_order_lens( lhs ) >= strict_weak_order_lens( rhs ); return strict_weak_order_lens( lhs ) >= strict_weak_order_lens( rhs );
@ -301,7 +301,7 @@ namespace Alepha::Hydrogen
namespace exports namespace exports
{ {
template< typename ... Args > template< typename ... Args >
auto constexpr auto
ordering_magma( Args && ... args ) ordering_magma( Args && ... args )
{ {
return magma_hook< Args... >{ std::tie( std::forward< Args >( args )... ) }; return magma_hook< Args... >{ std::tie( std::forward< Args >( args )... ) };
@ -311,7 +311,7 @@ namespace Alepha::Hydrogen
// TODO: Sort out the linear-trichotomous problem. // TODO: Sort out the linear-trichotomous problem.
template< typename comp, std::size_t index= 0, typename ... Args > template< typename comp, std::size_t index= 0, typename ... Args >
bool constexpr bool
compOp( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs ) compOp( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs )
{ {
if constexpr( index == sizeof...( Args ) ) return false; if constexpr( index == sizeof...( Args ) ) return false;
@ -326,14 +326,14 @@ namespace Alepha::Hydrogen
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator < ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator < ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return compOp< std::less<> >( lhs.view, rhs.view ); return compOp< std::less<> >( lhs.view, rhs.view );
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator > ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator > ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return compOp< std::greater<> >( lhs.view, rhs.view ); return compOp< std::greater<> >( lhs.view, rhs.view );
@ -341,7 +341,7 @@ namespace Alepha::Hydrogen
template< typename comp, std::size_t index= 0, typename ... Args > template< typename comp, std::size_t index= 0, typename ... Args >
bool constexpr bool
comp_eqOp( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs ) comp_eqOp( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs )
{ {
if constexpr( index == sizeof...( Args ) ) return true; if constexpr( index == sizeof...( Args ) ) return true;
@ -356,21 +356,21 @@ namespace Alepha::Hydrogen
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator <= ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator <= ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return comp_eqOp< std::less_equal<> >( lhs.view, rhs.view ); return comp_eqOp< std::less_equal<> >( lhs.view, rhs.view );
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator >= ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator >= ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return comp_eqOp< std::greater_equal<> >( lhs.view, rhs.view ); return comp_eqOp< std::greater_equal<> >( lhs.view, rhs.view );
} }
template< std::size_t index= 0, typename ... Args > template< std::size_t index= 0, typename ... Args >
bool constexpr bool
eq( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs ) eq( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs )
{ {
if constexpr( index == sizeof...( Args ) ) return true; if constexpr( index == sizeof...( Args ) ) return true;
@ -383,14 +383,14 @@ namespace Alepha::Hydrogen
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator == ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator == ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return eq( lhs.view, rhs.view ); return eq( lhs.view, rhs.view );
} }
template< std::size_t index= 0, typename ... Args > template< std::size_t index= 0, typename ... Args >
bool constexpr bool
ne( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs ) ne( const std::tuple< Args... > &lhs, const std::tuple< Args... > &rhs )
{ {
if constexpr( index == sizeof...( Args ) ) return false; if constexpr( index == sizeof...( Args ) ) return false;
@ -403,7 +403,7 @@ namespace Alepha::Hydrogen
} }
template< typename ... Args > template< typename ... Args >
bool constexpr bool
operator != ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs ) operator != ( const magma_hook< Args... > &lhs, const magma_hook< Args... > &rhs )
{ {
return ne( lhs, rhs ); return ne( lhs, rhs );