Data.CDAR

Convenience module importing and reexporting the CReal data type of computable real numbers and the underlying data type including the centred dyadic approximations Approx.

Modules imported are:

• Data.CDAR.Approx
• Data.CDAR.Classes
• Data.CDAR.Dyadic
• Data.CDAR.Extended
• Data.CDAR.IntegerLog

Documentation

module Data.CDAR.Approx

module Data.CDAR.Classes

module Data.CDAR.Dyadic

module Data.CDAR.Extended

module Data.CDAR.IntegerLog