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