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

Safe HaskellNone
LanguageHaskell2010

Feldspar.Core.Constructs.Num

Documentation

data NUM a where Source

Constructors

Abs :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a) 
Sign :: (Type a, Num a, Num (Size a)) => NUM (a :-> Full a) 
Add :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) 
Sub :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) 
Mul :: (Type a, Num a, Num (Size a)) => NUM (a :-> (a :-> Full a)) 

Instances