capy::meta::Maybe< T > Struct Template Reference

#include <Maybe.hpp>

Public Types
using	Value = T
template<t_trait< MetaArity::N1 > Mapper>
using	Map = Maybe<call_t<Mapper, T>>
template<v_trait< MetaArity::N1 > Predicate>
using	Filter
template<t_trait< MetaArity::N1 > Mapper>
using	AndThen = call_t<Mapper, T>
template<typename OtherValue>
using	Or = Maybe<T>

Static Public Attributes
static constexpr bool	HAS_VALUE = true

Member Typedef Documentation

AndThen

template<typename T>

template<t_trait< MetaArity::N1 > Mapper>

using capy::meta::Maybe< T >::AndThen = call_t<Mapper, T>

Filter

template<typename T>

template<v_trait< MetaArity::N1 > Predicate>

using capy::meta::Maybe< T >::Filter

Initial value:

 std::conditional_t<
        call_v<Predicate, T>,
        Some<T>,
        None
    >

Map

template<typename T>

template<t_trait< MetaArity::N1 > Mapper>

using capy::meta::Maybe< T >::Map = Maybe<call_t<Mapper, T>>

Or

template<typename T>

template<typename OtherValue>

using capy::meta::Maybe< T >::Or = Maybe<T>

Value

template<typename T>

using capy::meta::Maybe< T >::Value = T

Member Data Documentation

HAS_VALUE

template<typename T>

bool capy::meta::Maybe< T >::HAS_VALUE = true

staticconstexpr

---

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

• core/capymeta/include/capymeta/type_structures/Maybe.hpp