Feldspar.Core.Types

Contents

• Heterogenous lists
• Integers
• Type/data representation
• Size propagation

Synopsis

• data a :> b = a :> b
• newtype DefaultWord = DefaultWord Word32
• newtype DefaultInt = DefaultInt Int32
• type Length = DefaultWord
• type Index = DefaultWord
• class Signed a
• data TypeRep
  • = BoolType
  • | forall a . (BoundedInt a, Typeable a) => IntType {
    • intRange :: Range a
    }
  • | FloatType
  • | UserType String
  • | ComplexType TypeRep
  • | ArrayType (Range Length) TypeRep
  • | StructType [TypeRep]
• data DataRep
  • = BoolData Bool
  • | IntData Integer
  • | FloatData Float
  • | ComplexData DataRep DataRep
  • | ArrayData [DataRep]
  • | StructData [DataRep]
• class (Eq a, Show a, Typeable a, Eq (Size a), Show (Size a), Set (Size a)) => Type a where
  • type Size a
  • dataRep :: a -> DataRep
  • typeRep :: Tagged a (Size a) -> TypeRep
  • sizeOf :: a -> Size a
• class MetaType role a where
  • listTypes :: [Int] -> Proxy role -> Proxy a -> [([Int], TypeRep)]
• typeRep' :: forall a. Type a => a -> TypeRep
• isNil :: Type a => a -> Bool
• class FullProp a where
  • fullProp :: a

Heterogenous lists

Integers

Type/data representation

Size propagation