Feldspar.Core.Types

# Heterogenous lists

data a :> b

# Integers

data WordN

data IntN

data N8

data N16

data N32

data N64

data NNative

data BitWidth n

bitWidth

data U

data S

data Signedness s

signedness

type family GenericInt s n

type family WidthOf a

type family SignOf a

fromWordN

fromIntN

genericLen

type Length

type Index

# Arrays

data TargetArr n a

# Monadic Types

class MonadType m

# Mutable data

type Mut

type MArr a

# Par Monad

type Par

type IV

# Future values

data FVal a

# Type representation

data TypeRep a

argType

resType

data TypeEq a b

defaultSize

signEq

widthEq

typeEq

showTup

type family TargetType n a

class Type a

typeRepByProxy

# Sized types

data AnySize

anySizeFun

anySizeFun2

type family Size a

data RangeSet a

sizeToRange

tIntN

tWordN

tIndex

tLength

tArr