Language.Haskell.Refact.Utils.Binds

This module contains a collection of program analysis and transformation functions (the API) that work over the Type Decorated AST. Most of the functions defined in the module are taken directly from the API, but in some cases are modified to work with the type decorated AST.

In particular some new functions have been added to make type decorated AST traversals easier.

In HaRe, in order to preserve the comments and layout of refactored programs, a refactoring modifies not only the AST but also the token stream, and the program source after the refactoring is extracted from the token stream rather than the AST, for the comments and layout information is kept in the token steam instead of the AST. As a consequence, a program transformation function from this API modifies both the AST and the token stream (unless explicitly stated). So when you build your own program transformations, try to use the API to do the transformation, as this can liberate you from caring about the token stream.

This type decorated API is still in development. Any suggestions and comments are very much welcome.

Documentation

hsBinds :: HsValBinds t name => t -> [LHsBind name]

getValBindSigs :: HsValBinds RdrName -> [LSig RdrName]

class (Data t, Data name) => HsValBinds t name | t -> name where

Methods

hsValBinds :: t -> HsValBinds name

Return the binds that are directly enclosed in the given syntax phrase. hsValBinds :: t -> [GHC.LHsBind GHC.Name]

hsTyDecls :: t -> [[LTyClDecl name]]

Return the type class definitions that are directly enclosed in the given syntax phrase. Note: only makes sense for GHC.RenamedSource

Instances

HsValBinds ParsedSource RdrName

HsValBinds RenamedSource Name

HsValBinds Name Name

(OutputableBndr name, DataId name, Data name) => HsValBinds [[LTyClDecl name]] name

(DataId name, Data name) => HsValBinds [LMatch name (LHsExpr name)] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LGRHS name (LHsExpr name)] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LStmt name (LHsExpr name)] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LTyClDecl name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [TyClGroup name] name

(DataId name, Data name) => HsValBinds [LTyFamInstEqn name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LTyFamInstDecl name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LDataFamInstDecl name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LInstDecl name] name

(DataId name, Data name) => HsValBinds [LHsBind name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LSig name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LHsType name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [SyntaxExpr name] name

(OutputableBndr name, DataId name, Data name) => HsValBinds [LPat name] name

(DataId name, Data name) => HsValBinds (HsGroup name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LTyClDecl name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (TyClGroup name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (HsDataDefn name) name

(DataId name, Data name) => HsValBinds (LTyFamInstEqn name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (HsTyPats name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LInstDecl name) name

(DataId name, Data name) => HsValBinds (HsLocalBinds name) name

(DataId name, Data name) => HsValBinds (HsValBinds name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LHsBind name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LHsBinds name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (HsBind name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (HsIPBinds name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LSig name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LHsType name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (HsExpr name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LHsExpr name) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LPat name) name

(DataId name, Data name) => HsValBinds (LMatch name (LHsExpr name)) name

(DataId name, Data name) => HsValBinds (Match name (LHsExpr name)) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LGRHS name (LHsExpr name)) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (LStmt name (LHsExpr name)) name

(OutputableBndr name, DataId name, Data name) => HsValBinds (Stmt name (LHsExpr name)) name

(DataId name, Data name) => HsValBinds (MatchGroup name (LHsExpr name)) name

(DataId name, Data name) => HsValBinds (GRHSs name (LHsExpr name)) name