dedekind::category::Partial< T > Struct Template Reference

The Kleisli Context for "Consistently Broken" Species. More...

Collaboration diagram for dedekind::category::Partial< T >:

Public Types
using	value_type = T
using	logic_species = Kleene

Public Member Functions
constexpr T	operator* () const noexcept(std::is_nothrow_copy_constructible_v< T >)
constexpr bool	operator== (const Partial &other) const

Public Attributes
T	value
Ternary	status

Detailed Description

template<typename T>
struct dedekind::category::Partial< T >

The Kleisli Context for "Consistently Broken" Species.

partial__The_Rescue_Pod

---

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

• src/main/modules/dedekind/category/partial.cppm