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

Conceptualize free spaceship_lens.

Browse Source
This commit is contained in:
ADAM David Alan Martin
2025-08-28 00:24:41 -04:00
parent bd1de0bba4
commit 9987e962a3
1 changed files with 9 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
comparisons.h
View File

@ -49,20 +49,20 @@ namespace Alepha::Hydrogen
return t.spaceship_lens(); return t.spaceship_lens();
} }
template< typename T, typename= void >
struct supports_spaceship_lens : std::false_type {};
template< typename T > template< typename T >
struct supports_spaceship_lens< T, std::void_t< decltype( spaceship_lens( std::declval< const T & >() ) ) > > : std::true_type {}; concept SpaceshipLensed=
LensComparable< T >
template< typename T > and
constexpr bool supports_spaceship_lens_v= supports_spaceship_lens< T >::value; requires( const T &lhs, const T &rhs )
{
{ spaceship_lens( lhs ) <=> rhs.spaceship_lens( rhs ) } -> SameAs< std::strong_ordering >;
};
template< typename T > template< typename T >
constexpr decltype( auto ) constexpr decltype( auto )
make_spaceship_lens( T &t ) make_spaceship_lens( T &t )
{ {
if constexpr( supports_spaceship_lens_v< T > ) return spaceship_lens( t ); if constexpr( SpaceshipLensed< T > ) return spaceship_lens( t );
//else if constexpr( supports_default_lens_v< T > ) return default_lens( t ); //else if constexpr( supports_default_lens_v< T > ) return default_lens( t );
else static_assert( Meta::dep_value< false, T > ); else static_assert( Meta::dep_value< false, T > );
} }
@ -84,14 +84,8 @@ namespace Alepha::Hydrogen
return t.value_lens(); return t.value_lens();
} }
template
<
LensComparable T,
typename= std::enable_if_t< supports_spaceship_lens_v< T > >,
overload< __LINE__ > = nullptr
>
constexpr decltype( auto ) constexpr decltype( auto )
value_lens( T &t ) value_lens( const SpaceshipLensed auto &t )
{ {
return spaceship_lens( t ); return spaceship_lens( t );
} }