diff options
Diffstat (limited to 'source/lib/std_ext')
| -rw-r--r-- | source/lib/std_ext/CMakeLists.txt | 31 | ||||
| -rw-r--r-- | source/lib/std_ext/include/wanda/std_ext/expected.hpp | 256 | ||||
| -rw-r--r-- | source/lib/std_ext/include/wanda/std_ext/optional.hpp | 65 |
3 files changed, 0 insertions, 352 deletions
diff --git a/source/lib/std_ext/CMakeLists.txt b/source/lib/std_ext/CMakeLists.txt deleted file mode 100644 index d21d45c..0000000 --- a/source/lib/std_ext/CMakeLists.txt +++ /dev/null @@ -1,31 +0,0 @@ -cmake_path(GET CMAKE_CURRENT_SOURCE_DIR STEM LIB_NAME) - -file(GLOB_RECURSE LIB_HEADERS RELATIVE "${CMAKE_CURRENT_SOURCE_DIR}" CONFIGURE_DEPENDS "**/*.hpp") - -add_library("wanda-${LIB_NAME}" INTERFACE) - -target_sources("wanda-${LIB_NAME}" INTERFACE - FILE_SET HEADERS - FILES ${LIB_HEADERS} - BASE_DIRS "include" -) - -target_include_directories("wanda-${LIB_NAME}" INTERFACE - "$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>" -) - -target_include_directories("wanda-${LIB_NAME}" SYSTEM INTERFACE - "$<INSTALL_INTERFACE:include>" -) - -target_compile_features("wanda-${LIB_NAME}" INTERFACE - "cxx_std_20" -) - -if(NOT WANDA_APPLICATIONS_ONLY) - install(TARGETS "wanda-${LIB_NAME}" - FILE_SET HEADERS - ) -endif() - -add_library("wanda::${LIB_NAME}" ALIAS "wanda-${LIB_NAME}") diff --git a/source/lib/std_ext/include/wanda/std_ext/expected.hpp b/source/lib/std_ext/include/wanda/std_ext/expected.hpp deleted file mode 100644 index 83629db..0000000 --- a/source/lib/std_ext/include/wanda/std_ext/expected.hpp +++ /dev/null @@ -1,256 +0,0 @@ -/** - * @file expected.hpp - * @author Felix Morgner (felix.morgner@gmail.com) - * @since 1.0.0 - */ - -#ifndef WANDA_STD_EXT_EXPECTED_HPP -#define WANDA_STD_EXT_EXPECTED_HPP - -#include <initializer_list> -#include <type_traits> -#include <utility> - -namespace wanda::std_ext -{ - /** - * @brief A type to represent the error case of a computation based on #wanda::expected - */ - template<typename ErrorType> - struct unexpected - { - static_assert(!std::is_same_v<ErrorType, void>, "ErrorType can not be 'void'!"); - static_assert(!std::is_array_v<ErrorType>, "ErrorType can not be an array type!"); - - /** - * @brief Copy construct a new @p unexpected from another @p unexpected - */ - constexpr unexpected(unexpected const &) = default; - - /** - * @brief Move construct a new @p unexpected from another @p unexpected - */ - constexpr unexpected(unexpected &&) = default; - - /** - * @brief Construct a new @p unexpected by direct initializing the error object from @p args - */ - template<typename... Args> - constexpr explicit unexpected(std::in_place_t, Args &&... args) - : m_error(std::forward<Args>(args)...) - { - } - - /** - * @brief Construct a new @p unexpected by direct initializing the error object from @p il and @p args - */ - template< - typename U, - typename... Args, - std::enable_if_t<std::is_constructible_v<ErrorType, std::initializer_list<U>, Args...>> * = nullptr> - constexpr explicit unexpected(std::in_place_t, std::initializer_list<U> il, Args &&... args) - : m_error(il, std::forward<Args>(args)...) - { - } - - /** - * @brief Construct a new @p unexpected by direct initializing the error object from @p error - */ - template< - typename Err = ErrorType, - std::enable_if_t<std::is_constructible_v<ErrorType, Err> && - !std::is_same_v<std::remove_cv_t<std::remove_reference_t<Err>>, std::in_place_t> && - !std::is_same_v<std::remove_cv_t<std::remove_reference_t<Err>>, unexpected>> * = nullptr> - constexpr explicit unexpected(Err && error) - : m_error(std::forward<Err>(error)) - { - } - - /** - * @brief Construct a new @p unexpected by copying the value of another @p unexpected of different error type - */ - template< - typename Err, - std::enable_if_t<!( - std::is_constructible_v<ErrorType, Err> && - !std::is_constructible_v<ErrorType, unexpected<Err> &> && - !std::is_constructible_v<ErrorType, unexpected<Err>> && - !std::is_constructible_v<ErrorType, unexpected<Err> const &> && - !std::is_constructible_v<ErrorType, unexpected<Err> const> && - !std::is_convertible_v<unexpected<Err> &, ErrorType> && - !std::is_convertible_v<unexpected<Err>, ErrorType> && - !std::is_convertible_v<unexpected<Err> const &, ErrorType> && - !std::is_convertible_v<unexpected<Err> const, ErrorType>)> * = nullptr, - std::enable_if_t<!std::is_convertible_v<Err, ErrorType>> * = nullptr> - constexpr explicit unexpected(unexpected<Err> const & error) - : m_error(error.m_error) - { - } - - /** - * @brief Construct a new @p unexpected by copying the value of another @p unexpected of different error type - */ - template< - typename Err, - std::enable_if_t<!( - std::is_constructible_v<ErrorType, Err> && - !std::is_constructible_v<ErrorType, unexpected<Err> &> && - !std::is_constructible_v<ErrorType, unexpected<Err>> && - !std::is_constructible_v<ErrorType, unexpected<Err> const &> && - !std::is_constructible_v<ErrorType, unexpected<Err> const> && - !std::is_convertible_v<unexpected<Err> &, ErrorType> && - !std::is_convertible_v<unexpected<Err>, ErrorType> && - !std::is_convertible_v<unexpected<Err> const &, ErrorType> && - !std::is_convertible_v<unexpected<Err> const, ErrorType>)> * = nullptr, - std::enable_if_t<std::is_convertible_v<Err, ErrorType>> * = nullptr> - constexpr unexpected(unexpected<Err> const & error) - : m_error(error.m_error) - { - } - - /** - * @brief Construct a new @p unexpected by moving the value of another @p unexpected of different error type - */ - template< - typename Err, - std::enable_if_t<!( - std::is_constructible_v<ErrorType, Err> && - !std::is_constructible_v<ErrorType, unexpected<Err> &> && - !std::is_constructible_v<ErrorType, unexpected<Err>> && - !std::is_constructible_v<ErrorType, unexpected<Err> const &> && - !std::is_constructible_v<ErrorType, unexpected<Err> const> && - !std::is_convertible_v<unexpected<Err> &, ErrorType> && - !std::is_convertible_v<unexpected<Err>, ErrorType> && - !std::is_convertible_v<unexpected<Err> const &, ErrorType> && - !std::is_convertible_v<unexpected<Err> const, ErrorType>)> * = nullptr, - std::enable_if_t<!std::is_convertible_v<Err, ErrorType>> * = nullptr> - constexpr explicit unexpected(unexpected<Err> && error) - : m_error(std::move(error.m_error)) - { - } - - /** - * @brief Construct a new @p unexpected by moving the value of another @p unexpected of different error type - */ - template< - typename Err, - std::enable_if_t<!( - std::is_constructible_v<ErrorType, Err> && - !std::is_constructible_v<ErrorType, unexpected<Err> &> && - !std::is_constructible_v<ErrorType, unexpected<Err>> && - !std::is_constructible_v<ErrorType, unexpected<Err> const &> && - !std::is_constructible_v<ErrorType, unexpected<Err> const> && - !std::is_convertible_v<unexpected<Err> &, ErrorType> && - !std::is_convertible_v<unexpected<Err>, ErrorType> && - !std::is_convertible_v<unexpected<Err> const &, ErrorType> && - !std::is_convertible_v<unexpected<Err> const, ErrorType>)> * = nullptr, - std::enable_if_t<std::is_convertible_v<Err, ErrorType>> * = nullptr> - constexpr unexpected(unexpected<Err> && error) - : m_error(std::move(error.m_error)) - { - } - - /** - * @brief Get the error value contained in this @p unexpected instance - */ - constexpr ErrorType const & value() const & - { - return m_error; - } - - /** - * @brief Get the error value contained in this @p unexpected instance - */ - constexpr ErrorType & value() & - { - return m_error; - } - - /** - * @brief Get the error value contained in this @p unexpected instance - */ - constexpr ErrorType && value() && - { - return std::move(m_error); - } - - /** - * @brief Get the error value contained in this @p unexpected instance - */ - constexpr ErrorType const && value() const && - { - return std::move(m_error); - } - - /** - * @brief Swap the error value of this @p unexpected instance with the one of @p other - */ - void swap(unexpected & other) noexcept(std::is_nothrow_swappable_v<ErrorType>) - { - using std::swap; - swap(m_error, other.m_error); - } - - template<typename ErrorType1, typename ErrorType2> - friend constexpr bool operator==(unexpected<ErrorType1> const & lhs, unexpected<ErrorType2> const & rhs); - - template<typename ErrorType1, typename ErrorType2> - friend constexpr bool operator!=(unexpected<ErrorType1> const & lhs, unexpected<ErrorType2> const & rhs); - - template< - typename Err, - std::enable_if_t<std::is_swappable_v<Err>> *> - friend void swap(unexpected<Err> & lhs, unexpected<Err> & rhs); - - private: - ErrorType m_error; - }; - - template<typename ErrorType> - unexpected(ErrorType) -> unexpected<ErrorType>; - - /** - * @brief Compare two @p unexpected instances for equality - */ - template<typename ErrorType1, typename ErrorType2> - constexpr bool operator==(unexpected<ErrorType1> const & lhs, unexpected<ErrorType2> const & rhs) - { - return lhs.m_error == rhs.m_error; - } - - /** - * @brief Compare two @p unexpected instances for inequality - */ - template<typename ErrorType1, typename ErrorType2> - constexpr bool operator!=(unexpected<ErrorType1> const & lhs, unexpected<ErrorType2> const & rhs) - { - return lhs.m_error != rhs.m_error; - } - - /** - * @brief Swap the error values of two @p unexpected instances - */ - template< - typename Err, - std::enable_if_t<std::is_swappable_v<Err>> * = nullptr> - void swap(unexpected<Err> & lhs, unexpected<Err> & rhs) - { - lhs.swap(rhs); - } - - /** - * @brief A tag type for @p unexpected - */ - struct unexpect_t - { - explicit unexpect_t() = default; - }; - - /** - * @brief A tap for @p unexpected - */ - inline constexpr unexpect_t unexpect{}; - -} // namespace wanda::std_ext - -#endif
\ No newline at end of file diff --git a/source/lib/std_ext/include/wanda/std_ext/optional.hpp b/source/lib/std_ext/include/wanda/std_ext/optional.hpp deleted file mode 100644 index 763e8ac..0000000 --- a/source/lib/std_ext/include/wanda/std_ext/optional.hpp +++ /dev/null @@ -1,65 +0,0 @@ -/** - * @file optional.hpp - * @author Felix Morgner (felix.morgner@gmail.com) - * @since 1.0.0 - */ - -#ifndef WANDA_STD_EXT_OPTIONAL_HPP -#define WANDA_STD_EXT_OPTIONAL_HPP - -#include <optional> - -namespace wanda::std_ext -{ - /** - * @brief A type to represent a computation that could fail - */ - struct failable - { - /** - * @brief A factory to create a successful computation - */ - constexpr static auto success() { return failable{false}; } - - /** - * @brief A factory to create a failed computation - */ - constexpr static auto failure() { return failable{true}; } - - /** - * @brief Execute the given handler if the computation failed - */ - template<typename Handler> - constexpr void operator||(Handler handler) const - { - if (m_failed) - { - handler(); - } - } - - private: - constexpr explicit failable(bool failed) - : m_failed{failed} {}; - bool const m_failed; - }; - - /** - * @brief Unwrap the given optional object, if present, and pass it to the handler - * - * @return A successful computation iff. the object was present, a failed computation otherwise. - */ - template<typename ObjectType, typename HandlerType> - auto with(std::optional<ObjectType> && object, HandlerType handler) - { - if (object) - { - handler(object.value()); - return failable::success(); - } - return failable::failure(); - } - -} // namespace wanda::std_ext - -#endif
\ No newline at end of file |