Feldspar

Types

Syntax

data Data a

class Syntax a

data Comp a

Object-language types

data Complex a

class PrimType' a

class PrimType a

class Type a

type Length

type Index

data Ref a

type DRef a

data Arr a

type DArr a

data IArr a

type DIArr a

class Inhabited a

class Syntactic a

type family Domain a :: * -> *

type family Internal a :: *

Front end

eval

showAST

drawAST

class Bits a

class FiniteBits b

class Integral a

class Ord a

class RealFloat a

class RealFrac a

data Border i

type IxRange i

data AssertionLabel