Ivory.Language.Float

Documentation

isnan :: forall a. (IvoryVar a, Floating a) => a -> IBool

NaN testing.

isinf :: forall a. (IvoryVar a, Floating a) => a -> IBool

Infinite testing.

newtype IFloat

Constructors

IFloat

Fields

getIFloat :: Expr

Instances

Floating IFloat

Fractional IFloat

Num IFloat

IvoryExpr IFloat

IvoryVar IFloat

IvoryType IFloat

IvoryOrd IFloat

IvoryEq IFloat

IvoryStore IFloat

IvoryFloat IFloat

Default IFloat

IvoryInit IFloat

(Default to, Bounded to, IvoryIntegral to, SafeCast to IFloat) => RuntimeCast IFloat to

Casting from a floating to a Integral type always results in truncation.

SafeCast Sint32 IFloat

SafeCast Sint16 IFloat

SafeCast Sint8 IFloat

SafeCast Uint32 IFloat

SafeCast Uint16 IFloat

SafeCast Uint8 IFloat

SafeCast IBool IFloat

SafeCast IFloat IDouble

SafeCast IFloat IFloat

IvorySizeOf (Stored * IFloat)

ifloat :: Float -> IFloat

newtype IDouble

Constructors

IDouble

Fields

getIDouble :: Expr

Instances

Floating IDouble

Fractional IDouble

Num IDouble

IvoryExpr IDouble

IvoryVar IDouble

IvoryType IDouble

IvoryOrd IDouble

IvoryEq IDouble

IvoryStore IDouble

IvoryFloat IDouble

Default IDouble

IvoryInit IDouble

(Default to, Bounded to, IvoryIntegral to, SafeCast to IDouble) => RuntimeCast IDouble to

SafeCast Sint64 IDouble

SafeCast Sint32 IDouble

SafeCast Sint16 IDouble

SafeCast Sint8 IDouble

SafeCast Uint64 IDouble

SafeCast Uint32 IDouble

SafeCast Uint16 IDouble

SafeCast Uint8 IDouble

SafeCast IBool IDouble

SafeCast IDouble IDouble

SafeCast IFloat IDouble

IvorySizeOf (Stored * IDouble)

idouble :: Double -> IDouble

primRound :: IvoryExpr a => ExpOp -> a -> a

class (Floating a, IvoryExpr a) => IvoryFloat a where

Methods

roundF :: a -> a

Round a floating point number.

ceilF :: a -> a

Take the ceiling of a floating point number.

floorF :: a -> a

Take the floor of a floating point number.

Instances

IvoryFloat IDouble

IvoryFloat IFloat