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 :: CF24 -> Complex Float

Convert to a Float from the same precision.

fromComplexFloat :: Complex Float -> CF24

Convert from a Float to the same precision.

toComplexDouble :: CF53 -> Complex Double

Convert to a Double from the same precision.

fromComplexDouble :: Complex Double -> CF53

Convert from a Double to the same precision.

type F = VFloat

type X = VFixed

type C = VComplex

type CF = C F

type CX = C X

type F8 = F N8

type F16 = F N16

type F24 = F N24

type F32 = F N32

type F40 = F N40

type F48 = F N48

type F53 = F N53

f8 :: F8

f16 :: F16

f24 :: F24

f32 :: F32

f40 :: F40

f48 :: F48

f53 :: F53

type X8 = X N8

type X16 = X N16

type X24 = X N24

type X32 = X N32

type X40 = X N40

type X48 = X N48

type X53 = X N53

x8 :: X8

x16 :: X16

x24 :: X24

x32 :: X32

x40 :: X40

x48 :: X48

x53 :: X53

type CF8 = CF N8

type CF16 = CF N16

type CF24 = CF N24

type CF32 = CF N32

type CF40 = CF N40

type CF48 = CF N48

type CF53 = CF N53

cf8 :: CF8

cf16 :: CF16

cf24 :: CF24

cf32 :: CF32

cf40 :: CF40

cf48 :: CF48

cf53 :: CF53

type CX8 = CX N8

type CX16 = CX N16

type CX24 = CX N24

type CX32 = CX N32

type CX40 = CX N40

type CX48 = CX N48

type CX53 = CX N53

cx8 :: CX8

cx16 :: CX16

cx24 :: CX24

cx32 :: CX32

cx40 :: CX40

cx48 :: CX48

cx53 :: CX53

module TypeLevel.NaturalNumber

module TypeLevel.NaturalNumber.ExtraNumbers