Feldspar.Core.Types
data a :> b
data WordN
data IntN
data N8
data N16
data N32
data N64
data NNative
data BitWidth n
data U
data S
data Signedness s
type family GenericInt s n
type family WidthOf a
type family SignOf a
type Length
type Index
data TargetArr n a
class MonadType m
type Mut
type MArr a
type Par
type IV
data FVal a
data TypeRep a
data TypeEq a b
type family TargetType n a
class Type a
data AnySize
type family Size a
data RangeSet a