Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 Expr (Dom r) RangeStage) Source #
trfExpr' :: TransformName n r => HsExpr n -> Trf (Expr (Dom r) RangeStage) Source #
trfFieldInits :: TransformName n r => HsRecFields n (LHsExpr n) -> Trf (AnnList FieldUpdate (Dom r) RangeStage) Source #
trfFieldInit :: TransformName n r => Located (HsRecField n (LHsExpr n)) -> Trf (Ann FieldUpdate (Dom r) RangeStage) Source #
trfFieldUpdate :: TransformName n r => HsRecField' (AmbiguousFieldOcc n) (LHsExpr n) -> Trf (FieldUpdate (Dom r) RangeStage) Source #
trfAlt :: TransformName n r => Located (Match n (LHsExpr n)) -> Trf (Ann Alt (Dom r) RangeStage) Source #
trfAlt' :: TransformName n r => Match n (LHsExpr n) -> Trf (Alt (Dom r) RangeStage) Source #
gTrfAlt' :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> Match n (Located (ge n)) -> Trf (Alt' ae (Dom r) RangeStage) Source #
trfCaseRhss :: TransformName n r => [Located (GRHS n (LHsExpr n))] -> Trf (Ann CaseRhs (Dom r) RangeStage) Source #
gTrfCaseRhss :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> [Located (GRHS n (Located (ge n)))] -> Trf (Ann (CaseRhs' ae) (Dom r) RangeStage) Source #
trfGuardedCaseRhs :: TransformName n r => Located (GRHS n (LHsExpr n)) -> Trf (Ann GuardedCaseRhs (Dom r) RangeStage) Source #
trfGuardedCaseRhs' :: TransformName n r => GRHS n (LHsExpr n) -> Trf (GuardedCaseRhs (Dom r) RangeStage) Source #
gTrfGuardedCaseRhs' :: TransformName n r => (Located (ge n) -> Trf (Ann ae (Dom r) RangeStage)) -> GRHS n (Located (ge n)) -> Trf (GuardedCaseRhs' ae (Dom r) RangeStage) Source #
trfCmd' :: TransformName n r => HsCmd n -> Trf (Cmd (Dom r) RangeStage) Source #