Feldspar.Core.Functions.Integral

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

Instances

Integral Int8

Integral Int16

Integral Int32

Integral Word8

Integral Word16

Integral Word32

Integral DefaultInt

Integral DefaultWord

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