fact package:ghc

type family Fact (x :: Extensibility) f
ghc GHC.Cmm.Dataflow
fact_bot :: DataflowLattice a -> a
ghc GHC.Cmm.Dataflow
fact_join :: DataflowLattice a -> JoinFun a
ghc GHC.Cmm.Dataflow
type FactBase f = LabelMap f
ghc GHC.Cmm.Dataflow GHC.Cmm.Dataflow.Label
simplTickFactor :: DynFlags -> Int
ghc GHC GHC.Driver.DynFlags GHC.Driver.Session
Multiplier for simplifier ticks
data JoinedFact a
ghc GHC.Cmm.Dataflow
The result of joining OldFact and NewFact.
newtype NewFact a
ghc GHC.Cmm.Dataflow
NewFact :: a -> NewFact a
ghc GHC.Cmm.Dataflow
newtype OldFact a
ghc GHC.Cmm.Dataflow
OldFact :: a -> OldFact a
ghc GHC.Cmm.Dataflow
getFact :: DataflowLattice f -> Label -> FactBase f -> f
ghc GHC.Cmm.Dataflow
joinFacts :: DataflowLattice f -> [f] -> f
ghc GHC.Cmm.Dataflow
joinOutFacts :: forall n f (e :: Extensibility) . NonLocal n => DataflowLattice f -> n e C -> FactBase f -> f
ghc GHC.Cmm.Dataflow
Returns the result of joining the facts from all the successors of the provided node or block.
mkFactBase :: DataflowLattice f -> [(Label, f)] -> FactBase f
ghc GHC.Cmm.Dataflow
Returns the joined facts for each label.
lookupFact :: Label -> FactBase f -> Maybe f
ghc GHC.Cmm.Dataflow.Label
te_tick_factor :: TopEnvConfig -> !Int
ghc GHC.Core.Opt.Simplify.Monad
ts_facts :: TmState -> !UniqSDFM Id VarInfo
ghc GHC.HsToCore.Pmc.Solver.Types
Facts about term variables. Deterministic env, so that we generate deterministic error messages.
ifActivation :: IfaceRule -> Activation
ghc GHC.Iface.Syntax