All.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "Rename.hpp"
#include "TypeList.hpp"
 
#include <type_traits>
 
namespace CeresEngine::MPL {
 
    template<template<typename> class, typename...> struct AllHelper : std::true_type {};
 
    template<template<typename> class TTypePred, typename... Ts> inline constexpr bool All = AllHelper<TTypePred, Ts...>::value;
 
    template<template<typename> class TTypePred, typename T, typename... Ts>
    struct AllHelper<TTypePred, T, Ts...> : std::integral_constant<bool, TTypePred<T>::value && All<TTypePred, Ts...>> {};
 
    template<template<typename> class TMF> struct BoundAll { template<typename... Ts> using type = AllHelper<TMF, Ts...>; };
 
    template<template<typename> class TMF, typename TL> inline constexpr bool AllTypes = Rename<BoundAll<TMF>::template type, TL>::value;
 
} // namespace CeresEngine::MPL