| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Refactor.BindingElem
Description
Utilities for transformations that work on both top-level and local definitions
- class NamedElement d => BindingElem d where
- getValBindInList :: BindingElem d => RealSrcSpan -> AnnListG d dom SrcTemplateStage -> Maybe (ValueBind dom)
- valBindsInList :: BindingElem d => Simple Traversal (AnnListG d dom SrcTemplateStage) (ValueBind dom)
Documentation
class NamedElement d => BindingElem d where #
A type class for handling definitions that can appear as both top-level and local definitions
Minimal complete definition
sigBind, valBind, fixitySig, createTypeSig, createBinding, createFixitySig, isTypeSig, isBinding, isFixitySig
Methods
sigBind :: Simple Partial (Ann d dom SrcTemplateStage) (TypeSignature dom) #
Accesses a type signature definition in a local or top-level definition
valBind :: Simple Partial (Ann d dom SrcTemplateStage) (ValueBind dom) #
Accesses a value or function definition in a local or top-level definition
fixitySig :: Simple Partial (Ann d dom SrcTemplateStage) (FixitySignature dom) #
Accesses a type signature definition in a local or top-level definition
createTypeSig :: TypeSignature dom -> Ann d dom SrcTemplateStage #
Creates a new definition from a type signature
createBinding :: ValueBind dom -> Ann d dom SrcTemplateStage #
Creates a new definition from a value or function definition
createFixitySig :: FixitySignature dom -> Ann d dom SrcTemplateStage #
Creates a new fixity signature
isTypeSig :: Ann d dom SrcTemplateStage -> Bool #
Checks if a given definition is a type signature
isBinding :: Ann d dom SrcTemplateStage -> Bool #
Checks if a given definition is a function or value binding
isFixitySig :: Ann d dom SrcTemplateStage -> Bool #
Checks if a given definition is a fixity signature
Instances
getValBindInList :: BindingElem d => RealSrcSpan -> AnnListG d dom SrcTemplateStage -> Maybe (ValueBind dom) #
valBindsInList :: BindingElem d => Simple Traversal (AnnListG d dom SrcTemplateStage) (ValueBind dom) #