| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.BackendGHC.Exprs
Description
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 p. (TransformName n r, n ~ GhcPass p) => Located (HsExpr n) -> Trf (Ann UExpr (Dom r) RangeStage) Source #
createScopeInfo :: Trf ScopeInfo Source #
trfExpr' :: forall n r p. (TransformName n r, n ~ GhcPass p) => HsExpr n -> Trf (UExpr (Dom r) RangeStage) Source #
trfFieldInits :: (TransformName n r, n ~ GhcPass p) => HsRecFields n (LHsExpr n) -> Trf (AnnListG UFieldUpdate (Dom r) RangeStage) Source #
trfFieldInit :: forall n r p. (TransformName n r, n ~ GhcPass p) => Located (HsRecField n (LHsExpr n)) -> Trf (Ann UFieldUpdate (Dom r) RangeStage) Source #
trfFieldUpdate :: (TransformName n r, n ~ GhcPass p) => HsRecField' (AmbiguousFieldOcc n) (LHsExpr n) -> Trf (UFieldUpdate (Dom r) RangeStage) Source #
trfAlt :: (TransformName n r, n ~ GhcPass p) => Located (Match n (LHsExpr n)) -> Trf (Ann UAlt (Dom r) RangeStage) Source #
trfAlt' :: (TransformName n r, n ~ GhcPass p) => Match n (LHsExpr n) -> Trf (UAlt (Dom r) RangeStage) Source #
gTrfAlt' :: (TransformName n r, n ~ GhcPass p) => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> Match n (Located (ge n)) -> Trf (UAlt' ae (Dom r) RangeStage) Source #
trfCaseRhss :: (TransformName n r, n ~ GhcPass p) => [Located (GRHS n (LHsExpr n))] -> Trf (Ann UCaseRhs (Dom r) RangeStage) Source #
gTrfCaseRhss :: (TransformName n r, n ~ GhcPass p) => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> [Located (GRHS n (Located (ge n)))] -> Trf (Ann (UCaseRhs' ae) (Dom r) RangeStage) Source #
trfGuardedCaseRhs :: (TransformName n r, n ~ GhcPass p) => Located (GRHS n (LHsExpr n)) -> Trf (Ann UGuardedCaseRhs (Dom r) RangeStage) Source #
trfGuardedCaseRhs' :: (TransformName n r, n ~ GhcPass p) => GRHS n (LHsExpr n) -> Trf (UGuardedCaseRhs (Dom r) RangeStage) Source #
gTrfGuardedCaseRhs' :: (TransformName n r, n ~ GhcPass p) => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> GRHS n (Located (ge n)) -> Trf (UGuardedCaseRhs' ae (Dom r) RangeStage) Source #
trfCmdTop :: (TransformName n r, n ~ GhcPass p) => Located (HsCmdTop n) -> Trf (Ann UCmd (Dom r) RangeStage) Source #
trfCmd :: (TransformName n r, n ~ GhcPass p) => Located (HsCmd n) -> Trf (Ann UCmd (Dom r) RangeStage) Source #
trfCmd' :: (TransformName n r, n ~ GhcPass p) => HsCmd n -> Trf (UCmd (Dom r) RangeStage) Source #
trfText' :: StringLiteral -> Trf (UStringNode (Dom r) RangeStage) Source #
trfSourceRange :: (StringLiteral, (Int, Int), (Int, Int)) -> Trf (Ann USourceRange (Dom r) RangeStage) Source #