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