Hand-rolled iso connector Modular<2> → bool. More...

Public Types
using	Domain = dedekind::morphologies::Modular<2>
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (Domain m) const noexcept

Detailed Description

Hand-rolled iso connector Modular<2> → bool.

Sends the residue class [0] (the "even" class) to false and [1] (the "odd" class) to true. Gated below by WitnessesFirstIso against the textbook trait claims — if the Domain or Codomain drift, the static_assert fails.

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

src/main/modules/dedekind/morphologies/cyclic.cppm

Public Types

Public Member Functions

Detailed Description