One Hat Cyber Team
Your IP :
216.73.216.36
Server IP :
104.21.79.98
Server :
Linux vps-14493116.nutrivittasaude.com.br 5.14.0-611.49.1.el9_7.x86_64 #1 SMP PREEMPT_DYNAMIC Tue Apr 21 16:39:08 EDT 2026 x86_64
Server Software :
Apache
PHP Version :
8.3.31
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
include
/
boost
/
hana
/
fwd
/
Edit File:
empty.hpp
/*! @file Forward declares `boost::hana::empty`. @copyright Louis Dionne 2013-2017 Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) */ #ifndef BOOST_HANA_FWD_EMPTY_HPP #define BOOST_HANA_FWD_EMPTY_HPP #include <boost/hana/config.hpp> #include <boost/hana/core/when.hpp> BOOST_HANA_NAMESPACE_BEGIN //! Identity of the monadic combination `concat`. //! @ingroup group-MonadPlus //! //! Signature //! --------- //! Given a MonadPlus `M`, the signature is //! @f$ \mathtt{empty}_M : \emptyset \to M(T) @f$. //! //! @tparam M //! The tag of the monadic structure to return. This must be //! a model of the MonadPlus concept. //! //! //! Example //! ------- //! @include example/empty.cpp #ifdef BOOST_HANA_DOXYGEN_INVOKED template <typename M> constexpr auto empty = []() { return tag-dispatched; }; #else template <typename M, typename = void> struct empty_impl : empty_impl<M, when<true>> { }; template <typename M> struct empty_t { constexpr auto operator()() const; }; template <typename M> constexpr empty_t<M> empty{}; #endif BOOST_HANA_NAMESPACE_END #endif // !BOOST_HANA_FWD_EMPTY_HPP
Simpan