complex_types.h

Go to the documentation of this file.

 
 
#ifndef THEORETICA_COMPLEX_TYPES_H
#define THEORETICA_COMPLEX_TYPES_H
 
#include <type_traits>
#include "../core/core_traits.h"
#include "../core/constants.h"
#include "./complex.h"
 
 
namespace theoretica {
 
 
    template<typename Type = real>
    using bicomplex = complex<complex<Type>>;
 
 
    // Type trait to check whether the given type is a specialization
    // of the complex number class or not, using the
    // static boolean element is_complex_type<T>::value
    template<typename T>
    struct is_complex_type : std::false_type {};
 
    // Type trait to check whether the given type is a specialization
    // of the complex number class or not, using the
    // static boolean element is_complex_type<T>::value
    template<typename T>
    struct is_complex_type<complex<T>> : std::true_type {};
 
 
    // Type trait to check whether a container has complex elements.
    template<typename Structure>
    using has_complex_elements = is_complex_type<vector_element_t<Structure>>;
 
 
    // Enable a function overload if the template typename
    // is considerable a complex number. The std::enable_if structure
    // is used, with type T which defaults to bool.
    template<typename Structure, typename T = bool>
    using enable_complex = std::enable_if_t<is_complex_type<Structure>::value, T>;
 
}
 
 
#endif