Core IEEE fast lane as explicit physical plumbing. More...

#include <concepts>
#include <type_traits>
#include <utility>
import dedekind.category;

Include dependency graph for ieee.cppm:

Classes
class	dedekind::ieee::IEEE< F >
	IEEE effect wrapper: values interpreted under machine IEEE semantics. More...
struct	dedekind::ieee::IEEEAdd< F >
	Certified operation token for addition under IEEE-by-fiat semantics. More...
struct	dedekind::ieee::IEEEMul< F >
	Certified operation token for multiplication under IEEE-by-fiat semantics. More...
struct	dedekind::category::SpeciesTraits< dedekind::ieee::IEEE< F > >
struct	dedekind::category::is_associative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > >
struct	dedekind::category::is_commutative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > >
struct	dedekind::category::is_associative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > >
struct	dedekind::category::is_commutative< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > >

Namespaces
namespace	dedekind::category

Functions
template<std::floating_point F>
constexpr IEEE< F >	dedekind::ieee::ieee_unit (F value) noexcept
	Monadic unit for the IEEE effect context.
template<std::floating_point F, typename Func>
constexpr IEEE< F >	dedekind::ieee::ieee_map (const IEEE< F > &x, Func &&f)
	Functor map in the IEEE effect context.
template<std::floating_point F, typename Func>
constexpr IEEE< F >	dedekind::ieee::ieee_bind (const IEEE< F > &x, Func &&f)
	Monadic bind in the IEEE effect context.

Variables
template<std::floating_point F>
constexpr bool	dedekind::category::is_kleene_associative_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > >
template<std::floating_point F>
constexpr bool	dedekind::category::is_kleene_commutative_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > >
template<std::floating_point F>
constexpr dedekind::ieee::IEEE< F >	dedekind::category::partial_unit_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEAdd< F > >
template<std::floating_point F>
constexpr bool	dedekind::category::is_kleene_associative_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > >
template<std::floating_point F>
constexpr bool	dedekind::category::is_kleene_commutative_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > >
template<std::floating_point F>
constexpr dedekind::ieee::IEEE< F >	dedekind::category::partial_unit_v< dedekind::ieee::IEEE< F >, dedekind::ieee::IEEEMul< F > >

Detailed Description

Core IEEE fast lane as explicit physical plumbing.

Copyright: 2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

Note: "One can measure the importance of a scientific work by the number of earlier publications rendered superfluous by it." – David Hilbert, quoted in Mathematical Circles Revisited (1971)

Classes