29namespace seqan3::detail
33template <
typename view_t>
42template <std::ranges::view urng_t>
43class single_pass_input_view :
public std::ranges::view_interface<single_pass_input_view<urng_t>>
49 using urng_iterator_type = std::ranges::iterator_t<urng_t>;
52 template <
typename view_t>
53 friend class basic_iterator;
71 using iterator = basic_iterator<single_pass_input_view>;
73 using sentinel = std::ranges::sentinel_t<urng_t>;
82 constexpr single_pass_input_view() =
default;
84 constexpr single_pass_input_view(single_pass_input_view
const &) =
default;
86 constexpr single_pass_input_view(single_pass_input_view &&) =
default;
88 constexpr single_pass_input_view & operator=(single_pass_input_view
const &) =
default;
90 constexpr single_pass_input_view & operator=(single_pass_input_view &&) =
default;
92 ~single_pass_input_view() =
default;
95 explicit single_pass_input_view(urng_t _urng) : state_ptr{new state{
std::
move(_urng)}}
99 template <
typename other_urng_t>
100 requires (!std::same_as<std::remove_cvref_t<other_urng_t>, single_pass_input_view>
101 && std::ranges::viewable_range<other_urng_t>
103 std::constructible_from<urng_t, std::ranges::ref_view<std::remove_reference_t<other_urng_t>>>)
104 explicit single_pass_input_view(other_urng_t && _urng) : single_pass_input_view{std::views::all(_urng)}
124 iterator
begin()
const =
delete;
129 return {std::ranges::end(state_ptr->urng)};
133 sentinel
end()
const =
delete;
143template <std::ranges::viewable_range urng_t>
144single_pass_input_view(urng_t &&) -> single_pass_input_view<std::views::all_t<urng_t>>;
152namespace seqan3::detail
161template <
typename view_type>
162class basic_iterator<single_pass_input_view<view_type>>
165 using base_iterator_type =
typename single_pass_input_view<view_type>::urng_iterator_type;
167 using sentinel_type =
typename single_pass_input_view<view_type>::sentinel;
170 single_pass_input_view<view_type> * view_ptr{};
173 template <
typename input_view_type>
174 friend class basic_iterator;
177 static_assert(std::sentinel_for<sentinel_type, base_iterator_type>);
188 using pointer = detail::iter_pointer_t<base_iterator_type>;
199 basic_iterator() =
default;
201 constexpr basic_iterator(basic_iterator
const & rhs) =
default;
203 constexpr basic_iterator(basic_iterator && rhs) =
default;
205 constexpr basic_iterator & operator=(basic_iterator
const & rhs) =
default;
207 constexpr basic_iterator & operator=(basic_iterator && rhs) =
default;
209 ~basic_iterator() =
default;
212 basic_iterator(single_pass_input_view<view_type> & view) noexcept : view_ptr{&view}
220 reference operator*() const noexcept
226 pointer operator->() const noexcept
227 requires (!
std::is_void_v<pointer>)
237 basic_iterator & operator++() noexcept
244 void operator++(
int)
noexcept
258 constexpr bool operator==(sentinel_type
const & s)
const noexcept
260 return cached() == s;
264 friend constexpr bool operator==(sentinel_type
const & s, basic_iterator
const & rhs)
noexcept
270 constexpr bool operator!=(sentinel_type
const & rhs)
const noexcept
272 return !(*
this == rhs);
276 friend constexpr bool operator!=(sentinel_type
const & s, basic_iterator
const & rhs)
noexcept
285 base_iterator_type & cached() const noexcept
287 assert(view_ptr !=
nullptr);
288 assert(view_ptr->state_ptr !=
nullptr);
289 return view_ptr->state_ptr->cached_urng_iter;
348inline constexpr auto single_pass_input = detail::adaptor_for_view_without_args<detail::single_pass_input_view>{};
Provides seqan3::detail::adaptor_for_view_without_args.
constexpr auto single_pass_input
A view adapter that decays most of the range properties and adds single pass behavior.
Definition: single_pass_input.hpp:348
Provides various transformation traits for use on iterators.
The SeqAn namespace for views.
Definition: char_strictly_to.hpp:22
SeqAn specific customisations in the standard namespace.