Safe Haskell	None
Language	Haskell2010

Ivory.Language.Float

Synopsis

isnan :: forall a. (IvoryVar a, Floating a) => a -> IBool
isinf :: forall a. (IvoryVar a, Floating a) => a -> IBool
newtype IFloat = IFloat {
- getIFloat :: Expr
}
ifloat :: Float -> IFloat
newtype IDouble = IDouble {
- getIDouble :: Expr
}
idouble :: Double -> IDouble
primRound :: IvoryExpr a => ExpOp -> a -> a
class (Floating a, IvoryExpr a) => IvoryFloat a where
- roundF :: a -> a
- ceilF :: a -> a
- floorF :: a -> a
- atan2F :: a -> a -> a

Documentation

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

NaN testing.

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

Infinite testing.

newtype IFloat Source #

Constructors

IFloat
Fields getIFloat :: Expr

Instances

Floating IFloat Source #
Instance details 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 Source #
Instance details Defined in Ivory.Language.Float Methods (/) :: IFloat -> IFloat -> IFloat # recip :: IFloat -> IFloat # fromRational :: Rational -> IFloat #
Num IFloat Source #
Instance details 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 Source #
Instance details Defined in Ivory.Language.Float Methods wrapExpr :: Expr -> IFloat Source #
IvoryVar IFloat Source #
Instance details Defined in Ivory.Language.Float Methods wrapVar :: Var -> IFloat Source # unwrapExpr :: IFloat -> Expr Source #
IvoryType IFloat Source #
Instance details Defined in Ivory.Language.Float Methods ivoryType :: Proxy IFloat -> Type Source #
IvoryOrd IFloat Source #
Instance details Defined in Ivory.Language.Float Methods (>?) :: IFloat -> IFloat -> IBool Source # (>=?) :: IFloat -> IFloat -> IBool Source # (<?) :: IFloat -> IFloat -> IBool Source # (<=?) :: IFloat -> IFloat -> IBool Source #
IvoryEq IFloat Source #
Instance details Defined in Ivory.Language.Float Methods (==?) :: IFloat -> IFloat -> IBool Source # (/=?) :: IFloat -> IFloat -> IBool Source #
IvoryStore IFloat Source #
Instance details Defined in Ivory.Language.Float
IvoryFloat IFloat Source #
Instance details Defined in Ivory.Language.Float Methods roundF :: IFloat -> IFloat Source # ceilF :: IFloat -> IFloat Source # floorF :: IFloat -> IFloat Source # atan2F :: IFloat -> IFloat -> IFloat Source #
Default IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: IFloat
IvoryZeroVal IFloat Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored IFloat) Source #
IvoryInit IFloat Source #
Instance details Defined in Ivory.Language.Init Methods ival :: IFloat -> Init (Stored IFloat) Source #
(Default to, Bounded to, IvoryIntegral to, SafeCast to IFloat) => RuntimeCast IFloat to Source #	Casting from a floating to a `Integral` type always results in truncation.
Instance details Defined in Ivory.Language.Cast Methods inBounds :: to -> IFloat -> IBool
SafeCast Sint32 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> IFloat Source #
SafeCast Sint16 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> IFloat Source #
SafeCast Sint8 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> IFloat Source #
SafeCast Uint32 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint32 -> IFloat Source #
SafeCast Uint16 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint16 -> IFloat Source #
SafeCast Uint8 IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint8 -> IFloat Source #
SafeCast IBool IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IFloat Source #
SafeCast IFloat IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IFloat -> IDouble Source #
SafeCast IFloat IFloat Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IFloat -> IFloat Source #

ifloat :: Float -> IFloat Source #

newtype IDouble Source #

Constructors

IDouble
Fields getIDouble :: Expr

Instances

Floating IDouble Source #
Instance details 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 Source #
Instance details Defined in Ivory.Language.Float Methods (/) :: IDouble -> IDouble -> IDouble # recip :: IDouble -> IDouble # fromRational :: Rational -> IDouble #
Num IDouble Source #
Instance details 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 Source #
Instance details Defined in Ivory.Language.Float Methods wrapExpr :: Expr -> IDouble Source #
IvoryVar IDouble Source #
Instance details Defined in Ivory.Language.Float Methods wrapVar :: Var -> IDouble Source # unwrapExpr :: IDouble -> Expr Source #
IvoryType IDouble Source #
Instance details Defined in Ivory.Language.Float Methods ivoryType :: Proxy IDouble -> Type Source #
IvoryOrd IDouble Source #
Instance details Defined in Ivory.Language.Float Methods (>?) :: IDouble -> IDouble -> IBool Source # (>=?) :: IDouble -> IDouble -> IBool Source # (<?) :: IDouble -> IDouble -> IBool Source # (<=?) :: IDouble -> IDouble -> IBool Source #
IvoryEq IDouble Source #
Instance details Defined in Ivory.Language.Float Methods (==?) :: IDouble -> IDouble -> IBool Source # (/=?) :: IDouble -> IDouble -> IBool Source #
IvoryStore IDouble Source #
Instance details Defined in Ivory.Language.Float
IvoryFloat IDouble Source #
Instance details Defined in Ivory.Language.Float Methods roundF :: IDouble -> IDouble Source # ceilF :: IDouble -> IDouble Source # floorF :: IDouble -> IDouble Source # atan2F :: IDouble -> IDouble -> IDouble Source #
Default IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods defaultVal :: IDouble
IvoryZeroVal IDouble Source #
Instance details Defined in Ivory.Language.Init Methods izeroval :: Init (Stored IDouble) Source #
IvoryInit IDouble Source #
Instance details Defined in Ivory.Language.Init Methods ival :: IDouble -> Init (Stored IDouble) Source #
(Default to, Bounded to, IvoryIntegral to, SafeCast to IDouble) => RuntimeCast IDouble to Source #
Instance details Defined in Ivory.Language.Cast Methods inBounds :: to -> IDouble -> IBool
SafeCast Sint64 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint64 -> IDouble Source #
SafeCast Sint32 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint32 -> IDouble Source #
SafeCast Sint16 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint16 -> IDouble Source #
SafeCast Sint8 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Sint8 -> IDouble Source #
SafeCast Uint64 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint64 -> IDouble Source #
SafeCast Uint32 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint32 -> IDouble Source #
SafeCast Uint16 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint16 -> IDouble Source #
SafeCast Uint8 IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: Uint8 -> IDouble Source #
SafeCast IBool IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IBool -> IDouble Source #
SafeCast IDouble IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IDouble -> IDouble Source #
SafeCast IFloat IDouble Source #
Instance details Defined in Ivory.Language.Cast Methods safeCast :: IFloat -> IDouble Source #

idouble :: Double -> IDouble Source #

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

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

Minimal complete definition

Nothing

Methods

roundF :: a -> a Source #

Round a floating point number.

ceilF :: a -> a Source #

Take the ceiling of a floating point number.

floorF :: a -> a Source #

Take the floor of a floating point number.

atan2F :: a -> a -> a Source #

The arctangent function of two arguments.

Instances

IvoryFloat IDouble Source #
Instance details Defined in Ivory.Language.Float Methods roundF :: IDouble -> IDouble Source # ceilF :: IDouble -> IDouble Source # floorF :: IDouble -> IDouble Source # atan2F :: IDouble -> IDouble -> IDouble Source #
IvoryFloat IFloat Source #
Instance details Defined in Ivory.Language.Float Methods roundF :: IFloat -> IFloat Source # ceilF :: IFloat -> IFloat Source # floorF :: IFloat -> IFloat Source # atan2F :: IFloat -> IFloat -> IFloat Source #