ghc/compiler/reader/ReadPragmas.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 3 #-}
   2 interface ReadPragmas where
   3 import BasicLit(BasicLit)
   4 import HsCore(UfId, UnfoldingCoreAtom, UnfoldingCoreExpr)
   5 import HsPragmas(ClassPragmas, DataPragmas, GenPragmas, InstancePragmas, TypePragmas)
   6 import HsTypes(MonoType, PolyType)
   7 import LiftMonad(LiftM)
   8 import Maybes(Labda)
   9 import PrefixSyn(RdrTySigPragmas)
  10 import ProtoName(ProtoName)
  11 import SimplEnv(UnfoldingGuidance)
  12 cvt_IdString :: [Char] -> ProtoName
  13         {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
  14 rdBasicLit :: [Char] -> LiftM (BasicLit, [Char])
  15         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  16 rdClassPragma :: [Char] -> LiftM (ClassPragmas ProtoName, [Char])
  17         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  18 rdCoreAtom :: [Char] -> LiftM (UnfoldingCoreAtom ProtoName, [Char])
  19         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  20 rdCoreBinder :: [Char] -> LiftM ((ProtoName, PolyType ProtoName), [Char])
  21         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  22 rdCoreExpr :: [Char] -> LiftM (UnfoldingCoreExpr ProtoName, [Char])
  23         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  24 rdCoreId :: [Char] -> LiftM (UfId ProtoName, [Char])
  25         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  26 rdCoreType :: [Char] -> LiftM (PolyType ProtoName, [Char])
  27         {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
  28 rdCoreTypeMaybe :: [Char] -> LiftM (Labda (PolyType ProtoName), [Char])
  29         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  30 rdDataPragma :: [Char] -> LiftM (DataPragmas ProtoName, [Char])
  31         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  32 rdGenPragma :: [Char] -> LiftM (GenPragmas ProtoName, [Char])
  33         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  34 rdGuidance :: [Char] -> LiftM (UnfoldingGuidance, [Char])
  35         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  36 rdInstPragma :: [Char] -> LiftM (Labda [Char], InstancePragmas ProtoName, [Char])
  37         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  38 rdMonoTypeMaybe :: [Char] -> LiftM (Labda (MonoType ProtoName), [Char])
  39         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  40 rdTySigPragmas :: [Char] -> LiftM (RdrTySigPragmas, [Char])
  41         {-# GHC_PRAGMA _A_ 1 _U_ 2 _S_ "S" _N_ _N_ #-}
  42 rdTypePragma :: [Char] -> LiftM (TypePragmas, [Char])
  43         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  44 rd_constm :: [Char] -> LiftM ((ProtoName, GenPragmas ProtoName), [Char])
  45         {-# GHC_PRAGMA _A_ 1 _U_ 1 _S_ "S" _N_ _N_ #-}
  46