SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
serif::utils::misc::concepts Namespace Reference

Classes

struct  Concat
 
struct  Concat< types::TypeList< LhsTs... >, types::TypeList< RhsTs... >, Rest... >
 
struct  Concat< types::TypeList< Ts... > >
 
struct  Concat<>
 
struct  Filter
 
struct  Filter< types::TypeList< Head, Tail... >, Predicate >
 
struct  Filter< types::TypeList<>, Predicate >
 
struct  Prepend
 
struct  Prepend< T, types::TypeList< Ts... > >
 

Concepts

concept  IsException
 
concept  IsNumeric
 
concept  IsComparableToNumeric
 
concept  SetOfOneOrTwo
 
concept  AllTypesAreUnique
 

Typedefs

template<typename... Lists>
using ConcatT = Concat<Lists...>::Type
 
template<typename T, typename List>
using PrependT = Prepend<T, List>::Type
 
template<typename List, template< typename > typename Predicate>
using FilterT = Filter<List, Predicate>::Type
 

Typedef Documentation

◆ ConcatT

template<typename... Lists>
using serif::utils::misc::concepts::ConcatT = Concat<Lists...>::Type

◆ FilterT

template<typename List, template< typename > typename Predicate>
using serif::utils::misc::concepts::FilterT = Filter<List, Predicate>::Type

◆ PrependT

template<typename T, typename List>
using serif::utils::misc::concepts::PrependT = Prepend<T, List>::Type