Numeric.VariablePrecision.Aliases

Aliases for recodeFloat and recodeComplex with specialized types.

Aliases for commonly desired types.

Documentation

toFloat :: F24 -> Float

Convert to a Float from the same precision.

fromFloat :: Float -> F24

Convert from a Float to the same precision.

toDouble :: F53 -> Double

Convert to a Double from the same precision.

fromDouble :: Double -> F53

Convert from a Double to the same precision.

toComplexFloat :: C24 -> Complex Float

Convert to a Float from the same precision.

fromComplexFloat :: Complex Float -> C24

Convert from a Float to the same precision.

toComplexDouble :: C53 -> Complex Double

Convert to a Double from the same precision.

fromComplexDouble :: Complex Double -> C53

Convert from a Double to the same precision.

type F8 = VFloat N8

type F16 = VFloat N16

type F24 = VFloat N24

type F32 = VFloat N32

type F40 = VFloat N40

type F48 = VFloat N48

type F53 = VFloat N53

f8 :: F8

f16 :: F16

f24 :: F24

f32 :: F32

f40 :: F40

f48 :: F48

f53 :: F53

type C8 = VComplex N8

type C16 = VComplex N16

type C24 = VComplex N24

type C32 = VComplex N32

type C40 = VComplex N40

type C48 = VComplex N48

type C53 = VComplex N53

c8 :: C8

c16 :: C16

c24 :: C24

c32 :: C32

c40 :: C40

c48 :: C48

c53 :: C53

module TypeLevel.NaturalNumber

module TypeLevel.NaturalNumber.ExtraNumbers