Safe Haskell | None |
---|
Documentation
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)) |
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 |