ghc/compiler/stranal/SaAbsInt.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface SaAbsInt where
   3 import CoreSyn(CoreExpr)
   4 import Id(Id)
   5 import IdInfo(Demand)
   6 import SaLib(AbsVal, AbsValEnv, AnalysisKind)
   7 import UniType(UniType)
   8 absEval :: AnalysisKind -> CoreExpr Id Id -> AbsValEnv -> AbsVal
   9 findDemand :: AbsValEnv -> AbsValEnv -> CoreExpr Id Id -> Id -> Demand
  10 findStrictness :: (Bool, Bool) -> [UniType] -> AbsVal -> AbsVal -> [Demand]
  11 fixpoint :: AnalysisKind -> [Id] -> [CoreExpr Id Id] -> AbsValEnv -> [AbsVal]
  12 isBot :: AbsVal -> Bool
  13 widen :: AnalysisKind -> AbsVal -> AbsVal
  14