|
|
|
|
|
Description |
Defines types and classes for the data computed by Feldspar programs.
|
|
Synopsis |
|
|
|
|
Misc.
|
|
|
Used to pass a type to a function without using undefined.
| Constructors | |
|
|
|
|
|
Heterogeneous list
| Constructors | | Instances | |
|
|
|
| Methods | | | 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) |
|
|
|
|
|
Tuples
|
|
|
Untyped representation of nested tuples
| Constructors | | Instances | |
|
|
|
Shows a nested tuple in Haskell's tuple syntax (e.g "(a,(b,c))").
|
|
|
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
|
|
|
Untyped representation of primitive data
| Constructors | | Instances | |
|
|
|
Untyped representation of storable data (arrays of primitive data)
| Constructors | | Instances | |
|
|
Types
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Representation of primitive types
| Constructors | | Instances | |
|
|
|
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 | | Instances | |
|
|
|
|
|
Shows the size of a storable type.
|
|
|
Primitive types
| | Instances | |
|
|
|
Storable types (zero- or higher-level arrays of primitive data).
| | Methods | | Converts a storable value to its untyped representation.
| | | Gives the type representation of a storable value.
| | | Gives the size of a storable value.
| | |
| | Instances | |
|
|
|
| Associated Types | | 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 | | Gives the type representation of a storable value.
|
| | Instances | Typeable Bool | Typeable Float | Typeable Int | Typeable () | Typeable Signed8 | Typeable Unsigned8 | Typeable Signed16 | Typeable Unsigned16 | Typeable Signed32 | Typeable Unsigned32 | 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) |
|
|
|
|
Default implementation of typeOf for Storable types.
|
|
Produced by Haddock version 2.6.1 |