feldspar-language-0.3.1: A functional embedded language for DSP and parallelism
Source code
Contents
Index
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
where
Source
Methods
addFF
::
Int
-> a -> a -> a
Source
recipFF
::
Int
-> a -> a
Source
divFF
::
Int
-> a -> a -> a
Source
Instances
FixFloatLike
Fix
FixFloatLike
UFix8
FixFloatLike
Fix8
FixFloatLike
UFix16
FixFloatLike
Fix16
FixFloatLike
UFix32
FixFloatLike
Fix32
FixFloatLike
(
Data
Float
)
class
FromFloat
t
where
Source
Methods
float
::
Float
-> t
Source
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
a
Source
rightShift
::
Bits
a =>
Data
a ->
Int
->
Data
a
Source
Produced by
Haddock
version 2.6.1