Feldspar.Core.Functions.Integral
- class (Numeric a, BoundedInt a, Bits a, Ord a) => Integral a where
- 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
Documentation
class (Numeric a, BoundedInt a, Bits a, Ord a) => Integral a where
Redefinition of the standard Integral
class for Feldspar
defaultQuot :: Integral 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
optSignedExp :: (Integral a, Signed a, BoundedInt b, Size a ~ Range b) => Data a -> Data a -> Data a