Feldspar.Core.Types

Defines types and classes for the data computed by Feldspar programs.

Misc.

data T a

Used to pass a type to a function without using undefined.

Constructors

T

mkT :: a -> T a

data a :> b

Heterogeneous list

Constructors

a :> b

Instances

(Eq a, Eq b) => Eq (:> a b)

(Ord a, Ord b) => Ord (:> a b)

(Show a, Show b) => Show (:> a b)

(Monoid a, Monoid b) => Monoid (:> a b)

(Set a, Set b) => Set (:> a b)

class Set a where

Methods

universal :: a

Instances

Set ()

Ord a => Set (Range a)

(Set a, Set b) => Set (a, b)

(Set a, Set b) => Set (:> a b)

(Set a, Set b, Set c) => Set (a, b, c)

(Set a, Set b, Set c, Set d) => Set (a, b, c, d)

type Length = Int

Tuples

data Tuple a

Untyped representation of nested tuples

Constructors

One a

Tup [Tuple a]

Instances

Functor Tuple

Foldable Tuple

Traversable Tuple

Eq a => Eq (Tuple a)

Show a => Show (Tuple a)

HaskellValue a => HaskellValue (Tuple a)

HaskellType a => HaskellType (Tuple a)

showTuple :: Tuple String -> String

Shows a nested tuple in Haskell's tuple syntax (e.g "(a,(b,c))").

tuplePath :: Tuple a -> Tuple [Int]

Replaces each element by its path in the tuple tree. For example:

 tuplePath (Tup [One 'a',Tup [One 'b', One 'c']])
   ==
 Tup [One [0],Tup [One [1,0],One [1,1]]]

Data

data PrimitiveData

Untyped representation of primitive data

Constructors

UnitData ()

BoolData Bool

IntData Integer

FloatData Float

Instances

Eq PrimitiveData

Show PrimitiveData

HaskellValue PrimitiveData

data StorableData

Untyped representation of storable data (arrays of primitive data)

Constructors

PrimitiveData PrimitiveData

StorableData [StorableData]

Instances

Eq StorableData

Show StorableData

HaskellValue StorableData

Types

data PrimitiveType

Representation of primitive types

Constructors

UnitType

BoolType

IntType

Fields

signed :: Bool

bitSize :: Int

valueSet :: Range Integer

FloatType (Range Float)

Instances

Eq PrimitiveType

Show PrimitiveType

HaskellType PrimitiveType

data StorableType

Representation of storable types (arrays of primitive types). Array size is given as a list of ranged lengths, starting with outermost array level. Primitive types are treated as zero-dimensional arrays.

Constructors

StorableType [Range Length] PrimitiveType

Instances

Eq StorableType

Show StorableType

HaskellType StorableType

showStorableSize :: StorableType -> String

Shows the size of a storable type.

class Storable a => Primitive a where

Primitive types

Methods

primitiveData :: a -> PrimitiveData

Converts a primitive value to its untyped representation.

primitiveType :: Size a -> T a -> PrimitiveType

Gives the type representation of a primitive value.

Instances

Primitive Bool

Primitive Float

Primitive Int

Primitive ()

class Typeable a => Storable a where

Storable types (zero- or higher-level arrays of primitive data).

Methods

storableData :: a -> StorableData

Converts a storable value to its untyped representation.

storableType :: Size a -> T a -> StorableType

Gives the type representation of a storable value.

storableSize :: a -> Size a

Gives the size of a storable value.

listSize :: T a -> Size a -> [Range Length]

Instances

Storable Bool

Storable Float

Storable Int

Storable ()

Storable a => Storable [a]

class (Eq a, Ord a, Monoid (Size a), Set (Size a)) => Typeable a where

Associated Types

type Size a

This type provides the necessary extra information to compute a type representation Tuple StorableType from a type a. This is needed because the type a is missing information about sizes of arrays and primitive values.

Methods

typeOf :: Size a -> T a -> Tuple StorableType

Gives the type representation of a storable value.

Instances

Typeable Bool

Typeable Float

Typeable Int

Typeable ()

Storable a => Typeable [a]

(Typeable a, Typeable b) => Typeable (a, b)

(Typeable a, Typeable b, Typeable c) => Typeable (a, b, c)

(Typeable a, Typeable b, Typeable c, Typeable d) => Typeable (a, b, c, d)

typeOfStorable :: Storable a => Size a -> T a -> Tuple StorableType

Default implementation of typeOf for Storable types.

class (Num a, Primitive a, Num (Size a)) => Numeric a

Instances

Numeric Float

Numeric Int