Documentation

setLevels :: FloatOutSwitches -> CoreProgram -> UniqSupply -> [LevelledBind] Source

data Level Source

tOP_LEVEL :: Level Source

type LevelledBind = TaggedBind FloatSpec Source

type LevelledExpr = TaggedExpr FloatSpec Source

type LevelledBndr = TaggedBndr FloatSpec Source

data FloatSpec Source

floatSpecLevel :: FloatSpec -> Level Source

incMinorLvl :: Level -> Level Source

ltMajLvl :: Level -> Level -> Bool Source

ltLvl :: Level -> Level -> Bool Source

isTopLvl :: Level -> Bool Source