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

Safe HaskellNone

Feldspar.Core.Constructs.Complex

Documentation

data COMPLEX a whereSource

Constructors

MkComplex :: (Type a, RealFloat a) => COMPLEX (a :-> (a :-> Full (Complex a))) 
RealPart :: (Type a, RealFloat a) => COMPLEX (Complex a :-> Full a) 
ImagPart :: (Type a, RealFloat a) => COMPLEX (Complex a :-> Full a) 
Conjugate :: (Type a, RealFloat a) => COMPLEX (Complex a :-> Full (Complex a)) 
MkPolar :: (Type a, RealFloat a) => COMPLEX (a :-> (a :-> Full (Complex a))) 
Magnitude :: (Type a, RealFloat a) => COMPLEX (Complex a :-> Full a) 
Phase :: (Type a, RealFloat a) => COMPLEX (Complex a :-> Full a) 
Cis :: (Type a, RealFloat a) => COMPLEX (a :-> Full (Complex a)) 

Instances

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