diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-22 12:21:08 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-22 12:28:18 +0100 |
| commit | c965bc54982d6b90ae91edd3bb1103a8d356e59a (patch) | |
| tree | 129d5970bfde8f80a900b54b88ac9643e5b1c836 /src/kernel/NeKit/Domain.h | |
| parent | 36dee4f0d8ea806b2f061ed66a89e812ab007ed2 (diff) | |
feat: kernel: New Vettable API, remove IsAcceptable concept.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'src/kernel/NeKit/Domain.h')
| -rw-r--r-- | src/kernel/NeKit/Domain.h | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/kernel/NeKit/Domain.h b/src/kernel/NeKit/Domain.h index cda63ee9..376fd9d5 100644 --- a/src/kernel/NeKit/Domain.h +++ b/src/kernel/NeKit/Domain.h @@ -14,6 +14,9 @@ template <class Type> struct IsDefined final { using ResultType = Type; using ResultTypeRef = Type&; + using TypeRef = ResultTypeRef; + using ConstType = const Type&; + using TypePtr = Type*; static constexpr bool kValue = true; }; @@ -27,11 +30,6 @@ using NullDomain = IsDefined<nullPtr>; template <class Type> using Domain = IsDefined<Type>; - -template <class Type> -concept IsAcceptable = requires() { - { IsDefined<Type>::kValue }; -}; } // namespace Kernel #endif // !__NE_KIT_DOMAIN_H__
\ No newline at end of file |
