Data.Floating.Types

Definition of the core floating point types and basic manipulation of them.

Documentation

data Double

The Double type. This is expected to be an identical declaration to the one found in GHC.Prim. We avoid simply using GHC's type because we need to define our own class instances.

Constructors

D# Double#

Instances

Enum Double

Eq Double

Fractional Double

Num Double

Read Double

Show Double

Sortable Double

Poset Double

PrimFloat Double

RealFloat Double

Floating Double

Roundable Double

FloatConvert Integer Double

Real a => FloatConvert a Double

FloatConvert CDouble Double

FloatConvert Float Double

FloatConvert Double CDouble

FloatConvert Double Float

data Float

The Float type.

Constructors

F# Float#

Instances

Enum Float

Eq Float

Fractional Float

Num Float

Read Float

Show Float

Sortable Float

Poset Float

PrimFloat Float

RealFloat Float

Floating Float

Roundable Float

FloatConvert Integer Float

Real a => FloatConvert a Float

FloatConvert CFloat Float

FloatConvert Float CFloat

FloatConvert Float Double

FloatConvert Double Float

class FloatConvert a b where

Coercion to floating point types.

Methods

toFloating :: a -> b

Convert to a floating point type. Conversions from integers and real types are provided, as well as conversions between floating point types. Conversions between floating point types preserve infinities, negative zeros and NaNs.

Instances

FloatConvert Integer Float

FloatConvert Integer Double

FloatConvert a a

Real a => FloatConvert a Float

Real a => FloatConvert a Double

FloatConvert CFloat Float

FloatConvert CDouble Double

FloatConvert Float CFloat

FloatConvert Float Double

FloatConvert Double CDouble

FloatConvert Double Float