Safe Haskell	Safe-Inferred
Language	Haskell2010

ConCat.FFT

Description

Generic FFT

Synopsis

dft :: forall f a. (ASZ f, Foldable f, RealFloat a) => Unop (f (Complex a))
class FFT f where
- type FFO f :: * -> *
- fft :: DFTTy f
- fftDummy :: f a
type DFTTy f = forall a. RealFloat a => f (Complex a) -> FFO f (Complex a)
genericFft :: (Generic1 f, Generic1 (FFO f), FFT (Rep1 f), FFO (Rep1 f) ~ Rep1 (FFO f)) => DFTTy f
type GFFT f = (Generic1 f, Generic1 (FFO f), FFT (Rep1 f), FFO (Rep1 f) ~ Rep1 (FFO f))
twiddle :: forall g f a. (ASZ g, ASZ f, RealFloat a) => Unop (g (f (Complex a)))
twiddles :: forall g f a. (ASZ g, ASZ f, RealFloat a) => g (f (Complex a))
omega :: RealFloat a => Int -> Complex a
cis :: Floating a => a -> Complex a
o8sq :: C

Documentation

dft :: forall f a. (ASZ f, Foldable f, RealFloat a) => Unop (f (Complex a)) Source #

class FFT f where Source #

Minimal complete definition

Associated Types

type FFO f :: * -> * Source #

Methods

Instances details

FFT Par1 Source #
Instance details Defined in ConCat.FFT Associated Types type FFO Par1 :: Type -> Type Source # Methods fft :: DFTTy Par1 Source # fftDummy :: Par1 a Source #
FFT Pair Source #
Instance details Defined in ConCat.FFT Associated Types type FFO Pair :: Type -> Type Source # Methods fft :: DFTTy Pair Source # fftDummy :: Pair a Source #
(Zip f, Traversable f, Traversable g, Applicative f, Applicative (FFO f), Applicative (FFO g), Zip (FFO g), Pointed f, Traversable (FFO g), Pointed (FFO g), FFT f, FFT g, LScan f, LScan (FFO g), Sized f, Sized (FFO g)) => FFT (g :.: f) Source #
Instance details Defined in ConCat.FFT Associated Types type FFO (g :.: f) :: Type -> Type Source # Methods fft :: DFTTy (g :.: f) Source # fftDummy :: (g :.: f) a Source #

type DFTTy f = forall a. RealFloat a => f (Complex a) -> FFO f (Complex a) Source #

Generic FFT

twiddle :: forall g f a. (ASZ g, ASZ f, RealFloat a) => Unop (g (f (Complex a))) Source #

twiddles :: forall g f a. (ASZ g, ASZ f, RealFloat a) => g (f (Complex a)) Source #

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