Feldspar.Core.Types
- data a :> b = a :> b
- newtype DefaultWord = DefaultWord Word32
- newtype DefaultInt = DefaultInt Int32
- type Length = DefaultWord
- type Index = DefaultWord
- class Signed a
- data TypeRep
- data DataRep
- class (Eq a, Show a, Typeable a, Eq (Size a), Show (Size a), Set (Size a)) => Type a where
- class MetaType role a where
- typeRep' :: forall a. Type a => a -> TypeRep
- isNil :: Type a => a -> Bool
- class FullProp a where
- fullProp :: a
Heterogenous lists
Integers
type Length = DefaultWord
type Index = DefaultWord
class Signed a
The set of signed integer types
Type/data representation
data TypeRep
Representation of types
data DataRep
Representation of data
class (Eq a, Show a, Typeable a, Eq (Size a), Show (Size a), Set (Size a)) => Type a where
Associated Types
type Size a
Methods
typeRep :: Tagged a (Size a) -> TypeRep
Gives the type representation of a storable value.
Gives the size of a storable value.
Instances
| Type Bool | |
| Type Float | |
| Type Int8 | |
| Type Int16 | |
| Type Int32 | |
| Type Word8 | |
| Type Word16 | |
| Type Word32 | |
| Type () | |
| Type DefaultInt | |
| Type DefaultWord | |
| Type a => Type [a] | |
| (Type a, RealFloat a) => Type (Complex a) | |
| (Type a, Type b) => Type (a, b) | |
| (Type a, Type b, Type c) => Type (a, b, c) | |
| (Type a, Type b, Type c, Type d) => Type (a, b, c, d) |
class MetaType role a where