Bridge from numerical carriers into the upstream IEEE core module. More...

#include <concepts>
#include <optional>
import dedekind.numbers;
import dedekind.morphologies;
import dedekind.ieee;

Include dependency graph for ieee.cppm:

Namespaces
namespace	dedekind::numbers

Typedefs
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEE = dedekind::ieee::IEEE<F>
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEEAdd = dedekind::ieee::IEEEAdd<F>
template<std::floating_point F = machine_real_scalar>
using	dedekind::numbers::IEEEMul = dedekind::ieee::IEEEMul<F>

Functions
template<std::floating_point F = machine_real_scalar>
constexpr IEEE< F >	dedekind::numbers::ieee_unit (F value) noexcept
template<std::floating_point F = machine_real_scalar>
constexpr IEEE< F >	dedekind::numbers::assume_ieee (const dedekind::morphologies::𝕃< F > &r) noexcept
	Explicit entry from the honest lane (the finite floats `𝕃<F>`) into the IEEE fast lane.
template<std::floating_point F = machine_real_scalar>
constexpr std::optional< dedekind::morphologies::𝕃< F > >	dedekind::numbers::discharge_ieee (const IEEE< F > &x) noexcept
	Explicit exit from the IEEE fast lane into the honest lane: `nullopt` when the fast lane produced NaN or +/-inf.
template<std::floating_point F, typename Func>
constexpr IEEE< F >	dedekind::numbers::ieee_bind (const IEEE< F > &x, Func &&f)
	Monadic bind in the IEEE effect context.
template<std::floating_point F, typename Func>
constexpr IEEE< F >	dedekind::numbers::ieee_map (const IEEE< F > &x, Func &&f)
	Functor map in the IEEE effect context.

Detailed Description

Bridge from numerical carriers into the upstream IEEE core module.

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

Note: "La mathematique est l'art de donner le meme nom a des choses differentes." ("Mathematics is the art of giving the same name to different things.") – Henri Poincare

Namespaces