Synthesizer.LLVM.Complex

Documentation

data T a :: * -> *

Complex numbers are an algebraic type.

Instances

Functor T

C T

(Show v, C v, C v, C a v) => C a (T v)

(C a, C a v) => C a (T v)

(Ord a, C a v) => C a (T v)

Sqr a b => Sqr a (T b)

(C a, Sqr a b) => C a (T b)

C a b => C a (T b)

C a b => C a (T b)

The '(*>)' method can't replace scale because it requires the Algebra.Module constraint

Eq a => Eq (T a)

(Floating a, Eq a) => Fractional (T a)

(Floating a, Eq a) => Num (T a)

Read a => Read (T a)

Show a => Show (T a)

Arbitrary a => Arbitrary (T a)

Storable a => Storable (T a)

(C a, C a, C a, Power a) => C (T a)

(C a, C a, Power a) => C (T a)

C a => C (T a)

(C a, C a, C a) => C (T a)

(Ord a, C a, C a) => C (T a)

(Ord a, C a) => C (T a)

C a => C (T a)

C a => C (T a)

C a => C (T a)

C a => C (T a)

C a => C (T a)

Flatten a => Flatten (T a)

type Struct (T l) = Struct (Struct l)

type Registers (T a) = T (Registers a)

type Struct a = Struct (a, (a, ()))

(+:) :: a -> a -> T a infix 6

Construct a complex number from real and imaginary part.

cis :: C a => a -> T a

cis t is a complex value with magnitude 1 and phase t (modulo 2*pi).

scale :: C a => a -> T a -> T a

Scale a complex number by a real number.

constOf :: IsConst a => T a -> ConstValue (Struct a)

unfold :: Value (Struct a) -> T (T (Value a))