dedekind::morphologies::first_iso_mod_2 Namespace Reference

Classes
struct	mod_2_arrow
	The parity homomorphism mod_2: int → bool. More...
struct	connector
	Hand-rolled iso connector Modular<2> → bool. More...
struct	connector_inv
	Inverse direction: bool → Modular<2>. More...

Functions
constexpr connector_inv	dedekind::morphologies::first_iso_mod_2::inverse (connector) noexcept
	Free-function inverse hook satisfying :morphism::IsIsomorphism.
constexpr connector	dedekind::morphologies::first_iso_mod_2::inverse (connector_inv) noexcept

Detailed Description

— main-source witnesses

These static_assert s travel with the carrier definitions so downstream modules see them immediately on import. Tests in morphologies/modular_test.cpp duplicate the runtime / probe coverage but the structural claims live here.