Language.Haskell.Tools.Refactor.Querying

Documentation

type QueryType = String

type QueryMonad = ExceptT String Ghc

data QueryValue

Constructors

GeneralQuery Value

MarkerQuery [Marker]

Instances

Eq QueryValue

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

(==) :: QueryValue -> QueryValue -> Bool

(/=) :: QueryValue -> QueryValue -> Bool

Show QueryValue

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

showsPrec :: Int -> QueryValue -> ShowS

show :: QueryValue -> String

showList :: [QueryValue] -> ShowS

Generic QueryValue

Defined in Language.Haskell.Tools.Refactor.Querying

Associated Types

type Rep QueryValue :: * -> *

Methods

from :: QueryValue -> Rep QueryValue x

to :: Rep QueryValue x -> QueryValue

ToJSON QueryValue

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

toJSON :: QueryValue -> Value

toEncoding :: QueryValue -> Encoding

toJSONList :: [QueryValue] -> Value

toEncodingList :: [QueryValue] -> Encoding

type Rep QueryValue

Defined in Language.Haskell.Tools.Refactor.Querying

type Rep QueryValue = D1 (MetaData "QueryValue" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.0.1-9E38rEWwU5SKx5r7kR9Jdq" False) (C1 (MetaCons "GeneralQuery" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Value)) :+: C1 (MetaCons "MarkerQuery" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Marker])))

data QueryChoice

Constructors

LocationQuery

Fields

• queryName :: String
• locationQuery :: RealSrcSpan -> ModuleDom -> [ModuleDom] -> QueryMonad QueryValue

GlobalQuery

Fields

• queryName :: String
• globalQuery :: ModuleDom -> [ModuleDom] -> QueryMonad QueryValue

data Marker

Constructors

Marker

Fields

• location :: SrcSpan
• severity :: Severity
• message :: String

Instances

Eq Marker

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

(==) :: Marker -> Marker -> Bool

(/=) :: Marker -> Marker -> Bool

Show Marker

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

showsPrec :: Int -> Marker -> ShowS

show :: Marker -> String

showList :: [Marker] -> ShowS

Generic Marker

Defined in Language.Haskell.Tools.Refactor.Querying

Associated Types

type Rep Marker :: * -> *

Methods

from :: Marker -> Rep Marker x

to :: Rep Marker x -> Marker

ToJSON Marker

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

toJSON :: Marker -> Value

toEncoding :: Marker -> Encoding

toJSONList :: [Marker] -> Value

toEncodingList :: [Marker] -> Encoding

type Rep Marker

Defined in Language.Haskell.Tools.Refactor.Querying

type Rep Marker = D1 (MetaData "Marker" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.0.1-9E38rEWwU5SKx5r7kR9Jdq" False) (C1 (MetaCons "Marker" PrefixI True) (S1 (MetaSel (Just "location") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcSpan) :*: (S1 (MetaSel (Just "severity") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Severity) :*: S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data Severity

Constructors

Error

Warning

Info

Instances

Eq Severity

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

(==) :: Severity -> Severity -> Bool

(/=) :: Severity -> Severity -> Bool

Show Severity

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

showsPrec :: Int -> Severity -> ShowS

show :: Severity -> String

showList :: [Severity] -> ShowS

Generic Severity

Defined in Language.Haskell.Tools.Refactor.Querying

Associated Types

type Rep Severity :: * -> *

Methods

from :: Severity -> Rep Severity x

to :: Rep Severity x -> Severity

ToJSON Severity

Defined in Language.Haskell.Tools.Refactor.Querying

Methods

toJSON :: Severity -> Value

toEncoding :: Severity -> Encoding

toJSONList :: [Severity] -> Value

toEncodingList :: [Severity] -> Encoding

type Rep Severity

Defined in Language.Haskell.Tools.Refactor.Querying

type Rep Severity = D1 (MetaData "Severity" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.0.1-9E38rEWwU5SKx5r7kR9Jdq" False) (C1 (MetaCons "Error" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Warning" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Info" PrefixI False) (U1 :: * -> *)))

decompQuery :: QueryValue -> (QueryType, Value)

queryCommands :: [QueryChoice] -> [String]

queryError :: String -> QueryMonad a

performQuery

Arguments

:: [QueryChoice]

The set of available queries

-> [String]

The query command

-> Either FilePath ModuleDom

The module in which the refactoring is performed

-> [ModuleDom]

Other modules

-> Ghc (Either String (QueryType, Value))

Orphan instances

ToJSON SrcSpan

Methods

toJSON :: SrcSpan -> Value

toEncoding :: SrcSpan -> Encoding

toJSONList :: [SrcSpan] -> Value

toEncodingList :: [SrcSpan] -> Encoding