mpc
Haskell-like feature supports in C++
stdfundamental.hpp File Reference
#include <cassert>
#include <compare>
#include <concepts>
#include <cstddef>
#include <cstdint>
#include <initializer_list>
#include <tuple>
#include <type_traits>

Go to the source code of this file.

Typedefs

template<class... >
using mpc::always_true_type = std::true_type
 always_true_type
 
template<std::size_t N>
using mpc::index_constant = std::integral_constant< std::size_t, N >
 index_constant
 
template<class... Bn>
using mpc::_and = std::conjunction< Bn... >
 _and
 
template<class... Bn>
using mpc::_or = std::disjunction< Bn... >
 _or
 
template<class B >
using mpc::_not = std::negation< B >
 _not
 

Variables

template<class... >
constexpr bool mpc::always_false = false
 always_false
 
template<class... Bn>
constexpr bool mpc::_and_v = _and<Bn...>::value
 _and_v
 
template<class... Bn>
constexpr bool mpc::_or_v = _or<Bn...>::value
 _or_v
 
template<class B >
constexpr bool mpc::_not_v = _not<B>::value
 _not_v