Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulerefact-0.3.0.2Haskell2010

Refact.Types

3 types

Packagerefact-0.3.0.2
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTypes.hs

datadata SrcSpan

A generic SrcSpan, usually this is converted immediately to a native representation. (For example a GHC SrcSpan or a HSE SrcSpan)

Constructors

SrcSpan
- startLine :: !Int
- startCol :: !Int
- endLine :: !Int
- endCol :: !Int

Instances5Eq, Data, Ord, Read, Show

Eq SrcSpanDefined in refact-0.3.0.2 · Refact.Types
Data SrcSpanDefined in refact-0.3.0.2 · Refact.Types
Ord SrcSpanDefined in refact-0.3.0.2 · Refact.Types
Read SrcSpanDefined in refact-0.3.0.2 · Refact.Types
Show SrcSpanDefined in refact-0.3.0.2 · Refact.Types

datadata RType

Types of expressions which we are able to replace.

Expr Decl Type Pattern Stmt ModuleName Bind Match Import

Instances5Eq, Data, Ord, Read, Show

Eq RTypeDefined in refact-0.3.0.2 · Refact.Types
Data RTypeDefined in refact-0.3.0.2 · Refact.Types
Ord RTypeDefined in refact-0.3.0.2 · Refact.Types
Read RTypeDefined in refact-0.3.0.2 · Refact.Types
Show RTypeDefined in refact-0.3.0.2 · Refact.Types

datadata Refactoring a

Supported refactorings

Constructors

Replace
- rtype :: RType
  Type of expression to be replaced
- pos :: a
  Expression to replace
- subts :: [(String, a)]
  Substitutions to make
- orig :: String
  Replacement template
ModifyComment
- pos :: a
  Expression to replace
- newComment :: String
InsertComment
- pos :: a
  Expression to replace
- newComment :: String
Delete
- rtype :: RType
  Type of expression to be replaced
- pos :: a
  Expression to replace
RemoveAsKeyword
Takes the position of a import decl and removes the as keyword
- pos :: a
  Expression to replace

Instances6Functor, Eq, Data, Ord, Read, Show

Functor RefactoringDefined in refact-0.3.0.2 · Refact.Types
Eq a => Eq (Refactoring a)Defined in refact-0.3.0.2 · Refact.Types
Data a => Data (Refactoring a)Defined in refact-0.3.0.2 · Refact.Types
Ord a => Ord (Refactoring a)Defined in refact-0.3.0.2 · Refact.Types
Read a => Read (Refactoring a)Defined in refact-0.3.0.2 · Refact.Types
Show a => Show (Refactoring a)Defined in refact-0.3.0.2 · Refact.Types