Feldspar.Core.Constructs.Complex

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

Safe Haskell | None

Feldspar.Core.Constructs.Complex

# Documentation

data COMPLEX a where

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

EvalBind COMPLEX |
Semantic COMPLEX |
Eval COMPLEX |
Render COMPLEX |
ToTree COMPLEX |
Equality 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 |