lazy.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 <tuple>
#include <type_traits>
 
#include <seqan3/core/type_traits/function.hpp>
#include <seqan3/std/type_traits>
 
namespace seqan3::detail
{
 
// ----------------------------------------------------------------------------
// lazy
// ----------------------------------------------------------------------------
 
template <template <typename ...> typename template_t, typename ...spec_t>
struct lazy
{};
 
// ----------------------------------------------------------------------------
// instantiate
// ----------------------------------------------------------------------------
 
template <typename t>
struct instantiate : std::type_identity<t>
{};
 
template <template <typename ...> typename template_t, typename ...spec_t>
struct instantiate<lazy<template_t, spec_t...>>
{
    using type = template_t<spec_t...>;
};
 
template <typename t>
    requires requires { typename instantiate<t>::type; }
using instantiate_t = typename instantiate<t>::type;
 
// ----------------------------------------------------------------------------
// instantiate_if
// ----------------------------------------------------------------------------
 
template <typename t, bool condition>
struct instantiate_if : std::false_type
{};
 
template <typename t>
struct instantiate_if<t, true> : std::type_identity<t>
{};
 
template <template <typename ...> typename template_t, typename ...spec_t>
struct instantiate_if<lazy<template_t, spec_t...>, true>
{
    using type = template_t<spec_t...>;
};
 
template <typename t, bool condition>
    requires requires { typename instantiate_if<t, condition>::type; }
using instantiate_if_t = typename instantiate_if<t, condition>::type;
 
template <typename t, bool condition>
    requires requires { instantiate_if_t<t, condition>::value; }
inline constexpr auto instantiate_if_v = instantiate_if_t<t, condition>::value;
 
// ----------------------------------------------------------------------------
// lazy_conditional
// ----------------------------------------------------------------------------
 
template <bool decision, typename on_true_t, typename on_false_t>
struct lazy_conditional : instantiate<std::conditional_t<decision, on_true_t, on_false_t>>
{};
 
template <bool decision, typename on_true_t, typename on_false_t>
    requires requires { typename instantiate_t<std::conditional_t<decision, on_true_t, on_false_t>>; }
using lazy_conditional_t = instantiate_t<std::conditional_t<decision, on_true_t, on_false_t>>;
 
template <template <typename ...> typename query_t, typename ...args_t>
struct is_class_template_declarable_with :
    public std::false_type
{};
 
template <template <typename ...> typename query_t, typename ...args_t>
    requires requires { typename std::type_identity<query_t<args_t...>>::type; }
struct is_class_template_declarable_with<query_t, args_t...> : public std::true_type
{};
 
template <template <typename ...> typename query_t, typename ...args_t>
inline constexpr bool is_class_template_declarable_with_v = is_class_template_declarable_with<query_t, args_t...>::value;
} // namespace seqan3::detail