Language.Haskell.Tools.AST.FromGHC.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 ValueBind (Dom r) RangeStage)

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

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

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

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

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

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

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

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

trfWhereLocalBinds :: TransformName n r => HsLocalBinds n -> Trf (AnnMaybe LocalBinds (Dom r) RangeStage)

getBindLocs :: HsLocalBinds n -> SrcSpan

trfLocalBinds :: TransformName n r => HsLocalBinds n -> Trf (AnnList LocalBind (Dom r) RangeStage)

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

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

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

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

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

trfRewriteRule :: TransformName n r => Located (RuleDecl n) -> Trf (Ann Rule (Dom r) RangeStage)

trfRuleBndr :: TransformName n r => Located (RuleBndr n) -> Trf (Ann TyVar (Dom r) RangeStage)

trfMinimalFormula :: TransformName n r => Located (BooleanFormula (Located n)) -> Trf (Ann MinimalFormula (Dom r) RangeStage)

trfMinimalFormula' :: TransformName n r => BooleanFormula (Located n) -> Trf (MinimalFormula (Dom r) RangeStage)