fcppt::monad::instance< fcppt::optional::object< Arg > > Struct Template Reference

Classes
struct	constructor
struct	inner_type

Static Public Member Functions
template<fcppt::concepts::move_constructible Value>
static auto	return_ (Value &&_value)
template<fcppt::optional::object_concept Optional, fcppt::concepts::invocable_move< fcppt::optional::move_type< Optional > > Function> requires fcppt::optional::object_concept< std::invoke_result_t<Function, fcppt::optional::move_type<Optional>>>
static auto	bind (Optional &&_optional, Function const &_function)

Member Function Documentation

bind()

template<typename Arg >

template<fcppt::optional::object_concept Optional, fcppt::concepts::invocable_move< fcppt::optional::move_type< Optional > > Function>
requires fcppt::optional::object_concept< std::invoke_result_t<Function, fcppt::optional::move_type<Optional>>>

static auto fcppt::monad::instance< fcppt::optional::object< Arg > >::bind ( Optional &&  _optional, Function const &  _function  )

inlinestatic

return_()

template<typename Arg >

template<fcppt::concepts::move_constructible Value>

static auto fcppt::monad::instance< fcppt::optional::object< Arg > >::return_ ( Value &&  _value )

inlinestatic