sparrow::mpl::type_wrapper Concept Reference

Concept for template types that can wrap a single type. More...

#include <mp_utils.hpp>

Concept definition

template<template< class... > class W, class T>
concept sparrow::mpl::type_wrapper =  std::same_as<W<T>, typelist<T>> or std::same_as<W<T>, std::type_identity_t<T>>

Detailed Description

Concept for template types that can wrap a single type.

This concept ensures that a template can be used as a type wrapper for evaluation in type predicates, supporting either typelist or std::type_identity patterns.

Template Parameters

W	Template wrapper to check
T	Type to be wrapped

Postcondition

True if W<T> is either typelist<T> or std::type_identity_t<T>

Definition at line 286 of file mp_utils.hpp.