{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RebindableSyntax #-}
module Data.Array.Accelerate.Math.FFT.Type
where
import Data.Array.Accelerate as A
import Data.Array.Accelerate.Data.Complex as A
data NumericR a where
NumericRfloat32 :: NumericR Float
NumericRfloat64 :: NumericR Double
class (RealFloat a, FromIntegral Int a, Elt (Complex a)) => Numeric a where
numericR :: NumericR a
instance Numeric Float where
numericR = NumericRfloat32
instance Numeric Double where
numericR = NumericRfloat64