ghcide-2.5.0.0: The core of an IDE
Safe HaskellSafe-Inferred
LanguageHaskell2010

Development.IDE.Plugin.TypeLenses

Description

An HLS plugin to provide code lenses for type signatures

Documentation

descriptor :: Recorder (WithPriority Log) -> PluginId -> PluginDescriptor IdeState Source #

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

typeLensCommandId :: Text Source #

data GlobalBindingTypeSig Source #

Constructors

GlobalBindingTypeSig 

Fields

data GetGlobalBindingTypeSigs Source #

Constructors

GetGlobalBindingTypeSigs 

Instances

Instances details
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 #

Show GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> GetGlobalBindingTypeSigs -> ShowS #

show :: GetGlobalBindingTypeSigs -> String #

showList :: [GetGlobalBindingTypeSigs] -> ShowS #

NFData GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

rnf :: GetGlobalBindingTypeSigs -> () #

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 #

Hashable GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

hashWithSalt :: Int -> GetGlobalBindingTypeSigs -> Int #

hash :: GetGlobalBindingTypeSigs -> Int #

type Rep GetGlobalBindingTypeSigs Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

type Rep GetGlobalBindingTypeSigs = D1 ('MetaData "GetGlobalBindingTypeSigs" "Development.IDE.Plugin.TypeLenses" "ghcide-2.5.0.0-FXD8of4zg5MGRRhTNvOFwl" '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 -> () #

data Log Source #

Constructors

LogShake Log 

Instances

Instances details
Show Log Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> Log -> ShowS #

show :: Log -> String #

showList :: [Log] -> ShowS #

Pretty Log Source # 
Instance details

Defined in Development.IDE.Plugin.TypeLenses

Methods

pretty :: Log -> Doc ann #

prettyList :: [Log] -> Doc ann #