27namespace seqan3::detail
31template <
typename view_t>
40template <std::ranges::view urng_t>
41class single_pass_input_view :
public std::ranges::view_interface<single_pass_input_view<urng_t>>
47 using urng_iterator_type = std::ranges::iterator_t<urng_t>;
50 template <
typename view_t>
51 friend class basic_iterator;
69 using iterator = basic_iterator<single_pass_input_view>;
71 using sentinel = std::ranges::sentinel_t<urng_t>;
80 constexpr single_pass_input_view() =
default;
82 constexpr single_pass_input_view(single_pass_input_view
const &) =
default;
84 constexpr single_pass_input_view(single_pass_input_view &&) =
default;
86 constexpr single_pass_input_view & operator=(single_pass_input_view
const &) =
default;
88 constexpr single_pass_input_view & operator=(single_pass_input_view &&) =
default;
90 ~single_pass_input_view() =
default;
93 explicit single_pass_input_view(urng_t _urng) :
94 state_ptr{new state{
std::move(_urng)}}
98 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> &&
102 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) :
105 single_pass_input_view{std::views::all(_urng)}
125 iterator
begin()
const =
delete;
130 return {std::ranges::end(state_ptr->urng)};
134 sentinel
end()
const =
delete;
144template <std::ranges::viewable_range urng_t>
145single_pass_input_view(urng_t &&) ->
146 single_pass_input_view<std::views::all_t<urng_t>>;
154namespace seqan3::detail
163template <
typename view_type>
164class basic_iterator<single_pass_input_view<view_type>>
167 using base_iterator_type =
typename single_pass_input_view<view_type>::urng_iterator_type;
169 using sentinel_type =
typename single_pass_input_view<view_type>::sentinel;
172 single_pass_input_view<view_type> * view_ptr{};
175 template <
typename input_view_type>
176 friend class basic_iterator;
179 static_assert(std::sentinel_for<sentinel_type, base_iterator_type>);
191 using pointer = detail::iter_pointer_t<base_iterator_type>;
202 basic_iterator() =
default;
204 constexpr basic_iterator(basic_iterator
const & rhs) =
default;
206 constexpr basic_iterator(basic_iterator && rhs) =
default;
208 constexpr basic_iterator & operator=(basic_iterator
const & rhs) =
default;
210 constexpr basic_iterator & operator=(basic_iterator && rhs) =
default;
212 ~basic_iterator() =
default;
215 basic_iterator(single_pass_input_view<view_type> & view) noexcept : view_ptr{&view}
223 reference operator*() const noexcept
229 pointer operator->() const noexcept
231 requires (!
std::is_void_v<pointer>)
242 basic_iterator & operator++() noexcept
249 auto operator++(
int)
noexcept
251 if constexpr (std::output_iterator<base_iterator_type, reference> &&
252 std::copy_constructible<base_iterator_type>)
254 basic_iterator tmp{*
this};
269 constexpr bool operator==(sentinel_type
const & s)
const noexcept
271 return cached() == s;
275 friend constexpr bool
276 operator==(sentinel_type
const & s, basic_iterator
const & rhs)
noexcept
282 constexpr bool operator!=(sentinel_type
const & rhs)
const noexcept
284 return !(*
this == rhs);
288 friend constexpr bool
289 operator!=(sentinel_type
const & s, basic_iterator
const & rhs)
noexcept
298 base_iterator_type & cached() const noexcept
300 assert(view_ptr !=
nullptr);
301 assert(view_ptr->state_ptr !=
nullptr);
302 return view_ptr->state_ptr->cached_urng_iter;
361inline constexpr auto single_pass_input = detail::adaptor_for_view_without_args<detail::single_pass_input_view>{};
Provides seqan3::detail::adaptor_for_view_without_args.
The <concepts> header from C++20's standard library.
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:361
Provides various transformation traits for use on iterators.
The <iterator> header from C++20's standard library.
The SeqAn namespace for views.
Definition: char_to.hpp:22
SeqAn specific customisations in the standard namespace.
The <ranges> header from C++20's standard library.
The <type_traits> header from C++20's standard library.