Top

Primitive-values

Float-value

Fixtype of Java float values in the float value set [JLS14:4.2.3].

This is a product type introduced by fty::defprod.

Fields

float — float-value-abs

Subtopics

Float-valuep: Recognizer for float-value structures.
Float-value-fix: Fixing function for float-value structures.
Float-value-equiv: Basic equivalence relation for float-value structures.
Make-float-value: Basic constructor macro for float-value structures.
Float-value->float: Get the float field from a float-value.
Change-float-value: Modifying constructor for float-value structures.