feldspar-language-0.3.3: A functional embedded language for DSP and parallelism

Feldspar.FixedPoint

Documentation

type Fix32 = (Int, Data Signed32)Source

type UFix32 = (Int, Data Unsigned32)Source

type Fix16 = (Int, Data Signed16)Source

type UFix16 = (Int, Data Unsigned16)Source

type Fix8 = (Int, Data Signed8)Source

type UFix8 = (Int, Data Unsigned8)Source

type Fix = (Int, Data Int)Source

intToFix :: Int -> Data Int -> Fix Source

intToFix32 :: Int -> Data Signed32 -> Fix32 Source

intToUFix32 :: Int -> Data Unsigned32 -> UFix32 Source

intToFix16 :: Int -> Data Signed16 -> Fix16 Source

intToUFix16 :: Int -> Data Unsigned16 -> UFix16 Source

intToFix8 :: Int -> Data Signed8 -> Fix8 Source

intToUFix8 :: Int -> Data Unsigned8 -> UFix8 Source

fixToInt :: Int -> Fix -> Data Int Source

fix32ToInt :: Int -> Fix32 -> Data Signed32 Source

uFix32ToInt :: Int -> UFix32 -> Data Unsigned32 Source

fix16ToInt :: Int -> Fix16 -> Data Signed16 Source

uFix16ToInt :: Int -> UFix16 -> Data Unsigned16 Source

fix8ToInt :: Int -> Fix8 -> Data Signed8 Source

uFix8ToInt :: Int -> UFix8 -> Data Unsigned8 Source

floatToFix :: Float -> Fix Source

floatToFix32 :: Float -> Fix32 Source

floatToUFix32 :: Float -> UFix32 Source

floatToFix16 :: Float -> Fix16 Source

floatToUFix16 :: Float -> UFix16 Source

floatToFix8 :: Float -> Fix8 Source

floatToUFix8 :: Float -> UFix8 Source

floatToFix32' :: Int -> Float -> Fix32 Source

floatToUFix32' :: Int -> Float -> UFix32 Source

floatToFix16' :: Int -> Float -> Fix16 Source

floatToUFix16' :: Int -> Float -> UFix16 Source

floatToFix8' :: Int -> Float -> Fix8 Source

floatToUFix8' :: Int -> Float -> UFix8 Source

toExp32 :: Int -> Fix32 -> Fix32 Source

toExpU32 :: Int -> UFix32 -> UFix32 Source

toExp16 :: Int -> Fix16 -> Fix16 Source

toExpU16 :: Int -> UFix16 -> UFix16 Source

toExp8 :: Int -> Fix8 -> Fix8 Source

toExpU8 :: Int -> UFix8 -> UFix8 Source

fixToFloat :: (Integral a, Integral b) => (a, Data b) -> Float Source

fix32ToFloat :: Fix32 -> Float Source

uFix32ToFloat :: UFix32 -> Float Source

fix16ToFloat :: Fix16 -> Float Source

uFix16ToFloat :: UFix16 -> Float Source

fix8ToFloat :: Fix8 -> Float Source

uFix8ToFloat :: UFix8 -> Float Source

inBounds :: Bool -> Int -> Int -> Bool Source

fl01toFix :: (Integral a, Integral b) => Bool -> Int -> Float -> (a, Data b) -> Bool -> (a, Data b)Source

fl01toFix' :: Float -> Fix -> Bool -> Fix Source

fl01toUFix32 :: Float -> UFix32 -> Bool -> UFix32 Source

fl01toFix32 :: Float -> Fix32 -> Bool -> Fix32 Source

fl01toUFix16 :: Float -> UFix16 -> Bool -> UFix16 Source

fl01toFix16 :: Float -> Fix16 -> Bool -> Fix16 Source

fl01toUFix8 :: Float -> UFix8 -> Bool -> UFix8 Source

fl01toFix8 :: Float -> Fix8 -> Bool -> Fix8 Source

zeroOneToFix :: Float -> Fix Source

zeroOneToFix32 :: Float -> Fix32 Source

zeroOneToUFix32 :: Float -> UFix32 Source

zeroOneToFix16 :: Float -> Fix16 Source

zeroOneToUFix16 :: Float -> UFix16 Source

zeroOneToFix8 :: Float -> Fix8 Source

zeroOneToUFix8 :: Float -> UFix8 Source

addFix :: (Integral b, Bits b) => Int -> (Int, Data b) -> (Int, Data b) -> (Int, Data b)Source

addFix'' :: Int -> Fix -> Fix -> Fix Source

addFix32 :: Int -> Fix32 -> Fix32 -> Fix32 Source

addUFix32 :: Int -> UFix32 -> UFix32 -> UFix32 Source

addFix16 :: Int -> Fix16 -> Fix16 -> Fix16 Source

addUFix16 :: Int -> UFix16 -> UFix16 -> UFix16 Source

addFix8 :: Int -> Fix8 -> Fix8 -> Fix8 Source

addUFix8 :: Int -> UFix8 -> UFix8 -> UFix8 Source

recipFix :: (Integral b, Bits b) => Int -> (Int, Data b) -> (Int, Data b)Source

recipFix' :: Int -> Fix -> Fix Source

recipFix32 :: Int -> Fix32 -> Fix32 Source

recipUFix32 :: Int -> UFix32 -> UFix32 Source

recipFix16 :: Int -> Fix16 -> Fix16 Source

recipUFix16 :: Int -> UFix16 -> UFix16 Source

recipFix8 :: Int -> Fix8 -> Fix8 Source

recipUFix8 :: Int -> UFix8 -> UFix8 Source

divFix :: (Integral b, Bits b) => Int -> (Int, Data b) -> (Int, Data b) -> (Int, Data b)Source

divFix' :: Int -> Fix -> Fix -> Fix Source

divFix32 :: Int -> Fix32 -> Fix32 -> Fix32 Source

divUFix32 :: Int -> UFix32 -> UFix32 -> UFix32 Source

divFix16 :: Int -> Fix16 -> Fix16 -> Fix16 Source

divUFix16 :: Int -> UFix16 -> UFix16 -> UFix16 Source

divFix8 :: Int -> Fix8 -> Fix8 -> Fix8 Source

divUFix8 :: Int -> UFix8 -> UFix8 -> UFix8 Source

addFix' :: (Integral b, Bits b) => (Int, Data b) -> (Int, Data b) -> (Int, Data b)Source

mulFix' :: (Integral b, Bits b) => (Int, Data b) -> (Int, Data b) -> (Int, Data b)Source

negate' :: (Integral b, Bits b) => (Int, Data b) -> (Int, Data b)Source

abs' :: (Integral b, Bits b) => (Int, Data b) -> (Int, Data b)Source

signum' :: (Integral b, Bits b) => (Int, Data b) -> (Int, Data b)Source

fromInteger' :: (Integral b, Bits b) => Integer -> (Int, Data b)Source

recip' :: (Integral b, Bits b) => Int -> (Int, Data b) -> (Int, Data b)Source

fromRational' :: (Integral b, Bits b, Num (Int, Data b)) => Bool -> Int -> (Float -> (Int, Data b)) -> (Integer -> (Int, Data b)) -> Rational -> (Int, Data b)Source

class FixFloatLike a whereSource

Methods

addFF :: Int -> a -> a -> aSource

recipFF :: Int -> a -> aSource

divFF :: Int -> a -> a -> aSource

Instances

FixFloatLike Fix
FixFloatLike UFix8
FixFloatLike Fix8
FixFloatLike UFix16
FixFloatLike Fix16
FixFloatLike UFix32
FixFloatLike Fix32
FixFloatLike (Data Float)

class FromFloat t whereSource

Methods

float :: Float -> tSource

Instances

FromFloat Fix
FromFloat UFix8
FromFloat Fix8
FromFloat UFix16
FromFloat Fix16
FromFloat UFix32
FromFloat Fix32
FromFloat (Data Float)

leftShift :: Bits a => Data a -> Int -> Data aSource

rightShift :: Bits a => Data a -> Int -> Data aSource