ghcide-1.2.0.2: The core of an IDE
Safe HaskellNone
LanguageHaskell2010

Development.IDE.Plugin.TypeLenses

Description

An HLS plugin to provide code lenses for type signatures

Documentation

descriptor :: PluginId -> PluginDescriptor IdeState Source #

suggestSignature :: Bool -> Maybe GlobalBindingTypeSigsResult -> Maybe TcModuleResult -> Maybe Bindings -> Diagnostic -> [(Text, [TextEdit])] Source #

typeLensCommandId :: Text Source #

data GlobalBindingTypeSig Source #

Constructors

GlobalBindingTypeSig 

Fields

data GetGlobalBindingTypeSigs Source #

Constructors

GetGlobalBindingTypeSigs 

Instances

Instances details
Eq GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

(==) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

(/=) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

Ord GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

compare :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Ordering #

(<) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

(<=) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

(>) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

(>=) :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> Bool #

max :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs #

min :: GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs -> GetGlobalBindingTypeSigs #

Show GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> GetGlobalBindingTypeSigs -> ShowS #

show :: GetGlobalBindingTypeSigs -> String #

showList :: [GetGlobalBindingTypeSigs] -> ShowS #

Generic GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Associated Types

type Rep GetGlobalBindingTypeSigs :: Type -> Type #

Methods

from :: GetGlobalBindingTypeSigs -> Rep GetGlobalBindingTypeSigs x #

to :: Rep GetGlobalBindingTypeSigs x -> GetGlobalBindingTypeSigs #

Hashable GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

hashWithSalt :: Int -> GetGlobalBindingTypeSigs -> Int #

hash :: GetGlobalBindingTypeSigs -> Int #

Binary GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

put :: GetGlobalBindingTypeSigs -> Put #

get :: Get GetGlobalBindingTypeSigs #

putList :: [GetGlobalBindingTypeSigs] -> Put #

NFData GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

rnf :: GetGlobalBindingTypeSigs -> () #

type Rep GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

type Rep GetGlobalBindingTypeSigs = D1 ('MetaData "GetGlobalBindingTypeSigs" "Development.IDE.Plugin.TypeLenses" "ghcide-1.2.0.2-BbWZU1s5vBuj0MYL7ZBIZ" 'False) (C1 ('MetaCons "GetGlobalBindingTypeSigs" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

type RuleResult GetGlobalBindingTypeSigs = GlobalBindingTypeSigsResult

newtype GlobalBindingTypeSigsResult Source #

Constructors

GlobalBindingTypeSigsResult [GlobalBindingTypeSig] 

Instances

Instances details
Show GlobalBindingTypeSigsResult Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> GlobalBindingTypeSigsResult -> ShowS #

show :: GlobalBindingTypeSigsResult -> String #

showList :: [GlobalBindingTypeSigsResult] -> ShowS #

NFData GlobalBindingTypeSigsResult Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

rnf :: GlobalBindingTypeSigsResult -> () #