Numeric.Half

Half-precision floating-point values. These arise commonly in GPU work and it is useful to be able to compute them and compute with them on the CPU as well.

Documentation

newtype Half

Constructors

Half

Fields

• getHalf :: CUShort

Instances

Eq Half

Methods

(==) :: Half -> Half -> Bool

(/=) :: Half -> Half -> Bool

Floating Half

Methods

pi :: Half

exp :: Half -> Half

log :: Half -> Half

sqrt :: Half -> Half

(**) :: Half -> Half -> Half

logBase :: Half -> Half -> Half

sin :: Half -> Half

cos :: Half -> Half

tan :: Half -> Half

asin :: Half -> Half

acos :: Half -> Half

atan :: Half -> Half

sinh :: Half -> Half

cosh :: Half -> Half

tanh :: Half -> Half

asinh :: Half -> Half

acosh :: Half -> Half

atanh :: Half -> Half

log1p :: Half -> Half

expm1 :: Half -> Half

log1pexp :: Half -> Half

log1mexp :: Half -> Half

Fractional Half

Methods

(/) :: Half -> Half -> Half

recip :: Half -> Half

fromRational :: Rational -> Half

Num Half

Methods

(+) :: Half -> Half -> Half

(-) :: Half -> Half -> Half

(*) :: Half -> Half -> Half

negate :: Half -> Half

abs :: Half -> Half

signum :: Half -> Half

fromInteger :: Integer -> Half

Ord Half

Methods

compare :: Half -> Half -> Ordering

(<) :: Half -> Half -> Bool

(<=) :: Half -> Half -> Bool

(>) :: Half -> Half -> Bool

(>=) :: Half -> Half -> Bool

max :: Half -> Half -> Half

min :: Half -> Half -> Half

Read Half

Methods

readsPrec :: Int -> ReadS Half

readList :: ReadS [Half]

readPrec :: ReadPrec Half

readListPrec :: ReadPrec [Half]

Real Half

Methods

toRational :: Half -> Rational

RealFloat Half

Methods

floatRadix :: Half -> Integer

floatDigits :: Half -> Int

floatRange :: Half -> (Int, Int)

decodeFloat :: Half -> (Integer, Int)

encodeFloat :: Integer -> Int -> Half

exponent :: Half -> Int

significand :: Half -> Half

scaleFloat :: Int -> Half -> Half

isNaN :: Half -> Bool

isInfinite :: Half -> Bool

isDenormalized :: Half -> Bool

isNegativeZero :: Half -> Bool

isIEEE :: Half -> Bool

atan2 :: Half -> Half -> Half

RealFrac Half

Methods

properFraction :: Integral b => Half -> (b, Half)

truncate :: Integral b => Half -> b

round :: Integral b => Half -> b

ceiling :: Integral b => Half -> b

floor :: Integral b => Half -> b

Show Half

Methods

showsPrec :: Int -> Half -> ShowS

show :: Half -> String

showList :: [Half] -> ShowS

Generic Half

Associated Types

type Rep Half :: * -> *

Methods

from :: Half -> Rep Half x

to :: Rep Half x -> Half

Lift Half

Methods

lift :: Half -> Q Exp

Storable Half

Methods

sizeOf :: Half -> Int

alignment :: Half -> Int

peekElemOff :: Ptr Half -> Int -> IO Half

pokeElemOff :: Ptr Half -> Int -> Half -> IO ()

peekByteOff :: Ptr b -> Int -> IO Half

pokeByteOff :: Ptr b -> Int -> Half -> IO ()

peek :: Ptr Half -> IO Half

poke :: Ptr Half -> Half -> IO ()

NFData Half

Methods

rnf :: Half -> ()

type Rep Half

type Rep Half = D1 * (MetaData "Half" "Numeric.Half" "half-0.3-3luqzD8LSSdHO8DVtASdnL" True) (C1 * (MetaCons "Half" PrefixI True) (S1 * (MetaSel (Just Symbol "getHalf") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * CUShort)))

isZero :: Half -> Bool

Is this Half equal to 0?

fromHalf :: Half -> Float

Convert a Half to a Float while preserving NaN

toHalf :: Float -> Half

Convert a Float to a Half with proper rounding, while preserving NaN and dealing appropriately with infinity

pattern POS_INF :: Half

Positive infinity

pattern NEG_INF :: Half

Negative infinity

pattern QNaN :: Half

Quiet NaN

pattern SNaN :: Half

Signalling NaN

pattern HALF_MIN :: Half

Smallest positive half

pattern HALF_NRM_MIN :: Half

Smallest positive normalized half

pattern HALF_MAX :: Half

Largest positive half

pattern HALF_EPSILON :: Half

Smallest positive e for which half (1.0 + e) != half (1.0)

pattern HALF_DIG :: forall a. (Num a, Eq a) => a

Number of base 10 digits that can be represented without change

pattern HALF_MIN_10_EXP :: forall a. (Num a, Eq a) => a

pattern HALF_MAX_10_EXP :: forall a. (Num a, Eq a) => a