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

The logic a thing lives in, with Boole as the permissive default: a type that names no logic_species and is not a known answer type is read as classical. IsTotalArrow asks this of a plain carrier (an int domain is classical). Do not use it to read the species off a classifier answer: that is classifier_logic_t, which has no default and rejects an answer type that names no species. More...

Public Types
using	type = Boole

Detailed Description

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

The logic a thing lives in, with Boole as the permissive default: a type that names no logic_species and is not a known answer type is read as classical. IsTotalArrow asks this of a plain carrier (an int domain is classical). Do not use it to read the species off a classifier answer: that is classifier_logic_t, which has no default and rejects an answer type that names no species.

---

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

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