half-0.3: Half-precision floating-point

Copyright(C) 2014 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
PortabilityPatternSynonyms
Safe HaskellNone
LanguageHaskell98

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

Documentation

newtype Half #

Constructors

Half 

Fields

Instances
Eq Half # 
Instance details

Defined in Numeric.Half

Methods

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

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

Floating Half # 
Instance details

Defined in Numeric.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 # 
Instance details

Defined in Numeric.Half

Methods

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

recip :: Half -> Half #

fromRational :: Rational -> Half #

Num Half # 
Instance details

Defined in Numeric.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 # 
Instance details

Defined in Numeric.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 # 
Instance details

Defined in Numeric.Half

Real Half # 
Instance details

Defined in Numeric.Half

Methods

toRational :: Half -> Rational #

RealFloat Half # 
Instance details

Defined in Numeric.Half

RealFrac Half # 
Instance details

Defined in Numeric.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 # 
Instance details

Defined in Numeric.Half

Methods

showsPrec :: Int -> Half -> ShowS #

show :: Half -> String #

showList :: [Half] -> ShowS #

Generic Half # 
Instance details

Defined in Numeric.Half

Associated Types

type Rep Half :: Type -> Type #

Methods

from :: Half -> Rep Half x #

to :: Rep Half x -> Half #

Lift Half # 
Instance details

Defined in Numeric.Half

Methods

lift :: Half -> Q Exp #

Storable Half # 
Instance details

Defined in Numeric.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 # 
Instance details

Defined in Numeric.Half

Methods

rnf :: Half -> () #

type Rep Half # 
Instance details

Defined in Numeric.Half

type Rep Half = D1 (MetaData "Half" "Numeric.Half" "half-0.3-Ev8Lz3j60xACodwSKk6ogk" True) (C1 (MetaCons "Half" PrefixI True) (S1 (MetaSel (Just "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. (Eq a, Num a) => a #

Number of base 10 digits that can be represented without change

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

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