Language.Haskell.Tools.AST.FromGHC.Exprs

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

Documentation

trfExpr :: forall n r. TransformName n r => Located (HsExpr n) -> Trf (Ann UExpr (Dom r) RangeStage)

createScopeInfo :: Trf ScopeInfo

trfExpr' :: TransformName n r => HsExpr n -> Trf (UExpr (Dom r) RangeStage)

trfFieldInits :: TransformName n r => HsRecFields n (LHsExpr n) -> Trf (AnnListG UFieldUpdate (Dom r) RangeStage)

trfFieldInit :: TransformName n r => Located (HsRecField n (LHsExpr n)) -> Trf (Ann UFieldUpdate (Dom r) RangeStage)

trfFieldUpdate :: TransformName n r => HsRecField' (AmbiguousFieldOcc n) (LHsExpr n) -> Trf (UFieldUpdate (Dom r) RangeStage)

trfAlt :: TransformName n r => Located (Match n (LHsExpr n)) -> Trf (Ann UAlt (Dom r) RangeStage)

trfAlt' :: TransformName n r => Match n (LHsExpr n) -> Trf (UAlt (Dom r) RangeStage)

gTrfAlt' :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> Match n (Located (ge n)) -> Trf (UAlt' ae (Dom r) RangeStage)

trfCaseRhss :: TransformName n r => [Located (GRHS n (LHsExpr n))] -> Trf (Ann UCaseRhs (Dom r) RangeStage)

gTrfCaseRhss :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> [Located (GRHS n (Located (ge n)))] -> Trf (Ann (UCaseRhs' ae) (Dom r) RangeStage)

trfGuardedCaseRhs :: TransformName n r => Located (GRHS n (LHsExpr n)) -> Trf (Ann UGuardedCaseRhs (Dom r) RangeStage)

trfGuardedCaseRhs' :: TransformName n r => GRHS n (LHsExpr n) -> Trf (UGuardedCaseRhs (Dom r) RangeStage)

gTrfGuardedCaseRhs' :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> GRHS n (Located (ge n)) -> Trf (UGuardedCaseRhs' ae (Dom r) RangeStage)

trfCmdTop :: TransformName n r => Located (HsCmdTop n) -> Trf (Ann UCmd (Dom r) RangeStage)

trfCmd :: TransformName n r => Located (HsCmd n) -> Trf (Ann UCmd (Dom r) RangeStage)

trfCmd' :: TransformName n r => HsCmd n -> Trf (UCmd (Dom r) RangeStage)

trfText' :: StringLiteral -> Trf (UStringNode (Dom r) RangeStage)

trfSourceRange :: (StringLiteral, (Int, Int), (Int, Int)) -> Trf (Ann USourceRange (Dom r) RangeStage)