Language.Haskell.Tools.Refactor.BindingElem

Utilities for transformations that work on both top-level and local definitions

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, createTypeSig, createBinding, isTypeSig, isBinding

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

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

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

Instances

BindingElem UDecl

Methods

sigBind :: (Functor w, Applicative w, Monad w, Functor r, Applicative r, MonadPlus r, Morph Maybe r) => Reference w r (MU *) (MU *) (Ann UDecl dom SrcTemplateStage) (Ann UDecl dom SrcTemplateStage) (TypeSignature dom) (TypeSignature dom)

valBind :: (Functor w, Applicative w, Monad w, Functor r, Applicative r, MonadPlus r, Morph Maybe r) => Reference w r (MU *) (MU *) (Ann UDecl dom SrcTemplateStage) (Ann UDecl dom SrcTemplateStage) (ValueBind dom) (ValueBind dom)

createTypeSig :: TypeSignature dom -> Ann UDecl dom SrcTemplateStage

createBinding :: ValueBind dom -> Ann UDecl dom SrcTemplateStage

isTypeSig :: Ann UDecl dom SrcTemplateStage -> Bool

isBinding :: Ann UDecl dom SrcTemplateStage -> Bool

BindingElem ULocalBind

Methods

sigBind :: (Functor w, Applicative w, Monad w, Functor r, Applicative r, MonadPlus r, Morph Maybe r) => Reference w r (MU *) (MU *) (Ann ULocalBind dom SrcTemplateStage) (Ann ULocalBind dom SrcTemplateStage) (TypeSignature dom) (TypeSignature dom)

valBind :: (Functor w, Applicative w, Monad w, Functor r, Applicative r, MonadPlus r, Morph Maybe r) => Reference w r (MU *) (MU *) (Ann ULocalBind dom SrcTemplateStage) (Ann ULocalBind dom SrcTemplateStage) (ValueBind dom) (ValueBind dom)

createTypeSig :: TypeSignature dom -> Ann ULocalBind dom SrcTemplateStage

createBinding :: ValueBind dom -> Ann ULocalBind dom SrcTemplateStage

isTypeSig :: Ann ULocalBind dom SrcTemplateStage -> Bool

isBinding :: Ann ULocalBind dom SrcTemplateStage -> Bool

getValBindInList :: BindingElem d => RealSrcSpan -> AnnListG d dom SrcTemplateStage -> Maybe (ValueBind dom)

valBindsInList :: BindingElem d => Simple Traversal (AnnListG d dom SrcTemplateStage) (ValueBind dom)