Lumiera 0.pre.04~rc.1
»edit your freedom«
Loading...
Searching...
No Matches
is_StateCore< T > Class Template Reference

#include "lib/meta/trait.hpp"

Description

template<typename T>
class lib::meta::is_StateCore< T >

Trait template to detect a type exposing a »state core« API.

Such a type can be dressed up as "Lumiera Forward Iterator" with the help of lib::IterStateWrapper or lib::IterableDecorator. This check is heuristic, based on the presence of function names.

Definition at line 534 of file trait.hpp.

Public Types

enum  { value }
 

Private Types

using Type = Strip< T >::Type
 

Private Member Functions

 META_DETECT_FUNCTION_ARGLESS (checkPoint)
 
 META_DETECT_FUNCTION_ARGLESS (iterNext)
 
 META_DETECT_FUNCTION_ARGLESS (yield)
 

Member Typedef Documentation

◆ Type

template<typename T >
using Type = Strip<T>::Type
private

Definition at line 536 of file trait.hpp.

Member Enumeration Documentation

◆ anonymous enum

template<typename T >
anonymous enum
Enumerator
value 

Definition at line 543 of file trait.hpp.

Member Function Documentation

◆ META_DETECT_FUNCTION_ARGLESS() [1/3]

template<typename T >
META_DETECT_FUNCTION_ARGLESS ( checkPoint  )
private

◆ META_DETECT_FUNCTION_ARGLESS() [2/3]

template<typename T >
META_DETECT_FUNCTION_ARGLESS ( iterNext  )
private

◆ META_DETECT_FUNCTION_ARGLESS() [3/3]

template<typename T >
META_DETECT_FUNCTION_ARGLESS ( yield  )
private
+ Collaboration diagram for is_StateCore< T >:

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