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

Safe HaskellNone

Feldspar.Core.Constructs.Num

Documentation

data NUM a whereSource

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

Semantic NUM 
StringTree NUM 
Render NUM 
Eval NUM 
Equality NUM 
EvalBind NUM 
Monotonic NUM 
Sharable NUM 
AlphaEq dom dom dom env => AlphaEq NUM NUM dom env 
SizeProp (:|| NUM Type) 
(:<: (:|| NUM Type) dom, :<: (:|| Literal Type) dom, :<: (:|| INTEGRAL Type) dom, :<: (:|| COMPLEX Type) dom, OptimizeSuper dom) => Optimize (:|| NUM Type) dom