| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
SetLevels
Documentation
setLevels :: FloatOutSwitches -> CoreProgram -> UniqSupply -> [LevelledBind] #
Constructors
| BndrLvl | |
| JoinCeilLvl |
isJoinCeilLvl :: Level -> Bool #
asJoinCeilLvl :: Level -> Level #
type LevelledBind = TaggedBind FloatSpec #
type LevelledExpr = TaggedExpr FloatSpec #
type LevelledBndr = TaggedBndr FloatSpec #
floatSpecLevel :: FloatSpec -> Level #
incMinorLvl :: Level -> Level #