Copyright | (C) 2014 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | PatternSynonyms |
Safe Haskell | None |
Language | Haskell98 |
Numeric.Half
Description
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.
Synopsis
- newtype Half = Half {
- getHalf :: CUShort
- isZero :: Half -> Bool
- fromHalf :: Half -> Float
- toHalf :: Float -> Half
- pattern POS_INF :: Half
- pattern NEG_INF :: Half
- pattern QNaN :: Half
- pattern SNaN :: Half
- pattern HALF_MIN :: Half
- pattern HALF_NRM_MIN :: Half
- pattern HALF_MAX :: Half
- pattern HALF_EPSILON :: Half
- pattern HALF_DIG :: (Eq a, Num a) => a
- pattern HALF_MIN_10_EXP :: (Eq a, Num a) => a
- pattern HALF_MAX_10_EXP :: (Eq a, Num a) => a
Documentation
Instances
Eq Half Source # | |
Floating Half Source # | |
Defined in Numeric.Half | |
Fractional Half Source # | |
Defined in Numeric.Half | |
Num Half Source # | |
Ord Half Source # | |
Read Half Source # | |
Defined in Numeric.Half | |
Real Half Source # | |
Defined in Numeric.Half Methods toRational :: Half -> Rational | |
RealFloat Half Source # | |
Defined in Numeric.Half Methods floatRadix :: Half -> Integer floatDigits :: Half -> Int floatRange :: Half -> (Int, Int) decodeFloat :: Half -> (Integer, Int) encodeFloat :: Integer -> Int -> Half significand :: Half -> Half scaleFloat :: Int -> Half -> Half isInfinite :: Half -> Bool isDenormalized :: Half -> Bool isNegativeZero :: Half -> Bool | |
RealFrac Half Source # | |
Show Half Source # | |
Generic Half Source # | |
Lift Half Source # | |
Defined in Numeric.Half | |
NFData Half Source # | |
Defined in Numeric.Half | |
Storable Half Source # | |
Defined in Numeric.Half Methods peekElemOff :: Ptr Half -> Int -> IO Half pokeElemOff :: Ptr Half -> Int -> Half -> IO () peekByteOff :: Ptr b -> Int -> IO Half pokeByteOff :: Ptr b -> Int -> Half -> IO () | |
type Rep Half Source # | |
Defined in Numeric.Half type Rep Half = D1 ('MetaData "Half" "Numeric.Half" "half-0.3-I0n1clSp3v8KdINIcPUEJZ" 'True) (C1 ('MetaCons "Half" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHalf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CUShort))) |
toHalf :: Float -> Half Source #
Convert a Float
to a Half
with proper rounding, while preserving NaN and dealing appropriately with infinity
pattern HALF_NRM_MIN :: Half Source #
Smallest positive normalized half
pattern HALF_EPSILON :: Half Source #
Smallest positive e for which half (1.0 + e) != half (1.0)
pattern HALF_DIG :: (Eq a, Num a) => a Source #
Number of base 10 digits that can be represented without change
pattern HALF_MIN_10_EXP :: (Eq a, Num a) => a Source #
pattern HALF_MAX_10_EXP :: (Eq a, Num a) => a Source #