libqi-api
2.8.7.4
|
#include <future_fwd.hpp>
Public Types | |
using | retract_type = SrcFuture |
Public Member Functions | |
UnitFuture () | |
template<typename T > | |
Future< ka::Decay< T > > | operator() (T &&t) const |
There is no constraint on T. More... | |
Future< void > | operator() () const |
Polymorphic function object that creates a Future from a value, if provided.
"unit" is traditionally the name of a transformation that sends a value into the monadic level, because it is a "unit" or "neutral element" for monadic composition.
See the comment of semiLift
for an explanation.
Example:
Definition at line 1119 of file future_fwd.hpp.
Definition at line 1144 of file future_fwd.hpp.
|
inline |
Definition at line 1124 of file future_fwd.hpp.
|
inline |
There is no constraint on T.
Definition at line 1132 of file future_fwd.hpp.
|
inline |
Definition at line 1137 of file future_fwd.hpp.