Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.BackendGHC.GHCUtils

Description

Utility functions defined on the GHC AST representation.

Synopsis

Documentation

class OutputableBndrId name => GHCName name where #

Minimal complete definition

rdrName, getFromNameUsing, getBindsAndSigs, nameFromId, unpackPostRn, gunpackPostRn

Methods

rdrName :: name -> RdrName #

getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f name) #

getBindsAndSigs :: HsValBinds name -> ([LSig name], LHsBinds name) #

nameFromId :: Id -> name #

unpackPostRn :: RdrName -> PostRn name name -> name #

gunpackPostRn :: a -> (name -> a) -> PostRn name name -> a #

Instances

GHCName RdrName #
Methods rdrName :: RdrName -> RdrName # getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f RdrName) # getBindsAndSigs :: HsValBinds RdrName -> ([LSig RdrName], LHsBinds RdrName) # nameFromId :: Id -> RdrName # unpackPostRn :: RdrName -> PostRn RdrName RdrName -> RdrName # gunpackPostRn :: a -> (RdrName -> a) -> PostRn RdrName RdrName -> a #
GHCName Name #
Methods rdrName :: Name -> RdrName # getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f Name) # getBindsAndSigs :: HsValBinds Name -> ([LSig Name], LHsBinds Name) # nameFromId :: Id -> Name # unpackPostRn :: RdrName -> PostRn Name Name -> Name # gunpackPostRn :: a -> (Name -> a) -> PostRn Name Name -> a #

occName :: GHCName n => n -> OccName #

getFieldOccName :: GHCName n => Located (FieldOcc n) -> Located n #

getFieldOccName' :: GHCName n => FieldOcc n -> n #

getTopLevelId :: Name -> Ghc (Maybe Id) #

Loading ids for top-level ghc names

hsGetNames' :: HsHasName a => a -> [Name] #

class HsHasName a where #

Get names from the GHC AST

Minimal complete definition

hsGetNames

Methods

hsGetNames :: Maybe Name -> a -> [(Name, Maybe Name)] #

Instances

HsHasName Id #
Methods hsGetNames :: Maybe Name -> Id -> [(Name, Maybe Name)] #
HsHasName RdrName #
Methods hsGetNames :: Maybe Name -> RdrName -> [(Name, Maybe Name)] #
HsHasName Name #
Methods hsGetNames :: Maybe Name -> Name -> [(Name, Maybe Name)] #
HsHasName e => HsHasName [e] #
Methods hsGetNames :: Maybe Name -> [e] -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (HsDecl n) #
Methods hsGetNames :: Maybe Name -> HsDecl n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (HsGroup n) #
Methods hsGetNames :: Maybe Name -> HsGroup n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (TyClDecl n) #
Methods hsGetNames :: Maybe Name -> TyClDecl n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (TyClGroup n) #
Methods hsGetNames :: Maybe Name -> TyClGroup n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (FamilyDecl n) #
Methods hsGetNames :: Maybe Name -> FamilyDecl n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (HsDataDefn n) #
Methods hsGetNames :: Maybe Name -> HsDataDefn n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (ConDecl n) #
Methods hsGetNames :: Maybe Name -> ConDecl n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (HsConDeclDetails n) #
Methods hsGetNames :: Maybe Name -> HsConDeclDetails n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (DataFamInstDecl n) #
Methods hsGetNames :: Maybe Name -> DataFamInstDecl n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (InstDecl n) #
Methods hsGetNames :: Maybe Name -> InstDecl n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (ForeignDecl n) #
Methods hsGetNames :: Maybe Name -> ForeignDecl n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (HsLocalBinds n) #
Methods hsGetNames :: Maybe Name -> HsLocalBinds n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (HsValBinds n) #
Methods hsGetNames :: Maybe Name -> HsValBinds n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (HsBind n) #
Methods hsGetNames :: Maybe Name -> HsBind n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (Sig n) #
Methods hsGetNames :: Maybe Name -> Sig n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (HsTyVarBndr n) #
Methods hsGetNames :: Maybe Name -> HsTyVarBndr n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (ConDeclField n) #
Methods hsGetNames :: Maybe Name -> ConDeclField n -> [(Name, Maybe Name)] #
(GHCName n, HsHasName n) => HsHasName (FieldOcc n) #
Methods hsGetNames :: Maybe Name -> FieldOcc n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (Pat n) #
Methods hsGetNames :: Maybe Name -> Pat n -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (Bag n) #
Methods hsGetNames :: Maybe Name -> Bag n -> [(Name, Maybe Name)] #
HsHasName e => HsHasName (Located e) #
Methods hsGetNames :: Maybe Name -> Located e -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (Match n b) #
Methods hsGetNames :: Maybe Name -> Match n b -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (Stmt n b) #
Methods hsGetNames :: Maybe Name -> Stmt n b -> [(Name, Maybe Name)] #
HsHasName n => HsHasName (ParStmtBlock l n) #
Methods hsGetNames :: Maybe Name -> ParStmtBlock l n -> [(Name, Maybe Name)] #

rdrNameStr :: RdrName -> String #

Get the original form of a name

class FromGHCName n where #

Minimal complete definition

fromGHCName

Methods

fromGHCName :: Name -> n #

Instances

FromGHCName RdrName #
Methods fromGHCName :: Name -> RdrName #
FromGHCName Name #
Methods fromGHCName :: Name -> Name #

cleanHsType :: forall n. OutputableBndrId n => HsType n -> HsType n #

Tries to simplify the type that has HsAppsTy before renaming. Does not always provide the correct form. Treats each operator as if they are of equivalent precedence and always left-associative.

mergeFixityDefs :: [Located (FixitySig n)] -> [Located (FixitySig n)] #

getGroupRange :: HsGroup n -> SrcSpan #

getHsValRange :: HsValBinds n -> SrcSpan #

fromSrcText :: SourceText -> String #