Lumiera  0.pre.03
»edityourfreedom«
lib::iter_explorer Namespace Reference

Typedefs

template<class CON >
using const_iterator = typename meta::Strip< CON >::TypeReferred::const_iterator
 
template<class CON >
using iterator = typename meta::Strip< CON >::TypeReferred::iterator
 

Classes

struct  _FunTraits
 
struct  _is_iterator_of_iterators
 Metafunction to detect an iterator yielding an iterator sequence. More...
 
class  AutoExpander
 
struct  BaseAdapter
 
struct  BreadthFirst
 
struct  BreadthFirstEvaluationBuffer
 concrete strategy for recursive breadth-first evaluation. More...
 
struct  BreadthFirstEvaluationCombinator
 preconfigured IterExplorer "state core" resulting in breadth-first exhaustive evaluation More...
 
class  ChainedIteratorImpl
 
class  ChainedIters
 Special iterator configuration for combining / flattening the results of a sequence of iterators. More...
 
class  ChainedIters< ITI, enable_if< _is_iterator_of_iterators< ITI > > >
 
class  ChainedIters< SEQ, disable_if< _is_iterator_of_iterators< SEQ > > >
 Convenience specialisation: manage the sequence of iterators automatically. More...
 
class  ChildExpandableSource
 Interface to indicate and expose the ability for child expansion. More...
 
class  CombinedIteratorEvaluation
 Building block: evaluate and combine a sequence of iterators. More...
 
class  DefaultCombinator
 a generic "Combinator strategy" for IterExplorer. More...
 
struct  DepthFirst
 
struct  DepthFirstEvaluationBuffer
 concrete strategy for recursive depth-first evaluation. More...
 
struct  DepthFirstEvaluationCombinator
 preconfigured IterExplorer "state core" resulting in depth-first exhaustive evaluation More...
 
class  EvaluationBufferStrategy
 Strategy building block for recursive exhausting evaluation. More...
 
class  Expander
 
struct  ExploreByFunction
 Building block: just evaluate source elements. More...
 
class  Filter
 
class  IterableDecorator
 Decorate a state or logic core to treat it as Lumiera Forward Iterator. More...
 
class  IterSourceIter
 Adapt an IterSource to make it iterable. More...
 
class  MutableFilter
 
class  PackagedTreeExplorerSource
 
class  RecursiveExhaustingEvaluation
 A "Combinator strategy" allowing to expand and evaluate a (functional) data structure successively and recursively. More...
 
class  RecursiveSelfIntegration
 IterExplorer "state core" for progressively expanding an initial result set. More...
 
class  ScheduledExpander
 
struct  StlRange
 Adapt STL compliant container. More...
 
struct  StlRange< CON & >
 
struct  StlRange< const CON >
 
class  Transformer
 
struct  UnalteredPassThrough
 Support for a special use case: an Iterator of Iterators, joining results. More...
 
struct  UnalteredPassThrough< IT(IT)>
 
class  WrappedSequence
 Helper template to bootstrap a chain of IterExplorers. More...
 

Functions

template<typename FUN , typename SRC >
void static_assert_isPredicate ()
 

Variables

constexpr auto ACCEPT_ALL
 

Typedef Documentation

◆ iterator

using iterator = typename meta::Strip<CON>::TypeReferred::iterator

Definition at line 138 of file iter-tree-explorer.hpp.

◆ const_iterator

using const_iterator = typename meta::Strip<CON>::TypeReferred::const_iterator

Definition at line 140 of file iter-tree-explorer.hpp.


Class Documentation

◆ lib::iter_explorer::ChainedIters

class lib::iter_explorer::ChainedIters
+ Collaboration diagram for ChainedIters< ITI, SEL >:

◆ lib::iter_explorer::UnalteredPassThrough

struct lib::iter_explorer::UnalteredPassThrough
+ Inheritance diagram for UnalteredPassThrough< SIG >:
+ Collaboration diagram for UnalteredPassThrough< SIG >:

Function Documentation

◆ static_assert_isPredicate()

void lib::iter_explorer::static_assert_isPredicate ( )
inline

Definition at line 560 of file iter-tree-explorer.hpp.

Variable Documentation

◆ ACCEPT_ALL

constexpr auto ACCEPT_ALL

Definition at line 449 of file iter-tree-explorer.hpp.

Referenced by TreeExplorer< SRC >::mutableFilter().