type_list.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2020, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2020, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <meta/meta.hpp>
 
#include <seqan3/core/type_traits/template_inspection.hpp>
 
namespace seqan3
{
 
// ----------------------------------------------------------------------------
// type_list class
// ----------------------------------------------------------------------------
 
template <typename ...types>
using type_list = meta::list<types...>;
 
} // namespace seqan3
 
namespace seqan3::detail
{
 
// ----------------------------------------------------------------------------
// type_list_specialisation concept
// ----------------------------------------------------------------------------
 
template <typename t>
SEQAN3_CONCEPT type_list_specialisation = is_type_specialisation_of_v<t, type_list>;
 
} // namespace seqan3::detail