Data.Array.Accelerate.Fourier.Preprocessed

The implementations in this module require that you know the transformation data set size on the Haskell side. This knowledge is baked into the Accelerate code. The advantage is, that you can share preprocessing between calls to the Fourier transforms, like in:

let transform = dit2 1024
in  transform x ... transform y

Documentation

type Transform sh a = Acc (Array sh a) -> Acc (Array sh a)

ditSplitRadix :: (Slice sh, Shape sh, RealFloat a, FromIntegral Int a) => Sign a -> Int -> Transform (sh :. Int) (Complex a)

Decimation in time for power-of-two using the split-radix algorithm. Should be faster than dit2.

dit2 :: (Slice sh, Shape sh, RealFloat a, FromIntegral Int a) => Sign a -> Int -> Transform (sh :. Int) (Complex a)

Decimation in time for power-of-two sizes.

dif2 :: (Slice sh, Shape sh, RealFloat a, FromIntegral Int a) => Sign a -> Int -> Transform (sh :. Int) (Complex a)

Decimation in frequency for power-of-two sizes.

data Sign a

Instances

cst a => IsProduct cst (Sign a)

Associated Types

type ProdRepr (Sign a) :: *

Methods

fromProd :: proxy cst -> Sign a -> ProdRepr (Sign a)

toProd :: proxy cst -> ProdRepr (Sign a) -> Sign a

prod :: proxy cst -> Sign a -> ProdR cst (ProdRepr (Sign a))

(Lift Exp a, Elt (Plain a)) => Lift Exp (Sign a)

Associated Types

type Plain (Sign a) :: *

Methods

lift :: Sign a -> Exp (Plain (Sign a))

Elt a => Unlift Exp (Sign (Exp a))

Methods

unlift :: Exp (Plain (Sign (Exp a))) -> Sign (Exp a)

Eq a => Eq (Sign a)

Methods

(==) :: Sign a -> Sign a -> Bool

(/=) :: Sign a -> Sign a -> Bool

Show a => Show (Sign a)

Methods

showsPrec :: Int -> Sign a -> ShowS

show :: Sign a -> String

showList :: [Sign a] -> ShowS

Num a => Arbitrary (Sign a)

Methods

arbitrary :: Gen (Sign a)

shrink :: Sign a -> [Sign a]

Elt a => Elt (Sign a)

Methods

eltType :: Sign a -> TupleType (EltRepr (Sign a))

fromElt :: Sign a -> EltRepr (Sign a)

toElt :: EltRepr (Sign a) -> Sign a

type EltRepr (Sign a)

type EltRepr (Sign a) = EltRepr a

type ProdRepr (Sign a)

type ProdRepr (Sign a) = ((), a)

type Plain (Sign a)

type Plain (Sign a) = Sign (Plain a)

forward :: Num a => Sign a

inverse :: Num a => Sign a

transform2d :: (Shape sh, Slice sh, RealFloat a) => SubTransformPair (Complex a) -> Transform ((sh :. Int) :. Int) (Complex a)

Transforms in SubTransformPair are ordered from least-significant to most-significant dimension.

transform3d :: (Shape sh, Slice sh, RealFloat a) => SubTransformTriple (Complex a) -> Transform (((sh :. Int) :. Int) :. Int) (Complex a)

Transforms in SubTransformTriple are ordered from least-significant to most-significant dimension.

data SubTransformPair a

Constructors

SubTransformPair (forall sh. (Shape sh, Slice sh) => Transform (sh :. Int) a) (forall sh. (Shape sh, Slice sh) => Transform (sh :. Int) a)

data SubTransformTriple a

Constructors

SubTransformTriple (forall sh. (Shape sh, Slice sh) => Transform (sh :. Int) a) (forall sh. (Shape sh, Slice sh) => Transform (sh :. Int) a) (forall sh. (Shape sh, Slice sh) => Transform (sh :. Int) a)