BinaryConcepts.h File Reference

#include <concepts>
#include <type_traits>
#include <span>
#include "BinaryFwd.h"

Classes
struct	is_greedy_tag< T >
struct	detail::is_span< T >
struct	detail::is_span< std::span< T, N > >

Namespaces
namespace	detail

Concepts
concept	ResizableContiguousContainer
concept	StdSpan

Variables
template<template< class > class Condition, typename... Args>
constexpr bool	starts_with_v = false
template<template< class > class Condition, class First , class... Rest>
constexpr bool	starts_with_v< Condition, First, Rest... > = Condition<std::remove_cvref_t<First>>::value

Variable Documentation

starts_with_v

template<template< class > class Condition, typename... Args>

constexpr bool starts_with_v = false

constexpr

Checks if the first type in a parameter pack satisfies a given type trait.

Returns false for an empty pack, otherwise returns Condition<First>::value where First is the first type in the pack (with cv-ref qualifiers removed).

Template Parameters

Condition	Type trait to check, e.g. is_greedy_tag.
Args	Parameter pack to check.

starts_with_v< Condition, First, Rest... >

template<template< class > class Condition, class First , class... Rest>

constexpr bool starts_with_v< Condition, First, Rest... > = Condition<std::remove_cvref_t<First>>::value

constexpr