Lumiera  0.pre.03
»edit your freedom«
_ExpanderTraits< SRC, RES > Struct Template Reference

#include "lib/iter-explorer.hpp"

Description

template<class SRC, class RES>
struct lib::anonymous_namespace{iter-explorer.hpp}::_ExpanderTraits< SRC, RES >

helper to derive a suitable common type when expanding children

Template Parameters
SRCsource iterator fed into the Expander
RESresult type of the expansion function

Definition at line 337 of file iter-explorer.hpp.

Public Types

using CommonType = conditional_t< is_const_v< SrcYield > or is_const_v< ResYield >, const common_type_t< SrcYield, ResYield >, common_type_t< SrcYield, ResYield > >
 
using pointer = typename ValueTypeBinding< CommonType >::pointer
 
using reference = typename ValueTypeBinding< CommonType >::reference
 
using ResIter = typename _DecoratorTraits< RES >::SrcIter
 
using ResYield = typename ValueTypeBinding< ResIter >::value_type
 
using SrcYield = typename ValueTypeBinding< SRC >::value_type
 
using value_type = typename ValueTypeBinding< CommonType >::value_type
 

Static Public Attributes

static constexpr bool can_reconcile
 

Member Data Documentation

◆ can_reconcile

constexpr bool can_reconcile
static
Initial value:
=
has_TypeResult<common_type<SrcYield,ResYield>>()

Definition at line 342 of file iter-explorer.hpp.

+ Collaboration diagram for _ExpanderTraits< SRC, RES >:

The documentation for this struct was generated from the following file: