fix is:module package:base
Monadic fixpoints.
For a detailed discussion, see Levent Erkok's thesis, Value
Recursion in Monadic Computations, Oregon Graduate Institute,
2002.
This module defines a "Fixed" type for fixed-precision arithmetic. The
parameter to
Fixed is any type that's an instance of
HasResolution.
HasResolution has a single method that
gives the resolution of the
Fixed type.
This module also contains generalisations of
div,
mod,
and
divMod to work with any
Real instance.