Language.Haskell.Tools.AST.FromGHC.Names

Functions that convert the basic elements of the GHC AST to corresponding elements in the Haskell-tools AST representation

Documentation

trfOperator :: TransformName n r => Located n -> Trf (Ann UOperator (Dom r) RangeStage)

trfOperator' :: TransformName n r => n -> Trf (UOperator (Dom r) RangeStage)

trfName :: TransformName n r => Located n -> Trf (Ann UName (Dom r) RangeStage)

trfName' :: TransformName n r => n -> Trf (UName (Dom r) RangeStage)

trfAmbiguousFieldName :: TransformName n r => Located (AmbiguousFieldOcc n) -> Trf (Ann UName (Dom r) RangeStage)

trfAmbiguousFieldName' :: forall n r. TransformName n r => SrcSpan -> AmbiguousFieldOcc n -> Trf (Ann UName (Dom r) RangeStage)

class (DataId n, Eq n, GHCName n) => TransformableName n where

Minimal complete definition

correctNameString, getDeclSplices, fromGHCName

Methods

correctNameString :: n -> Trf String

getDeclSplices :: Trf [Located (HsSplice n)]

fromGHCName :: Name -> n

Instances

TransformableName RdrName

Methods

correctNameString :: RdrName -> Trf String

getDeclSplices :: Trf [Located (HsSplice RdrName)]

fromGHCName :: Name -> RdrName

TransformableName Name

Methods

correctNameString :: Name -> Trf String

getDeclSplices :: Trf [Located (HsSplice Name)]

fromGHCName :: Name -> Name

class (TransformableName name, HsHasName name, TransformableName res, HsHasName res, GHCName res) => TransformName name res where

This class allows us to use the same transformation code for multiple variants of the GHC AST. GHC UName annotated with name can be transformed to our representation with semantic annotations of res.

Minimal complete definition

transformName

Methods

transformName :: name -> res

Demote a given name

Instances

((~) * n r, TransformableName n, HsHasName n) => TransformName n r

Methods

transformName :: n -> r

(TransformableName res, GHCName res, HsHasName res) => TransformName Name res

Methods

transformName :: Name -> res

trfImplicitName :: HsIPName -> Trf (Ann UName (Dom r) RangeStage)

trfQualifiedName :: TransformName n r => Located n -> Trf (Ann UQualifiedName (Dom r) RangeStage)

trfQualifiedName' :: TransformName n r => n -> Trf (UQualifiedName (Dom r) RangeStage)

trfNameStr :: String -> Trf (AnnListG UNamePart (Dom r) RangeStage)

Creates a qualified name from a name string

trfNameStr' :: String -> SrcLoc -> [Ann UNamePart (Dom r) RangeStage]

trfFastString :: Located FastString -> Trf (Ann UStringNode (Dom r) RangeStage)