drop_while.hpp
Go to the documentation of this file.
1 //
2 // Copyright (C) 2014, 2015 Ableton AG, Berlin. All rights reserved.
3 //
4 // Permission is hereby granted, free of charge, to any person obtaining a
5 // copy of this software and associated documentation files (the "Software"),
6 // to deal in the Software without restriction, including without limitation
7 // the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 // and/or sell copies of the Software, and to permit persons to whom the
9 // Software is furnished to do so, subject to the following conditions:
10 //
11 // The above copyright notice and this permission notice shall be included in
12 // all copies or substantial portions of the Software.
13 //
14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
17 // THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
19 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
20 // DEALINGS IN THE SOFTWARE.
21 //
22 
27 #pragma once
28 
31 #include <atria/xform/skip.hpp>
34 
35 namespace atria {
36 namespace xform {
37 
38 namespace detail {
39 
40 struct drop_while_rf_gen
41 {
42  template <typename ReducingFnT,
43  typename PredicateT>
44  struct apply
45  {
46  ReducingFnT step;
47  PredicateT predicate;
48 
49  template <typename StateT, typename ...InputTs>
50  auto operator() (StateT&& s, InputTs&& ...is)
51  -> decltype(
52  wrap_state(call(step, state_unwrap(std::forward<StateT>(s)),
53  std::forward<InputTs>(is)...),
54  bool{}))
55  {
56  auto taking =
57  state_data(std::forward<StateT>(s), constantly(false))
58  || !estd::invoke(predicate, is...);
59 
60  return wrap_state(
61  taking
62  ? call(step,
63  state_unwrap(std::forward<StateT>(s)),
64  std::forward<InputTs>(is)...)
65  : skip(step,
66  state_unwrap(std::forward<StateT>(s)),
67  std::forward<InputTs>(is)...),
68  taking);
69  }
70  };
71 };
72 
73 } // namespace detail
74 
75 template <typename T>
76 using drop_while_t = transducer_impl<detail::drop_while_rf_gen, T>;
77 
81 template <typename PredicateT>
82 auto drop_while(PredicateT&& n)
84 {
86  std::forward<PredicateT>(n) };
87 }
88 
89 } // namespace xform
90 } // namespace atria
auto call(ReducingFnT &&step, StateT &&state, InputTs &&...ins) -> estd::enable_if_t< is_skip_state< estd::decay_t< StateT > >
Call the next reducing function in a transducer that could otherwise skip calling the next reducing f...
Definition: skip.hpp:276
auto state_unwrap(T &&s) -> decltype(state_traits_t< T >::unwrap(std::forward< T >(s)))
Convenience function for calling state_traits::unwrap
auto constantly(T &&value) -> constantly_t< estd::decay_t< T > >
Similar to clojure.core/constantly.
Definition: constantly.hpp:56
auto state_data(T &&s, D &&d) -> decltype(state_traits_t< T >::data(std::forward< T >(s), std::forward< D >(d)))
Convenience function for calling state_traits::data
auto drop_while(PredicateT &&n) -> drop_while_t< estd::decay_t< PredicateT > >
Similar to clojure.core/drop_while$1.
Definition: drop_while.hpp:82
Utility to write simple transducers easily.
C++ amazing templates and reusable implementations awesomeness.
Definition: _doc.hpp:35
auto wrap_state(StateT &&next, DataT &&data=DataT{}) -> state_wrapper< TagT, estd::decay_t< StateT >, estd::decay_t< DataT > >
Given a tag TagT and a state next and associated data, returns a state_wrapper instance.
auto skip(ReducingFnT &&, StateT &&state, InputTs &&...) -> skip_result_t< ReducingFnT, StateT, InputTs... >
Skip calling the next reducing function in a transducer.
Definition: skip.hpp:228
Fork me on GitHub