typelist.hpp

Go to the documentation of this file.

//This file is part of Bertini 2.
//
//typelist.hpp is free software: you can redistribute it and/or modify
//it under the terms of the GNU General Public License as published by
//the Free Software Foundation, either version 3 of the License, or
//(at your option) any later version.
//
//typelist.hpp is distributed in the hope that it will be useful,
//but WITHOUT ANY WARRANTY; without even the implied warranty of
//MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
//GNU General Public License for more details.
//
//You should have received a copy of the GNU General Public License
//along with typelist.hpp.  If not, see <http://www.gnu.org/licenses/>.
//
// Copyright(C) Bertini2 Development Team
//
// See <http://www.gnu.org/licenses/> for a copy of the license,
// as well as COPYING.  Bertini2 is provided with permitted
// additional terms in the b2/licenses/ directory.

#pragma once
 
#include "bertini2/detail/enable_permuted_arguments.hpp"
#include "bertini2/eigen_extensions.hpp"
 
namespace bertini {
 
namespace detail {

template <typename... Ts>
struct TypeList {
    using ToTuple = std::tuple<Ts...>;  
    using ToTupleOfVec = std::tuple<Vec<Ts>...>;  
    using ToTupleOfReal = std::tuple<typename Eigen::NumTraits<Ts>::Real...>;  

    template <template<typename> class ContT>
    using ToTupleOfCont = std::tuple<ContT<Ts>...>;
 

    template<typename ...Rs>
    static
    std::tuple<Ts...> Unpermute(const Rs& ...rs)
    {
        return bertini::Unpermute<Ts...>(rs...);
    }
};
 

template <typename ...Ts>
struct ListCat {};
 

template <typename ...Ts, typename ... Rs>
struct ListCat <TypeList<Ts...>, TypeList<Rs...>>
{
    using type = TypeList<Ts..., Rs...>;  
};

template <typename ...Ps, typename ... Qs, typename ... Rs>
struct ListCat <TypeList<Ps...>, TypeList<Qs...>, TypeList<Rs...>>
{
    using type = TypeList<Ps..., Qs..., Rs...>;  
};
 
}} // close namespaces