Development.IDE.Plugin.TypeLenses

An HLS plugin to provide code lenses for type signatures

Documentation

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

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

typeLensCommandId :: Text

data GlobalBindingTypeSig

Constructors

GlobalBindingTypeSig

Fields

• gbName :: Name
• gbRendered :: String
• gbExported :: Bool

data GetGlobalBindingTypeSigs

Constructors

GetGlobalBindingTypeSigs

Instances

Eq GetGlobalBindingTypeSigs

Defined in Development.IDE.Plugin.TypeLenses

Methods

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

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

Ord GetGlobalBindingTypeSigs

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

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> GetGlobalBindingTypeSigs -> ShowS

show :: GetGlobalBindingTypeSigs -> String

showList :: [GetGlobalBindingTypeSigs] -> ShowS

Generic GetGlobalBindingTypeSigs

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

Defined in Development.IDE.Plugin.TypeLenses

Methods

hashWithSalt :: Int -> GetGlobalBindingTypeSigs -> Int

hash :: GetGlobalBindingTypeSigs -> Int

NFData GetGlobalBindingTypeSigs

Defined in Development.IDE.Plugin.TypeLenses

Methods

rnf :: GetGlobalBindingTypeSigs -> ()

type Rep GetGlobalBindingTypeSigs

Defined in Development.IDE.Plugin.TypeLenses

type Rep GetGlobalBindingTypeSigs = D1 ('MetaData "GetGlobalBindingTypeSigs" "Development.IDE.Plugin.TypeLenses" "ghcide-1.7.0.0-Et6Gp1ZnqTjGFkpVtgQ7GA" 'False) (C1 ('MetaCons "GetGlobalBindingTypeSigs" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetGlobalBindingTypeSigs

Defined in Development.IDE.Plugin.TypeLenses

type RuleResult GetGlobalBindingTypeSigs = GlobalBindingTypeSigsResult

newtype GlobalBindingTypeSigsResult

Constructors

GlobalBindingTypeSigsResult [GlobalBindingTypeSig]

Instances

Show GlobalBindingTypeSigsResult

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> GlobalBindingTypeSigsResult -> ShowS

show :: GlobalBindingTypeSigsResult -> String

showList :: [GlobalBindingTypeSigsResult] -> ShowS

NFData GlobalBindingTypeSigsResult

Defined in Development.IDE.Plugin.TypeLenses

Methods

rnf :: GlobalBindingTypeSigsResult -> ()

data Log

Constructors

LogShake Log

Instances

Show Log

Defined in Development.IDE.Plugin.TypeLenses

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Development.IDE.Plugin.TypeLenses

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann