Feldspar.Core.Frontend

class Syntactic a

type SyntacticFeld a

type family Internal a1 :: *

type FeldDomainAll

data Data a

class Syntax a

reifyFeld

showExpr

printExpr

showAST

drawAST

showDecor

drawDecor

eval

evalTarget

desugar

sugar

resugar

QuickCheck

(===>)

(===)

Type constraints

tData

tArr1

tArr2

tM

Functions

ilog2

nlz