SeqAn3
deep.hpp
Go to the documentation of this file.
1 // ============================================================================
2 // SeqAn - The Library for Sequence Analysis
3 // ============================================================================
4 //
5 // Copyright (c) 2006-2018, Knut Reinert & Freie Universitaet Berlin
6 // Copyright (c) 2016-2018, Knut Reinert & MPI Molekulare Genetik
7 // All rights reserved.
8 //
9 // Redistribution and use in source and binary forms, with or without
10 // modification, are permitted provided that the following conditions are met:
11 //
12 // * Redistributions of source code must retain the above copyright
13 // notice, this list of conditions and the following disclaimer.
14 // * Redistributions in binary form must reproduce the above copyright
15 // notice, this list of conditions and the following disclaimer in the
16 // documentation and/or other materials provided with the distribution.
17 // * Neither the name of Knut Reinert or the FU Berlin nor the names of
18 // its contributors may be used to endorse or promote products derived
19 // from this software without specific prior written permission.
20 //
21 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
22 // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 // ARE DISCLAIMED. IN NO EVENT SHALL KNUT REINERT OR THE FU BERLIN BE LIABLE
25 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
27 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
28 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 // OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
31 // DAMAGE.
32 //
33 // ============================================================================
34 
40 #pragma once
41 
44 
45 namespace seqan3::view
46 {
47 
128 template <typename underlying_adaptor_t>
129 class deep : public detail::pipable_adaptor_base<deep<underlying_adaptor_t>>
130 {
131 private:
133  underlying_adaptor_t inner_functor;
134 
135 public:
136 
140  constexpr deep() = default;
141  constexpr deep(deep const &) = default;
142  constexpr deep(deep &&) = default;
143  constexpr deep & operator=(deep const &) = default;
144  constexpr deep & operator=(deep &&) = default;
145  ~deep() = default;
146 
148  constexpr deep(underlying_adaptor_t && inner)
149  : inner_functor{std::forward<underlying_adaptor_t>(inner)}
150  {}
152 
154 
167  template <typename urng_t, typename ...arg_types>
168  constexpr auto impl(urng_t && urange, arg_types && ...args) const
169  {
171  {
172  return urange | view::transform(
173  [argos = std::tuple<arg_types...>(std::forward<arg_types>(args)...), this] (auto && subrange)
174  {
175  return impl_expand(std::forward<decltype(subrange)>(subrange),
176  argos,
177  std::make_index_sequence<std::tuple_size_v<decltype(argos)>>{});
178  });
179  }
180  else
181  {
182  return inner_functor(std::forward<urng_t>(urange), std::forward<arg_types>(args)...);
183  }
184  }
185 
187  template <typename urng_t, typename tuple_t, size_t ... indexes>
188  constexpr auto impl_expand(urng_t && urange, tuple_t && tuple, std::index_sequence<indexes...>) const
189  {
190  return impl(std::forward<urng_t>(urange), std::get<indexes>(std::forward<tuple_t>(tuple))...);
191  }
192 
193 };
194 
198 template <typename underlying_adaptor_t>
201 deep(underlying_adaptor_t && inner) -> deep<underlying_adaptor_t>;
202 
204 
205 } // namespace seqan3::view
constexpr auto transform
A range adaptor that takes a invocable and returns a view of the elements with the invocable applied...
Definition: transform.hpp:95
Specifies requirements of a Range type for which begin returns a type that models std::InputIterator...
Auxiliary header for the view submodule .
The SeqAn3 namespace for views.
std::ranges::iterator_range< it_t, sen_t > subrange
Create a view from a pair of iterator and sentinel.
Definition: subrange.hpp:96
Provides seqan3::view::transform.
typename reference< t >::type reference_t
Type metafunction shortcut for seqan3::reference.
Definition: pre.hpp:98
A wrapper type around an existing view adaptor that enables "deep view" behaviour for that view...
Definition: deep.hpp:129
constexpr deep(underlying_adaptor_t &&inner)
Constructor that takes the underlying adaptor as parameter.
Definition: deep.hpp:148