Language.Haskell.Tools.BackendGHC.Binds

Functions that convert the value and function definitions of the GHC AST to corresponding elements in the Haskell-tools AST representation

Documentation

trfBind :: TransformName n r => Located (HsBind n) -> Trf (Ann UValueBind (Dom r) RangeStage)

trfBind' :: TransformName n r => HsBind n -> Trf (UValueBind (Dom r) RangeStage)

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

trfMatch' :: TransformName n r => n -> Match n (LHsExpr n) -> Trf (UMatch (Dom r) RangeStage)

trfMatchLhs :: TransformName n r => n -> MatchFixity n -> [LPat n] -> Trf (Ann UMatchLhs (Dom r) RangeStage)

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

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

trfRhsGuard :: TransformName n r => Located (Stmt n (LHsExpr n)) -> Trf (Ann URhsGuard (Dom r) RangeStage)

trfRhsGuard' :: TransformName n r => Stmt n (LHsExpr n) -> Trf (URhsGuard (Dom r) RangeStage)

trfWhereLocalBinds :: TransformName n r => SrcSpan -> HsLocalBinds n -> Trf (AnnMaybeG ULocalBinds (Dom r) RangeStage)

getBindLocs :: HsLocalBinds n -> SrcSpan

trfLocalBinds :: TransformName n r => AnnKeywordId -> HsLocalBinds n -> Trf (AnnListG ULocalBind (Dom r) RangeStage)

trfIpBind :: TransformName n r => Located (IPBind n) -> Trf (Ann ULocalBind (Dom r) RangeStage)

trfLocalSig :: TransformName n r => Located (Sig n) -> Trf (Ann ULocalBind (Dom r) RangeStage)

trfTypeSig :: TransformName n r => Located (Sig n) -> Trf (Ann UTypeSignature (Dom r) RangeStage)

trfTypeSig' :: TransformName n r => Sig n -> Trf (UTypeSignature (Dom r) RangeStage)

trfFixitySig :: TransformName n r => FixitySig n -> Trf (UFixitySignature (Dom r) RangeStage)

trfInlinePragma :: TransformName n r => Located n -> InlinePragma -> Trf (Ann UInlinePragma (Dom r) RangeStage)

trfPhase :: Trf SrcLoc -> Activation -> Trf (AnnMaybeG UPhaseControl (Dom r) RangeStage)

trfPhaseNum :: PhaseNum -> Trf (Ann PhaseNumber (Dom r) RangeStage)

trfConlike :: [SrcSpan] -> RuleMatchInfo -> Trf (AnnMaybeG UConlikeAnnot (Dom r) RangeStage)