Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.BackendGHC.GHCUtils

Description

Utility functions defined on the GHC AST representation.

Synopsis

class OutputableBndrId name => GHCName name where
- rdrName :: IdP name -> RdrName
- getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f (IdP name))
- getBindsAndSigs :: HsValBinds name -> ([LSig name], LHsBinds name)
- nameFromId :: Id -> IdP name
- fieldOccToId :: RdrName -> XCFieldOcc name -> IdP name
- nameIfThereIs :: IdP name -> Maybe Name
occName :: forall n. GHCName n => IdP n -> OccName
getFieldOccName :: forall n. GHCName n => Located (FieldOcc n) -> Located (IdP n)
getFieldOccName' :: forall n. GHCName n => FieldOcc n -> IdP n
getTopLevelId :: Name -> Ghc (Maybe Id)
hsGetNames' :: HsHasName a => a -> [Name]
class HsHasName a where
- hsGetNames :: Maybe Name -> a -> [(Name, Maybe Name)]
rdrNameStr :: RdrName -> String
class FromGHCName n where
- fromGHCName :: Name -> n
mergeFixityDefs :: [Located (FixitySig n)] -> [Located (FixitySig n)]
getGroupRange :: HsGroup (GhcPass n) -> SrcSpan
getHsValRange :: HsValBinds (GhcPass n) -> SrcSpan
fromSrcText :: SourceText -> String

Documentation

class OutputableBndrId name => GHCName name where Source #

Methods

rdrName :: IdP name -> RdrName Source #

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

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

nameFromId :: Id -> IdP name Source #

fieldOccToId :: RdrName -> XCFieldOcc name -> IdP name Source #

nameIfThereIs :: IdP name -> Maybe Name Source #

Instances

GHCName GhcPs Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods rdrName :: IdP GhcPs -> RdrName Source # getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f (IdP GhcPs)) Source # getBindsAndSigs :: HsValBinds GhcPs -> ([LSig GhcPs], LHsBinds GhcPs) Source # nameFromId :: Id -> IdP GhcPs Source # fieldOccToId :: RdrName -> XCFieldOcc GhcPs -> IdP GhcPs Source # nameIfThereIs :: IdP GhcPs -> Maybe Name Source #
GHCName GhcRn Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods rdrName :: IdP GhcRn -> RdrName Source # getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f (IdP GhcRn)) Source # getBindsAndSigs :: HsValBinds GhcRn -> ([LSig GhcRn], LHsBinds GhcRn) Source # nameFromId :: Id -> IdP GhcRn Source # fieldOccToId :: RdrName -> XCFieldOcc GhcRn -> IdP GhcRn Source # nameIfThereIs :: IdP GhcRn -> Maybe Name Source #

occName :: forall n. GHCName n => IdP n -> OccName Source #

getFieldOccName :: forall n. GHCName n => Located (FieldOcc n) -> Located (IdP n) Source #

getFieldOccName' :: forall n. GHCName n => FieldOcc n -> IdP n Source #

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

Loading ids for top-level ghc names

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

class HsHasName a where Source #

Get names from the GHC AST

Methods

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

Instances

HsHasName Id Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Id -> [(Name, Maybe Name)] Source #
HsHasName RdrName Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> RdrName -> [(Name, Maybe Name)] Source #
HsHasName Name Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Name -> [(Name, Maybe Name)] Source #
HsHasName e => HsHasName [e] Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> [e] -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (HsDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsDecl n -> [(Name, Maybe Name)] Source #
(GHCName (GhcPass n), HsHasName (IdP (GhcPass n))) => HsHasName (HsGroup (GhcPass n)) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsGroup (GhcPass n) -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (TyClDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> TyClDecl n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (TyClGroup n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> TyClGroup n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (FamilyDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> FamilyDecl n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (HsDataDefn n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsDataDefn n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (ConDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> ConDecl n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (HsConDeclDetails n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsConDeclDetails n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (DataFamInstDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> DataFamInstDecl n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (InstDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> InstDecl n -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (ForeignDecl n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> ForeignDecl n -> [(Name, Maybe Name)] Source #
HsHasName (IdP (GhcPass n)) => HsHasName (HsLocalBinds (GhcPass n)) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsLocalBinds (GhcPass n) -> [(Name, Maybe Name)] Source #
HsHasName (IdP (GhcPass n)) => HsHasName (HsValBinds (GhcPass n)) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsValBinds (GhcPass n) -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (HsBind n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsBind n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (Sig n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Sig n -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (HsTyVarBndr n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> HsTyVarBndr n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (ConDeclField n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> ConDeclField n -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n)) => HsHasName (FieldOcc n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> FieldOcc n -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (Pat n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Pat n -> [(Name, Maybe Name)] Source #
HsHasName n => HsHasName (Bag n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Bag n -> [(Name, Maybe Name)] Source #
HsHasName e => HsHasName (Located e) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Located e -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (Match n b) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> Match n b -> [(Name, Maybe Name)] Source #
HsHasName (IdP n) => HsHasName (ParStmtBlock l n) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> ParStmtBlock l n -> [(Name, Maybe Name)] Source #
HsHasName (IdP (GhcPass n)) => HsHasName (StmtLR (GhcPass n) (GhcPass n) b) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> StmtLR (GhcPass n) (GhcPass n) b -> [(Name, Maybe Name)] Source #
(GHCName n, HsHasName (IdP n), HsHasName r) => HsHasName (FamEqn n p r) Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods hsGetNames :: Maybe Name -> FamEqn n p r -> [(Name, Maybe Name)] Source #

rdrNameStr :: RdrName -> String Source #

Get the original form of a name

class FromGHCName n where Source #

Methods

fromGHCName :: Name -> n Source #

Instances

FromGHCName RdrName Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods fromGHCName :: Name -> RdrName Source #
FromGHCName Name Source #
Instance details Defined in Language.Haskell.Tools.BackendGHC.GHCUtils Methods fromGHCName :: Name -> Name Source #

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

getGroupRange :: HsGroup (GhcPass n) -> SrcSpan Source #

getHsValRange :: HsValBinds (GhcPass n) -> SrcSpan Source #

fromSrcText :: SourceText -> String Source #