Data.Array.Accelerate.Type

Documentation

module Data.Int

module Data.Word

module Foreign.C.Types

myMkTyCon :: String -> TyCon

class Typeable8 t where

Methods

typeOf8 :: t a b c d e f g h -> TypeRep

Instances

Typeable8 (,,,,,,,)

(Typeable9 s, Typeable a) => Typeable8 (s a)

typeOf7Default :: (Typeable8 t, Typeable a) => t a b c d e f g h -> TypeRep

class Typeable9 t where

Methods

typeOf9 :: t a b c d e f g h i -> TypeRep

Instances

Typeable9 (,,,,,,,,)

typeOf8Default :: (Typeable9 t, Typeable a) => t a b c d e f g h i -> TypeRep

data IntegralDict a where

Constructors

IntegralDict :: (Bounded a, Enum a, Eq a, Ord a, Show a, Bits a, Integral a, Num a, Real a, Storable a) => IntegralDict a

data FloatingDict a where

Constructors

FloatingDict :: (Enum a, Eq a, Ord a, Show a, Floating a, Fractional a, Num a, Real a, RealFrac a, RealFloat a, Storable a) => FloatingDict a

data NonNumDict a where

Constructors

NonNumDict :: (Bounded a, Enum a, Eq a, Ord a, Show a, Storable a) => NonNumDict a

data IntegralType a where

Integral types supported in array computations.

Constructors

TypeInt :: IntegralDict Int -> IntegralType Int

TypeInt8 :: IntegralDict Int8 -> IntegralType Int8

TypeInt16 :: IntegralDict Int16 -> IntegralType Int16

TypeInt32 :: IntegralDict Int32 -> IntegralType Int32

TypeInt64 :: IntegralDict Int64 -> IntegralType Int64

TypeWord :: IntegralDict Word -> IntegralType Word

TypeWord8 :: IntegralDict Word8 -> IntegralType Word8

TypeWord16 :: IntegralDict Word16 -> IntegralType Word16

TypeWord32 :: IntegralDict Word32 -> IntegralType Word32

TypeWord64 :: IntegralDict Word64 -> IntegralType Word64

TypeCShort :: IntegralDict CShort -> IntegralType CShort

TypeCUShort :: IntegralDict CUShort -> IntegralType CUShort

TypeCInt :: IntegralDict CInt -> IntegralType CInt

TypeCUInt :: IntegralDict CUInt -> IntegralType CUInt

TypeCLong :: IntegralDict CLong -> IntegralType CLong

TypeCULong :: IntegralDict CULong -> IntegralType CULong

TypeCLLong :: IntegralDict CLLong -> IntegralType CLLong

TypeCULLong :: IntegralDict CULLong -> IntegralType CULLong

Instances

Show (IntegralType a)

data FloatingType a where

Floating-point types supported in array computations.

Constructors

TypeFloat :: FloatingDict Float -> FloatingType Float

TypeDouble :: FloatingDict Double -> FloatingType Double

TypeCFloat :: FloatingDict CFloat -> FloatingType CFloat

TypeCDouble :: FloatingDict CDouble -> FloatingType CDouble

Instances

Show (FloatingType a)

data NonNumType a where

Non-numeric types supported in array computations.

Constructors

TypeBool :: NonNumDict Bool -> NonNumType Bool

TypeChar :: NonNumDict Char -> NonNumType Char

TypeCChar :: NonNumDict CChar -> NonNumType CChar

TypeCSChar :: NonNumDict CSChar -> NonNumType CSChar

TypeCUChar :: NonNumDict CUChar -> NonNumType CUChar

Instances

Show (NonNumType a)

data NumType a where

Numeric element types implement Num & Real

Constructors

IntegralNumType :: IntegralType a -> NumType a

FloatingNumType :: FloatingType a -> NumType a

Instances

Show (NumType a)

data BoundedType a where

Bounded element types implement Bounded

Constructors

IntegralBoundedType :: IntegralType a -> BoundedType a

NonNumBoundedType :: NonNumType a -> BoundedType a

Instances

Show (BoundedType a)

data ScalarType a where

All scalar element types implement Eq, Ord & Enum

Constructors

NumScalarType :: NumType a -> ScalarType a

NonNumScalarType :: NonNumType a -> ScalarType a

Instances

Show (ScalarType a)

class (IsScalar a, IsNum a, IsBounded a) => IsIntegral a where

Integral types

Methods

integralType :: IntegralType a

Instances

IsIntegral Int

IsIntegral Int8

IsIntegral Int16

IsIntegral Int32

IsIntegral Int64

IsIntegral Word

IsIntegral Word8

IsIntegral Word16

IsIntegral Word32

IsIntegral Word64

IsIntegral CShort

IsIntegral CUShort

IsIntegral CInt

IsIntegral CUInt

IsIntegral CLong

IsIntegral CULong

IsIntegral CLLong

IsIntegral CULLong

class (Floating a, IsScalar a, IsNum a) => IsFloating a where

Floating types

Methods

floatingType :: FloatingType a

Instances

IsFloating Double

IsFloating Float

IsFloating CFloat

IsFloating CDouble

class IsNonNum a where

Non-numeric types

Methods

nonNumType :: NonNumType a

Instances

IsNonNum Bool

IsNonNum Char

IsNonNum CChar

IsNonNum CSChar

IsNonNum CUChar

class (Num a, IsScalar a) => IsNum a where

Numeric types

Methods

numType :: NumType a

Instances

IsNum Double

IsNum Float

IsNum Int

IsNum Int8

IsNum Int16

IsNum Int32

IsNum Int64

IsNum Word

IsNum Word8

IsNum Word16

IsNum Word32

IsNum Word64

IsNum CShort

IsNum CUShort

IsNum CInt

IsNum CUInt

IsNum CLong

IsNum CULong

IsNum CLLong

IsNum CULLong

IsNum CFloat

IsNum CDouble

class IsBounded a where

Bounded types

Methods

boundedType :: BoundedType a

Instances

IsBounded Bool

IsBounded Char

IsBounded Int

IsBounded Int8

IsBounded Int16

IsBounded Int32

IsBounded Int64

IsBounded Word

IsBounded Word8

IsBounded Word16

IsBounded Word32

IsBounded Word64

IsBounded CChar

IsBounded CSChar

IsBounded CUChar

IsBounded CShort

IsBounded CUShort

IsBounded CInt

IsBounded CUInt

IsBounded CLong

IsBounded CULong

IsBounded CLLong

IsBounded CULLong

class Typeable a => IsScalar a where

All scalar type

Methods

scalarType :: ScalarType a

Instances

IsScalar Bool

IsScalar Char

IsScalar Double

IsScalar Float

IsScalar Int

IsScalar Int8

IsScalar Int16

IsScalar Int32

IsScalar Int64

IsScalar Word

IsScalar Word8

IsScalar Word16

IsScalar Word32

IsScalar Word64

IsScalar CChar

IsScalar CSChar

IsScalar CUChar

IsScalar CShort

IsScalar CUShort

IsScalar CInt

IsScalar CUInt

IsScalar CLong

IsScalar CULong

IsScalar CLLong

IsScalar CULLong

IsScalar CFloat

IsScalar CDouble

integralDict :: IntegralType a -> IntegralDict a

floatingDict :: FloatingType a -> FloatingDict a

nonNumDict :: NonNumType a -> NonNumDict a

data TupleType a where

Constructors

UnitTuple :: TupleType ()

SingleTuple :: ScalarType a -> TupleType a

PairTuple :: TupleType a -> TupleType b -> TupleType (a, b)

data Boundary a

Boundary condition specification for stencil operations.

Constructors

Clamp

clamp coordinates to the extent of the array

Mirror

mirror coordinates beyond the array extent

Wrap

wrap coordinates around on each dimension

Constant a

use a constant value for outlying coordinates

Instances

Read a => Read (Boundary a)

Show a => Show (Boundary a)