Float -package:sbv
base Prelude GHC.Base GHC.Exts GHC.Float,
ghc-prim GHC.Types,
protolude Protolude Protolude.Base,
relude Relude.Numeric,
rio RIO.Prelude.Types,
base-prelude BasePrelude BasePrelude.DataTypes,
classy-prelude ClassyPrelude,
numeric-prelude NumericPrelude NumericPrelude.Numeric,
basic-prelude CorePrelude,
basement Basement.Compat.Base Basement.Imports,
numhask NumHask.Prelude,
clash-prelude Clash.HaskellPrelude,
foundation Foundation,
ghc-lib-parser GHC.Prelude.Basic,
prelude-compat Prelude2010,
ghc-internal GHC.Internal.Base GHC.Internal.Exts GHC.Internal.Float 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.
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.
Logically consistent comparison of floating point numbers.
Defines convenience functions for inspecting and manipulating
quantities with
RealFloat floating-point representations.
The dimensionally-typed versions of functions from Patrick Perry's
ieee754 package copy that packages API as closely as possible,
by permission. In turn they are based on the
tango math
library for the D language.