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