Data.Array.Accelerate.Fourier.Adhoc

The implementations in this module work entirely in the Acc domain. This means that they can be applied to any array without knowing their extent on the Haskell side. The downside is, that they cannot share any preprocessing.

Documentation

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

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

Automatically choose transformation algorithms according to the size of the array. However, they are not as sophisticated as the algorithms in Data.Array.Accelerate.Fourier.Planned.

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

Split-Radix for power-of-two sizes.

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

Decimation in time for power-of-two sizes.

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

Decimation in time for sizes that are composites of the factors 2, 3 and 5. These sizes are known as 5-smooth numbers or the Hamming sequence. http://oeis.org/A051037.

ceiling5Smooth :: Exp Int -> Exp Int

Next greater or equal 5-smooth number as needed by dit235.

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

Transformation of arbitrary length based on Bluestein on a power-of-two size.

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

Transformation of arbitrary length based on Bluestein on a 5-smooth size.

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 => Exp (Sign a)

inverse :: Num a => Exp (Sign a)

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

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

data SubTransform a

Constructors

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