Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
arene::base::static_if< true > Struct Reference

The definition when static_if gets a "true" condition. More...

Public Types

template<template< class... > class OnTrue, class, class... P>
using then_apply_else = OnTrue<P...>
 If condition were true, apply an alias, otherwise result in OnFalse.
 
template<template< class... > class OnTrue, template< class... > class, class... P>
using then_apply_else_apply = OnTrue<P...>
 An alias that, itself, takes an "OnTrue" alias, an "OnFalse" alias, and a pack of type parameters "...P".
 
template<class OnTrue, class>
using then_else = OnTrue
 If condition were true, result in OnTrue, otherwise result in OnFalse.
 
template<class OnTrue, template< class... > class, class...>
using then_else_apply = OnTrue
 If condition were true, result in OnTrue, otherwise apply an alias.
 

Detailed Description

The definition when static_if gets a "true" condition.

Member Typedef Documentation

◆ then_apply_else

template<template< class... > class OnTrue, class, class... P>
using arene::base::static_if< true >::then_apply_else = OnTrue<P...>

If condition were true, apply an alias, otherwise result in OnFalse.

◆ then_apply_else_apply

template<template< class... > class OnTrue, template< class... > class, class... P>
using arene::base::static_if< true >::then_apply_else_apply = OnTrue<P...>

An alias that, itself, takes an "OnTrue" alias, an "OnFalse" alias, and a pack of type parameters "...P".

If condition were true (it is) results in OnTrue<P..> otherwise results in OnFalse<P...>

◆ then_else

template<class OnTrue, class>
using arene::base::static_if< true >::then_else = OnTrue

If condition were true, result in OnTrue, otherwise result in OnFalse.

◆ then_else_apply

template<class OnTrue, template< class... > class, class...>
using arene::base::static_if< true >::then_else_apply = OnTrue

If condition were true, result in OnTrue, otherwise apply an alias.


The documentation for this struct was generated from the following file: