Feldspar.Compiler.Imperative.FromCore.Interpretation

type CodeWriter

data Readers

initReader

data Writers

type Task

data States

initState

type Location

class Compile sub dom

compileExprLoc

compileProgFresh

compileProgDecor

compileExprDecor

compileProg

compileExpr

compileExprVar

Utility functions

compileNumType

compileTypeRep

mkVarName

mkVar

mkVariable

freshId

freshVar

declare

tellDef

tellProg

tellDecl

assign

confiscateBlock

withAlias

isVariableOrLiteral

mkLength