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