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

Safe HaskellNone

Feldspar.Core.Constructs.Integral

Documentation

data INTEGRAL a whereSource

Constructors

Quot :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) 
Rem :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) 
Div :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) 
Mod :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a)) 
Exp :: (Type a, BoundedInt a, Size a ~ Range a) => INTEGRAL (a :-> (a :-> Full a))