dedekind.ieee Module Reference

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...

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.

Files
file	src/main/modules/dedekind/ieee/ieee.cppm
	Core IEEE fast lane as explicit physical plumbing.