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

Defined in Ivory.Language.Float

Methods

pi :: IFloat

exp :: IFloat -> IFloat

log :: IFloat -> IFloat

sqrt :: IFloat -> IFloat

(**) :: IFloat -> IFloat -> IFloat

logBase :: IFloat -> IFloat -> IFloat

sin :: IFloat -> IFloat

cos :: IFloat -> IFloat

tan :: IFloat -> IFloat

asin :: IFloat -> IFloat

acos :: IFloat -> IFloat

atan :: IFloat -> IFloat

sinh :: IFloat -> IFloat

cosh :: IFloat -> IFloat

tanh :: IFloat -> IFloat

asinh :: IFloat -> IFloat

acosh :: IFloat -> IFloat

atanh :: IFloat -> IFloat

log1p :: IFloat -> IFloat

expm1 :: IFloat -> IFloat

log1pexp :: IFloat -> IFloat

log1mexp :: IFloat -> IFloat

Fractional IFloat

Defined in Ivory.Language.Float

Methods

(/) :: IFloat -> IFloat -> IFloat

recip :: IFloat -> IFloat

fromRational :: Rational -> IFloat

Num IFloat

Defined in Ivory.Language.Float

Methods

(+) :: IFloat -> IFloat -> IFloat

(-) :: IFloat -> IFloat -> IFloat

(*) :: IFloat -> IFloat -> IFloat

negate :: IFloat -> IFloat

abs :: IFloat -> IFloat

signum :: IFloat -> IFloat

fromInteger :: Integer -> IFloat

IvoryExpr IFloat

Defined in Ivory.Language.Float

Methods

wrapExpr :: Expr -> IFloat

IvoryVar IFloat

Defined in Ivory.Language.Float

Methods

wrapVar :: Var -> IFloat

unwrapExpr :: IFloat -> Expr

IvoryType IFloat

Defined in Ivory.Language.Float

Methods

ivoryType :: Proxy IFloat -> Type

IvoryOrd IFloat

Defined in Ivory.Language.Float

Methods

(>?) :: IFloat -> IFloat -> IBool

(>=?) :: IFloat -> IFloat -> IBool

(<?) :: IFloat -> IFloat -> IBool

(<=?) :: IFloat -> IFloat -> IBool

IvoryEq IFloat

Defined in Ivory.Language.Float

Methods

(==?) :: IFloat -> IFloat -> IBool

(/=?) :: IFloat -> IFloat -> IBool

IvoryStore IFloat

Defined in Ivory.Language.Float

IvoryFloat IFloat

Defined in Ivory.Language.Float

Methods

roundF :: IFloat -> IFloat

ceilF :: IFloat -> IFloat

floorF :: IFloat -> IFloat

atan2F :: IFloat -> IFloat -> IFloat

Default IFloat

Defined in Ivory.Language.Cast

Methods

defaultVal :: IFloat

IvoryZeroVal IFloat

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IFloat)

IvoryInit IFloat

Defined in Ivory.Language.Init

Methods

ival :: IFloat -> Init (Stored 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.

Defined in Ivory.Language.Cast

Methods

inBounds :: to -> IFloat -> IBool

SafeCast Sint32 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> IFloat

SafeCast Sint16 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> IFloat

SafeCast Sint8 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> IFloat

SafeCast Uint32 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint32 -> IFloat

SafeCast Uint16 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint16 -> IFloat

SafeCast Uint8 IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> IFloat

SafeCast IBool IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> IFloat

SafeCast IFloat IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: IFloat -> IDouble

SafeCast IFloat IFloat

Defined in Ivory.Language.Cast

Methods

safeCast :: IFloat -> IFloat

ifloat :: Float -> IFloat

newtype IDouble

Constructors

IDouble

Fields

• getIDouble :: Expr

Instances

Floating IDouble

Defined in Ivory.Language.Float

Methods

pi :: IDouble

exp :: IDouble -> IDouble

log :: IDouble -> IDouble

sqrt :: IDouble -> IDouble

(**) :: IDouble -> IDouble -> IDouble

logBase :: IDouble -> IDouble -> IDouble

sin :: IDouble -> IDouble

cos :: IDouble -> IDouble

tan :: IDouble -> IDouble

asin :: IDouble -> IDouble

acos :: IDouble -> IDouble

atan :: IDouble -> IDouble

sinh :: IDouble -> IDouble

cosh :: IDouble -> IDouble

tanh :: IDouble -> IDouble

asinh :: IDouble -> IDouble

acosh :: IDouble -> IDouble

atanh :: IDouble -> IDouble

log1p :: IDouble -> IDouble

expm1 :: IDouble -> IDouble

log1pexp :: IDouble -> IDouble

log1mexp :: IDouble -> IDouble

Fractional IDouble

Defined in Ivory.Language.Float

Methods

(/) :: IDouble -> IDouble -> IDouble

recip :: IDouble -> IDouble

fromRational :: Rational -> IDouble

Num IDouble

Defined in Ivory.Language.Float

Methods

(+) :: IDouble -> IDouble -> IDouble

(-) :: IDouble -> IDouble -> IDouble

(*) :: IDouble -> IDouble -> IDouble

negate :: IDouble -> IDouble

abs :: IDouble -> IDouble

signum :: IDouble -> IDouble

fromInteger :: Integer -> IDouble

IvoryExpr IDouble

Defined in Ivory.Language.Float

Methods

wrapExpr :: Expr -> IDouble

IvoryVar IDouble

Defined in Ivory.Language.Float

Methods

wrapVar :: Var -> IDouble

unwrapExpr :: IDouble -> Expr

IvoryType IDouble

Defined in Ivory.Language.Float

Methods

ivoryType :: Proxy IDouble -> Type

IvoryOrd IDouble

Defined in Ivory.Language.Float

Methods

(>?) :: IDouble -> IDouble -> IBool

(>=?) :: IDouble -> IDouble -> IBool

(<?) :: IDouble -> IDouble -> IBool

(<=?) :: IDouble -> IDouble -> IBool

IvoryEq IDouble

Defined in Ivory.Language.Float

Methods

(==?) :: IDouble -> IDouble -> IBool

(/=?) :: IDouble -> IDouble -> IBool

IvoryStore IDouble

Defined in Ivory.Language.Float

IvoryFloat IDouble

Defined in Ivory.Language.Float

Methods

roundF :: IDouble -> IDouble

ceilF :: IDouble -> IDouble

floorF :: IDouble -> IDouble

atan2F :: IDouble -> IDouble -> IDouble

Default IDouble

Defined in Ivory.Language.Cast

Methods

defaultVal :: IDouble

IvoryZeroVal IDouble

Defined in Ivory.Language.Init

Methods

izeroval :: Init (Stored IDouble)

IvoryInit IDouble

Defined in Ivory.Language.Init

Methods

ival :: IDouble -> Init (Stored IDouble)

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

Defined in Ivory.Language.Cast

Methods

inBounds :: to -> IDouble -> IBool

SafeCast Sint64 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint64 -> IDouble

SafeCast Sint32 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint32 -> IDouble

SafeCast Sint16 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint16 -> IDouble

SafeCast Sint8 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Sint8 -> IDouble

SafeCast Uint64 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint64 -> IDouble

SafeCast Uint32 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint32 -> IDouble

SafeCast Uint16 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint16 -> IDouble

SafeCast Uint8 IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: Uint8 -> IDouble

SafeCast IBool IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: IBool -> IDouble

SafeCast IDouble IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: IDouble -> IDouble

SafeCast IFloat IDouble

Defined in Ivory.Language.Cast

Methods

safeCast :: IFloat -> IDouble

idouble :: Double -> IDouble

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

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

Minimal complete definition

Nothing

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.

atan2F :: a -> a -> a

The arctangent function of two arguments.

Instances

IvoryFloat IDouble

Defined in Ivory.Language.Float

Methods

roundF :: IDouble -> IDouble

ceilF :: IDouble -> IDouble

floorF :: IDouble -> IDouble

atan2F :: IDouble -> IDouble -> IDouble

IvoryFloat IFloat

Defined in Ivory.Language.Float

Methods

roundF :: IFloat -> IFloat

ceilF :: IFloat -> IFloat

floorF :: IFloat -> IFloat

atan2F :: IFloat -> IFloat -> IFloat