Language.Haskell.Tools.Refactor

Documentation

type TemplateWithNames = NodeInfo (SemanticInfo Name) SourceTemplate

type TemplateWithTypes = NodeInfo (SemanticInfo Id) SourceTemplate

data RefactorCommand

Constructors

NoRefactor

OrganizeImports

GenerateExports

GenerateSignature RealSrcSpan

RenameDefinition RealSrcSpan String

ExtractBinding RealSrcSpan String

Instances

Show RefactorCommand

Methods

showsPrec :: Int -> RefactorCommand -> ShowS

show :: RefactorCommand -> String

showList :: [RefactorCommand] -> ShowS

performCommand :: RefactorCommand -> Ann Module TemplateWithTypes -> Ghc (Either String (Ann Module TemplateWithTypes))

readCommand :: String -> String -> RefactorCommand

readSrcSpan :: String -> String -> RealSrcSpan

readSrcLoc :: String -> String -> RealSrcLoc

onlineRefactor :: String -> FilePath -> String -> IO (Either String String)

onlineASTView :: FilePath -> String -> IO (Either String String)

performRefactor :: String -> String -> String -> IO (Either String String)

astView :: String -> String -> IO String

loadModule :: String -> String -> Ghc ModSummary

parseTyped :: ModSummary -> Ghc (Ann Module TemplateWithTypes)

parseRenamed :: ModSummary -> Ghc (Ann Module TemplateWithNames)

demoRefactor :: String -> String -> String -> IO ()

Should be only used for testing

printSemaInfo :: (StructuralTraversable node, Outputable n) => node (NodeInfo (SemanticInfo n) src) -> Ghc (node (NodeInfo (SemanticInfo n) src))

Orphan instances

Generic SrcSpan

Associated Types

type Rep SrcSpan :: * -> *

Methods

from :: SrcSpan -> Rep SrcSpan x

to :: Rep SrcSpan x -> SrcSpan

Generic RangeTemplate

Associated Types

type Rep RangeTemplate :: * -> *

Methods

from :: RangeTemplate -> Rep RangeTemplate x

to :: Rep RangeTemplate x -> RangeTemplate

Generic SourceTemplate

Associated Types

type Rep SourceTemplate :: * -> *

Methods

from :: SourceTemplate -> Rep SourceTemplate x

to :: Rep SourceTemplate x -> SourceTemplate

Generic SpanInfo

Associated Types

type Rep SpanInfo :: * -> *

Methods

from :: SpanInfo -> Rep SpanInfo x

to :: Rep SpanInfo x -> SpanInfo

Generic (SemanticInfo n)

Associated Types

type Rep (SemanticInfo n) :: * -> *

Methods

from :: SemanticInfo n -> Rep (SemanticInfo n) x

to :: Rep (SemanticInfo n) x -> SemanticInfo n

(Generic sema, Generic src) => Generic (NodeInfo sema src)

Associated Types

type Rep (NodeInfo sema src) :: * -> *

Methods

from :: NodeInfo sema src -> Rep (NodeInfo sema src) x

to :: Rep (NodeInfo sema src) x -> NodeInfo sema src