Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.Refactor.Querying

Contents

Documentation

Constructors

GeneralQuery Value
MarkerQuery [Marker]

Instances

Eq QueryValue Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods (==) :: QueryValue -> QueryValue -> Bool # (/=) :: QueryValue -> QueryValue -> Bool #
Show QueryValue Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods showsPrec :: Int -> QueryValue -> ShowS # show :: QueryValue -> String # showList :: [QueryValue] -> ShowS #
Generic QueryValue Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Associated Types type Rep QueryValue :: Type -> Type # Methods from :: QueryValue -> Rep QueryValue x # to :: Rep QueryValue x -> QueryValue #
ToJSON QueryValue Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods toJSON :: QueryValue -> Value toEncoding :: QueryValue -> Encoding toJSONList :: [QueryValue] -> Value toEncodingList :: [QueryValue] -> Encoding
type Rep QueryValue Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying type Rep QueryValue = D1 (MetaData "QueryValue" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.1.0-6rN5kFHgkT84ROl6XoQzhz" 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])))

Constructors

LocationQuery
Fields queryName :: String locationQuery :: RealSrcSpan -> ModuleDom -> [ModuleDom] -> QueryMonad QueryValue
GlobalQuery
Fields queryName :: String globalQuery :: ModuleDom -> [ModuleDom] -> QueryMonad QueryValue

Constructors

Marker
Fields location :: SrcSpan severity :: Severity message :: String

Instances

Eq Marker Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods (==) :: Marker -> Marker -> Bool # (/=) :: Marker -> Marker -> Bool #
Show Marker Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods showsPrec :: Int -> Marker -> ShowS # show :: Marker -> String # showList :: [Marker] -> ShowS #
Generic Marker Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Associated Types type Rep Marker :: Type -> Type # Methods from :: Marker -> Rep Marker x # to :: Rep Marker x -> Marker #
ToJSON Marker Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods toJSON :: Marker -> Value toEncoding :: Marker -> Encoding toJSONList :: [Marker] -> Value toEncodingList :: [Marker] -> Encoding
type Rep Marker Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying type Rep Marker = D1 (MetaData "Marker" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.1.0-6rN5kFHgkT84ROl6XoQzhz" 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))))

Constructors

Instances

Eq Severity Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods (==) :: Severity -> Severity -> Bool # (/=) :: Severity -> Severity -> Bool #
Show Severity Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods showsPrec :: Int -> Severity -> ShowS # show :: Severity -> String # showList :: [Severity] -> ShowS #
Generic Severity Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Associated Types type Rep Severity :: Type -> Type # Methods from :: Severity -> Rep Severity x # to :: Rep Severity x -> Severity #
ToJSON Severity Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying Methods toJSON :: Severity -> Value toEncoding :: Severity -> Encoding toJSONList :: [Severity] -> Value toEncodingList :: [Severity] -> Encoding
type Rep Severity Source #
Instance details Defined in Language.Haskell.Tools.Refactor.Querying type Rep Severity = D1 (MetaData "Severity" "Language.Haskell.Tools.Refactor.Querying" "haskell-tools-refactor-1.1.1.0-6rN5kFHgkT84ROl6XoQzhz" False) (C1 (MetaCons "Error" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Warning" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Info" PrefixI False) (U1 :: Type -> Type)))

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 Source #
Instance details Methods toJSON :: SrcSpan -> Value toEncoding :: SrcSpan -> Encoding toJSONList :: [SrcSpan] -> Value toEncodingList :: [SrcSpan] -> Encoding