ghc/compiler/specialise/Specialise.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Specialise where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import CoreSyn(CoreBinding)
   6 import FiniteMap(FiniteMap)
   7 import Id(Id)
   8 import Maybes(Labda)
   9 import SplitUniq(SplitUniqSupply)
  10 import TyCon(TyCon)
  11 import UniType(UniType)
  12 data Bag a
  13 data FiniteMap a b
  14 data SpecialiseData   = SpecData Bool Bool [TyCon] [TyCon] (FiniteMap TyCon [[Labda UniType]]) (Bag (Id, [Labda UniType])) (Bag (Id, [Labda UniType])) (Bag (TyCon, [Labda UniType]))
  15 initSpecData :: [TyCon] -> FiniteMap TyCon [[Labda UniType]] -> SpecialiseData
  16 specProgram :: (GlobalSwitch -> Bool) -> SplitUniqSupply -> [CoreBinding Id Id] -> SpecialiseData -> ([CoreBinding Id Id], SpecialiseData)
  17