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

This implementation of capabilities is a bit quirky... this helps check things.

Browse Source
This commit is contained in:
ADAM David Alan Martin
2023-10-22 04:42:50 -04:00
parent 2d75855414
commit b4438d46d6
1 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
Capabilities.h
View File

@ -94,7 +94,7 @@ namespace Alepha::Hydrogen
} }
template< typename Cap, template< typename ... > class Class, typename ... TParams > template< typename Cap, template< typename ... > class Class, typename ... TParams >
constexpr bool consteval bool
has_cap( const Meta::type_value< Class< TParams... > > &, Meta::type_value< Cap > cap ) has_cap( const Meta::type_value< Class< TParams... > > &, Meta::type_value< Cap > cap )
{ {
return has_cap( Meta::Container::vector< TParams... >{}, cap ); return has_cap( Meta::Container::vector< TParams... >{}, cap );
@ -112,7 +112,19 @@ namespace Alepha::Hydrogen
struct has_capability_s : std::bool_constant< has_capability_v< T, cap > > {}; struct has_capability_s : std::bool_constant< has_capability_v< T, cap > > {};
inline constexpr Meta::trait< has_capability_s > has_capability; inline constexpr Meta::trait< has_capability_s > has_capability;
template< typename T, typename capability >
concept Capability= has_capability_v< T, capability >;
} }
struct capability_demo {};
struct missing_capability_demo {};
template< typename= Capabilities< capability_demo > >
struct Capable_base {};
using Capable= Capable_base<>;
static_assert( Capability< Capable, capability_demo > == true );
static_assert( Capability< Capable, missing_capability_demo > == false );
template< Capability< missing_capability_demo > C > void f( C ) {}
} }
namespace exports::capabilities namespace exports::capabilities