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 :: 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

unpackPostRn :: RdrName -> PostRn name (IdP name) -> IdP name

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

Instances

GHCName GhcPs

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

rdrName :: IdP GhcPs -> RdrName

getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f (IdP GhcPs))

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

nameFromId :: Id -> IdP GhcPs

unpackPostRn :: RdrName -> PostRn GhcPs (IdP GhcPs) -> IdP GhcPs

gunpackPostRn :: a -> (IdP GhcPs -> a) -> PostRn GhcPs (IdP GhcPs) -> a

GHCName GhcRn

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

rdrName :: IdP GhcRn -> RdrName

getFromNameUsing :: Applicative f => (Name -> Ghc (f Id)) -> Name -> Ghc (f (IdP GhcRn))

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

nameFromId :: Id -> IdP GhcRn

unpackPostRn :: RdrName -> PostRn GhcRn (IdP GhcRn) -> IdP GhcRn

gunpackPostRn :: a -> (IdP GhcRn -> a) -> PostRn GhcRn (IdP GhcRn) -> a

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)

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

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Id -> [(Name, Maybe Name)]

HsHasName RdrName

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> RdrName -> [(Name, Maybe Name)]

HsHasName Name

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

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

HsHasName e => HsHasName [e]

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> [e] -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (HsDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsDecl n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (HsGroup n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsGroup n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (TyClDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> TyClDecl n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (TyClGroup n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> TyClGroup n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (FamilyDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> FamilyDecl n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (HsDataDefn n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsDataDefn n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (ConDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> ConDecl n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (HsConDeclDetails n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsConDeclDetails n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (DataFamInstDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> DataFamInstDecl n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (InstDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> InstDecl n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (ForeignDecl n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> ForeignDecl n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (HsLocalBinds n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsLocalBinds n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (HsValBinds n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsValBinds n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (HsBind n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsBind n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (Sig n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Sig n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (HsTyVarBndr n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> HsTyVarBndr n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (ConDeclField n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> ConDeclField n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n)) => HsHasName (FieldOcc n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> FieldOcc n -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (Pat n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Pat n -> [(Name, Maybe Name)]

HsHasName n => HsHasName (Bag n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Bag n -> [(Name, Maybe Name)]

HsHasName e => HsHasName (Located e)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Located e -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (Match n b)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Match n b -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (Stmt n b)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> Stmt n b -> [(Name, Maybe Name)]

HsHasName (IdP n) => HsHasName (ParStmtBlock l n)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> ParStmtBlock l n -> [(Name, Maybe Name)]

(GHCName n, HsHasName (IdP n), HsHasName r) => HsHasName (FamEqn n p r)

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

hsGetNames :: Maybe Name -> FamEqn n p r -> [(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

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

fromGHCName :: Name -> RdrName

FromGHCName Name

Defined in Language.Haskell.Tools.BackendGHC.GHCUtils

Methods

fromGHCName :: Name -> Name

cleanHsType :: forall n. (OutputableBndrId n, SourceTextX 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