fcppt::monad::instance< fcppt::either::object< Failure, Success > > 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::either::object_concept Either, fcppt::concepts::invocable_move< fcppt::either::success_move_type< Either > > Function> requires fcppt::either::object_concept< std::invoke_result_t<Function, fcppt::either::success_move_type<Either>>>
static auto	bind (Either &&_either, Function const &_function)

Member Function Documentation

bind()

template<typename Failure, typename Success>

template<fcppt::either::object_concept Either, fcppt::concepts::invocable_move< fcppt::either::success_move_type< Either > > Function>
requires fcppt::either::object_concept< std::invoke_result_t<Function, fcppt::either::success_move_type<Either>>>

auto fcppt::monad::instance< fcppt::either::object< Failure, Success > >::bind ( Either && _either, Function const & _function )

inlinestaticnodiscard

return_()

template<typename Failure, typename Success>

template<fcppt::concepts::move_constructible Value>

auto fcppt::monad::instance< fcppt::either::object< Failure, Success > >::return_ ( Value && _value )

inlinestaticnodiscard