Float -package:clash-prelude

Single-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE single-precision type.

The types Float and Double, the classes Floating and RealFloat and casting between Word32 and Float and Word64 and Double.

Single-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE single-precision type.

Non-negative floating num.

This module provides reverse-mode Automatic Differentiation implementation using linear time topological sorting after the fact. For this form of reverse-mode AD we use StableName to recover sharing information from the tape to avoid combinatorial explosion, and thus run asymptotically faster than it could without such sharing information, but the use of side-effects contained herein is benign.

This module provides reverse-mode Automatic Differentiation using post-hoc linear time topological sorting. For reverse mode AD we use StableName to recover sharing information from the tape to avoid combinatorial explosion, and thus run asymptotically faster than it could without such sharing information, but the use of side-effects contained herein is benign.

A collection of arbitrary float operations.

Logically consistent comparison of floating point numbers.

floating-point number

The types Float and Double, the classes Floating and RealFloat and casting between Word32 and Float and Word64 and Double.