Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Unison.Runtime.ANF.Optimize
Documentation
optimize :: forall v. Var v => Map Reference (SuperGroup v) -> OptInfos v -> (Map Reference (SuperGroup v), OptInfos v) Source #
data InlineInfo v Source #
Constructors
InlInfo | |
Fields
|
Instances
Show v => Show (InlineInfo v) Source # | |
Defined in Unison.Runtime.ANF.Optimize Methods showsPrec :: Int -> InlineInfo v -> ShowS # show :: InlineInfo v -> String # showList :: [InlineInfo v] -> ShowS # | |
Var v => Eq (InlineInfo v) Source # | |
Defined in Unison.Runtime.ANF.Optimize |
data InlineClass Source #
Constructors
AnywhereInl | |
TailInl | |
Don'tInl |
Instances
type InlineInfos v = Map Reference (InlineInfo v) Source #
type OptInfos v = (Arities, InlineInfos v) Source #
optimizeHandler :: Var v => OptInfos v -> Reference -> SuperGroup v -> SuperGroup v Source #
buildOptInfos :: Var v => Map Reference (SuperGroup v) -> OptInfos v Source #