Support for unified handling of scalars and vectors.
Attention:
The rounding and fraction functions only work
for floating point values with maximum magnitude of maxBound :: Int32
.
This way we save expensive handling of possibly seldom cases.
- class (Real a, IsFloating a) => Fraction a where
- truncate :: Value a -> CodeGenFunction r (Value a)
- fraction :: Value a -> CodeGenFunction r (Value a)
- signedFraction :: Fraction a => Value a -> CodeGenFunction r (Value a)
- addToPhase :: Fraction a => Value a -> Value a -> CodeGenFunction r (Value a)
- incPhase :: Fraction a => Value a -> Value a -> CodeGenFunction r (Value a)
- class Replicate scalar vector | vector -> scalar where
- replicate :: Value scalar -> CodeGenFunction r (Value vector)
- replicateConst :: ConstValue scalar -> ConstValue vector
- replicateOf :: (IsConst a, Replicate a v) => a -> Value v
- class IsArithmetic a => Real a where
- min :: Value a -> Value a -> CodeGenFunction r (Value a)
- max :: Value a -> Value a -> CodeGenFunction r (Value a)
- abs :: Value a -> CodeGenFunction r (Value a)
Documentation
class (Real a, IsFloating a) => Fraction a whereSource
truncate :: Value a -> CodeGenFunction r (Value a)Source
fraction :: Value a -> CodeGenFunction r (Value a)Source
signedFraction :: Fraction a => Value a -> CodeGenFunction r (Value a)Source
The fraction has the same sign as the argument. This is not particular useful but fast on IEEE implementations.
addToPhase :: Fraction a => Value a -> Value a -> CodeGenFunction r (Value a)Source
increment (first operand) may be negative, phase must always be non-negative
incPhase :: Fraction a => Value a -> Value a -> CodeGenFunction r (Value a)Source
both increment and phase must be non-negative
class Replicate scalar vector | vector -> scalar whereSource
replicate :: Value scalar -> CodeGenFunction r (Value vector)Source
replicateConst :: ConstValue scalar -> ConstValue vectorSource
replicateOf :: (IsConst a, Replicate a v) => a -> Value vSource
class IsArithmetic a => Real a whereSource