di 0.1.0
Loading...
Searching...
No Matches
extents.h
Go to the documentation of this file.
1#pragma once
2
3#include "di/meta/core.h"
4#include "di/types/prelude.h"
6
7namespace di::concepts {
8namespace detail {
9 template<typename T>
10 constexpr inline bool extents_helper = false;
11
12 template<typename T, usize... ins>
13 constexpr inline bool extents_helper<vocab::Extents<T, ins...>> = true;
14}
15
16template<typename T>
17concept Extents = detail::extents_helper<meta::RemoveCVRef<T>>;
18}
Definition extents.h:17
Definition any_storable.h:9
size_t usize
Definition integers.h:33
Extents(Integrals...) -> Extents< size_t,(Integrals {}, dynamic_extent)... >