ghc/compiler/abstractSyn/AbsSynFuns.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface AbsSynFuns where
   3 import HsBinds(Bind, Binds, MonoBinds)
   4 import HsDecls(ClassDecl, FixityDecl, InstDecl)
   5 import HsExpr(Expr, Qual)
   6 import HsImpExp(IE)
   7 import HsPat(InPat, TypecheckedPat)
   8 import HsTypes(MonoType)
   9 import Id(Id)
  10 import Maybes(Labda)
  11 import Name(Name)
  12 import PreludePS(_PackedString)
  13 import ProtoName(ProtoName)
  14 import RenameAuxFuns(PreludeNameFun(..))
  15 import SrcLoc(SrcLoc)
  16 import TyVar(TyVar)
  17 import UniType(UniType)
  18 type PreludeNameFun = _PackedString -> Labda Name
  19 cmpInstanceTypes :: MonoType ProtoName -> MonoType ProtoName -> Int#
  20 collectBinders :: Bind a (InPat a) -> [a]
  21 collectMonoBinders :: MonoBinds a (InPat a) -> [a]
  22 collectMonoBindersAndLocs :: MonoBinds a (InPat a) -> [(a, SrcLoc)]
  23 collectPatBinders :: InPat a -> [a]
  24 collectQualBinders :: [Qual Name (InPat Name)] -> [Name]
  25 collectTopLevelBinders :: Binds a (InPat a) -> [a]
  26 collectTypedBinders :: Bind Id TypecheckedPat -> [Id]
  27 collectTypedPatBinders :: TypecheckedPat -> [Id]
  28 extractMonoTyNames :: (a -> a -> Bool) -> MonoType a -> [a]
  29 getMentionedVars :: (_PackedString -> Labda Name) -> [IE] -> [FixityDecl ProtoName] -> [ClassDecl ProtoName (InPat ProtoName)] -> [InstDecl ProtoName (InPat ProtoName)] -> Binds ProtoName (InPat ProtoName) -> (Bool, [_PackedString])
  30 getNonPrelOuterTyCon :: MonoType ProtoName -> Labda ProtoName
  31 mkDictApp :: Expr Id TypecheckedPat -> [Id] -> Expr Id TypecheckedPat
  32 mkDictLam :: [Id] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
  33 mkTyApp :: Expr Id TypecheckedPat -> [UniType] -> Expr Id TypecheckedPat
  34 mkTyLam :: [TyVar] -> Expr Id TypecheckedPat -> Expr Id TypecheckedPat
  35