| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.BackendGHC.Binds
Description
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, n ~ GhcPass p) => Located (HsBind n) -> Trf (Ann UValueBind (Dom r) RangeStage) Source #
trfBind' :: forall n r p. (TransformName n r, n ~ GhcPass p) => HsBind n -> Trf (UValueBind (Dom r) RangeStage) Source #
trfMatch :: (TransformName n r, n ~ GhcPass p) => IdP n -> Located (Match n (LHsExpr n)) -> Trf (Ann UMatch (Dom r) RangeStage) Source #
trfMatch' :: (TransformName n r, n ~ GhcPass p) => IdP n -> Match n (LHsExpr n) -> Trf (UMatch (Dom r) RangeStage) Source #
trfMatchLhs :: forall n r p. (TransformName n r, n ~ GhcPass p) => IdP n -> HsMatchContext (NameOrRdrName (IdP n)) -> [LPat n] -> Trf (Ann UMatchLhs (Dom r) RangeStage) Source #
trfRhss :: (TransformName n r, n ~ GhcPass p) => [Located (GRHS n (LHsExpr n))] -> Trf (Ann URhs (Dom r) RangeStage) Source #
trfGuardedRhs :: (TransformName n r, n ~ GhcPass p) => Located (GRHS n (LHsExpr n)) -> Trf (Ann UGuardedRhs (Dom r) RangeStage) Source #
trfRhsGuard :: (TransformName n r, n ~ GhcPass p) => Located (Stmt n (LHsExpr n)) -> Trf (Ann URhsGuard (Dom r) RangeStage) Source #
trfRhsGuard' :: (TransformName n r, n ~ GhcPass p) => Stmt n (LHsExpr n) -> Trf (URhsGuard (Dom r) RangeStage) Source #
trfWhereLocalBinds :: (TransformName n r, n ~ GhcPass p) => SrcSpan -> HsLocalBinds n -> Trf (AnnMaybeG ULocalBinds (Dom r) RangeStage) Source #
getBindLocs :: n ~ GhcPass p => HsLocalBinds n -> SrcSpan Source #
trfLocalBinds :: (TransformName n r, n ~ GhcPass p) => AnnKeywordId -> HsLocalBinds n -> Trf (AnnListG ULocalBind (Dom r) RangeStage) Source #
trfIpBind :: (TransformName n r, n ~ GhcPass p) => Located (IPBind n) -> Trf (Ann ULocalBind (Dom r) RangeStage) Source #
trfLocalSig :: forall n r p. (TransformName n r, n ~ GhcPass p) => Located (Sig n) -> Trf (Ann ULocalBind (Dom r) RangeStage) Source #
trfTypeSig :: (TransformName n r, n ~ GhcPass p) => Located (Sig n) -> Trf (Ann UTypeSignature (Dom r) RangeStage) Source #
trfTypeSig' :: forall n r p. (TransformName n r, n ~ GhcPass p) => Sig n -> Trf (UTypeSignature (Dom r) RangeStage) Source #
trfFixitySig :: forall n r. TransformName n r => FixitySig n -> Trf (UFixitySignature (Dom r) RangeStage) Source #
trfInlinePragma :: forall n r. TransformName n r => Located (IdP n) -> InlinePragma -> Trf (Ann UInlinePragma (Dom r) RangeStage) Source #
trfPhase :: Trf SrcLoc -> Activation -> Trf (AnnMaybeG UPhaseControl (Dom r) RangeStage) Source #
trfPhaseNum :: PhaseNum -> Trf (Ann PhaseNumber (Dom r) RangeStage) Source #
trfConlike :: [SrcSpan] -> RuleMatchInfo -> Trf (AnnMaybeG UConlikeAnnot (Dom r) RangeStage) Source #