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