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