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

Feldspar.Core.Functions.Integral

Synopsis

Documentation

class (Numeric a, BoundedInt a, Bits a, Ord a) => Integral a where

Redefinition of the standard Integral class for Feldspar

Methods

quot :: Data a -> Data a -> Data a

rem :: Data a -> Data a -> Data a

div :: Data a -> Data a -> Data a

mod :: Data a -> Data a -> Data a

(^) :: Data a -> Data a -> Data a

defaultQuot :: Integral a => Data a -> Data a -> Data a

optQuot :: (Integral a, BoundedInt a, Size a ~ Range a) => Data a -> Data a -> Data a

defaultDiv :: Integral a => Data a -> Data a -> Data a

defaultMod :: Integral a => Data a -> Data a -> Data a

optRem :: (Integral a, BoundedInt a, Size a ~ Range a) => Data a -> Data a -> Data a

optMod :: (Integral a, BoundedInt b, Size a ~ Range b) => Data a -> Data a -> Data a

optExp :: Integral a => (Size a -> Size a -> Size a) -> Data a -> Data a -> Data a

optSignedExp :: (Integral a, Signed a, BoundedInt b, Size a ~ Range b) => Data a -> Data a -> Data a