Feldspar.Core.Types

Heterogenous lists

data a :> b

Integers

data DefaultWord

data DefaultInt

type Length

type Index

class Signed a

Type/data representation

data TypeRep

data DataRep

class Type a

class MetaType role a

typeRep'

isNil

Size propagation

class FullProp a