exp package:mixed-types-num

exp :: CanExp t => t -> ExpType t
mixed-types-num Numeric.MixedTypes.Elementary
exp :: (CanExp t, ExpType t ~ t, Floating t) => t -> ExpType t
mixed-types-num Numeric.MixedTypes.Elementary
exponent :: RealFloat a => a -> Int
mixed-types-num Numeric.MixedTypes.PreludeHiding
exponent corresponds to the second component of decodeFloat. exponent 0 = 0 and for finite nonzero x, exponent x = snd (decodeFloat x) + floatDigits x. If x is a finite floating-point number, it is equal in value to significand x * b ^^ exponent x, where b is the floating-point radix. The behaviour is unspecified on infinite or NaN values.
type ExpType t = t
mixed-types-num Numeric.MixedTypes.Elementary
class CanExp t
mixed-types-num Numeric.MixedTypes.Elementary
A replacement for Prelude's exp. If Floating t, then one can use the default implementation to mirror Prelude's exp.
type CanExpSameType t = (CanExp t, ExpType t ~ t)
mixed-types-num Numeric.MixedTypes.Elementary
powUsingExpLog :: (CanLogSameType t, CanExpSameType t, CanTestInteger t, CanTestZero t) => t -> (t -> t -> t) -> (t -> t) -> t -> t -> t
mixed-types-num Numeric.MixedTypes.Elementary
specCanExpReal :: _ => T t -> Spec
mixed-types-num Numeric.MixedTypes.Elementary
HSpec properties that each implementation of CanExp should satisfy.