capydi
Loading...
Searching...
No Matches
capy::meta::Maybe< implementation_details_::Nil > Struct Reference

#include <Maybe.hpp>

Public Types

using Value = implementation_details_::Nil
template<t_trait< MetaArity::N1 > Mapper>
using Map = None
template<v_trait< MetaArity::N1 > Predicate>
using Filter = None
template<t_trait< MetaArity::N1 > Mapper>
using AndThen = None
template<typename OtherValue>
using Or = Maybe<OtherValue>

Static Public Attributes

static constexpr bool HAS_VALUE = false

Member Typedef Documentation

◆ AndThen

template<t_trait< MetaArity::N1 > Mapper>
using capy::meta::Maybe< implementation_details_::Nil >::AndThen = None

◆ Filter

template<v_trait< MetaArity::N1 > Predicate>
using capy::meta::Maybe< implementation_details_::Nil >::Filter = None

◆ Map

template<t_trait< MetaArity::N1 > Mapper>
using capy::meta::Maybe< implementation_details_::Nil >::Map = None

◆ Or

template<typename OtherValue>
using capy::meta::Maybe< implementation_details_::Nil >::Or = Maybe<OtherValue>

◆ Value

Member Data Documentation

◆ HAS_VALUE

bool capy::meta::Maybe< implementation_details_::Nil >::HAS_VALUE = false
staticconstexpr

The documentation for this struct was generated from the following file:
  • core/capymeta/include/capymeta/type_structures/Maybe.hpp