Safe Haskell	Safe-Inferred
Language	Haskell2010

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 HscEnv -> Maybe GlobalBindingTypeSigsResult -> Maybe TcModuleResult -> Maybe Bindings -> Diagnostic -> [(Text, [TextEdit])] Source #

typeLensCommandId :: Text Source #

data GlobalBindingTypeSig Source #

Constructors

GlobalBindingTypeSig
Fields gbName :: Name gbRendered :: String gbExported :: Bool

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.0.0.0-CkqMLm1apMuG7gZqD0vay" '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 #