ghc/compiler/simplStg/StgSATMonad.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface StgSATMonad where
   3 import Id(Id)
   4 import SATMonad(Arg)
   5 import SplitUniq(SplitUniqSupply)
   6 import StgSyn(PlainStgExpr(..), StgBinding, StgExpr, StgRhs)
   7 import UniType(UniType)
   8 import UniqFM(UniqFM)
   9 data Id
  10 data SplitUniqSupply
  11 type PlainStgExpr = StgExpr Id Id
  12 data UniType
  13 getArgLists :: StgRhs Id Id -> ([Arg UniType], [Arg Id])
  14 saTransform :: Id -> StgRhs Id Id -> SplitUniqSupply -> UniqFM ([Arg UniType], [Arg Id]) -> (StgBinding Id Id, UniqFM ([Arg UniType], [Arg Id]))
  15