Language.Haskell.Tools.BackendGHC.GHCUtils

Utility functions defined on the GHC AST representation.

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