Feldspar.Core.Types

Contents

• Heterogenous lists
• Integers
• Arrays
• Monadic Types
• Mutable data
• Par Monad
• Future values
• Type representation
• Sized types

Synopsis

• data a :> b = a :> b
• newtype WordN = WordN Word32
• newtype IntN = IntN Int32
• data N8
• data N16
• data N32
• data N64
• data NNative
• data BitWidth n where
  • N8 :: BitWidth N8
  • N16 :: BitWidth N16
  • N32 :: BitWidth N32
  • N64 :: BitWidth N64
  • NNative :: BitWidth NNative
• bitWidth :: BitWidth n -> String
• data U
• data S
• data Signedness s where
  • U :: Signedness U
  • S :: Signedness S
• signedness :: Signedness s -> String
• type family GenericInt s n
• type family WidthOf a
• type family SignOf a
• fromWordN :: BitWidth n -> WordN -> GenericInt U n
• fromIntN :: BitWidth n -> IntN -> GenericInt S n
• genericLen :: BitWidth n -> [a] -> GenericInt U n
• type Length = WordN
• type Index = WordN
• data TargetArr n a = TargetArr (GenericInt U n) [a]
• class MonadType m where
  • voidTypeRep :: TypeRep (m ())
• type Mut = IO
• type MArr a = IOArray Index a
• type Par = Par
• type IV = IVar
• newtype FVal a = FVal {
  • unFVal :: a
  }
• data TypeRep a where
  • UnitType :: TypeRep ()
  • BoolType :: TypeRep Bool
  • IntType :: (BoundedInt (GenericInt s n), Size (GenericInt s n) ~ Range (GenericInt s n)) => Signedness s -> BitWidth n -> TypeRep (GenericInt s n)
  • FloatType :: TypeRep Float
  • ComplexType :: RealFloat a => TypeRep a -> TypeRep (Complex a)
  • ArrayType :: TypeRep a -> TypeRep [a]
  • TargetArrType :: BitWidth n -> TypeRep a -> TypeRep (TargetArr n a)
  • Tup2Type :: TypeRep a -> TypeRep b -> TypeRep (a, b)
  • Tup3Type :: TypeRep a -> TypeRep b -> TypeRep c -> TypeRep (a, b, c)
  • Tup4Type :: TypeRep a -> TypeRep b -> TypeRep c -> TypeRep d -> TypeRep (a, b, c, d)
  • Tup5Type :: TypeRep a -> TypeRep b -> TypeRep c -> TypeRep d -> TypeRep e -> TypeRep (a, b, c, d, e)
  • Tup6Type :: TypeRep a -> TypeRep b -> TypeRep c -> TypeRep d -> TypeRep e -> TypeRep f -> TypeRep (a, b, c, d, e, f)
  • Tup7Type :: TypeRep a -> TypeRep b -> TypeRep c -> TypeRep d -> TypeRep e -> TypeRep f -> TypeRep g -> TypeRep (a, b, c, d, e, f, g)
  • FunType :: TypeRep a -> TypeRep b -> TypeRep (a -> b)
  • MutType :: TypeRep a -> TypeRep (Mut a)
  • RefType :: TypeRep a -> TypeRep (IORef a)
  • MArrType :: TypeRep a -> TypeRep (MArr a)
  • ParType :: TypeRep a -> TypeRep (Par a)
  • IVarType :: TypeRep a -> TypeRep (IV a)
  • FValType :: TypeRep a -> TypeRep (FVal a)
• argType :: TypeRep (a -> b) -> TypeRep a
• resType :: TypeRep (a -> b) -> TypeRep b
• data TypeEq a b where
  • TypeEq :: TypeEq a a
• defaultSize :: TypeRep a -> Size a
• signEq :: Signedness s1 -> Signedness s2 -> Maybe (TypeEq s1 s2)
• widthEq :: BitWidth n1 -> BitWidth n2 -> Maybe (TypeEq n1 n2)
• typeEq :: TypeRep a -> TypeRep b -> Maybe (TypeEq a b)
• showTup :: [String] -> String
• type family TargetType n a
• class (Eq a, Show a, Typeable a, Show (Size a), Lattice (Size a)) => Type a where
  • typeRep :: TypeRep a
  • sizeOf :: a -> Size a
  • toTarget :: BitWidth n -> a -> TargetType n a
• typeRepByProxy :: Type a => Proxy a -> TypeRep a
• data AnySize = AnySize
• anySizeFun :: AnySize -> AnySize
• anySizeFun2 :: AnySize -> AnySize -> AnySize
• type family Size a
• data RangeSet a where
  • RangeSet :: BoundedInt a => Range a -> RangeSet a
  • Universal :: RangeSet a
• sizeToRange :: forall a. Type a => Size a -> RangeSet a
• tIntN :: Patch IntN IntN
• tWordN :: Patch WordN WordN
• tIndex :: Patch Index Index
• tLength :: Patch Length Length
• tArr :: Patch a a -> Patch [a] [a]

Heterogenous lists

Integers

Arrays

Monadic Types

Mutable data

Par Monad

Future values

Type representation

Sized types