Safe Haskell	None
Language	Haskell2010

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 gbName :: Name gbRendered :: String gbExported :: Bool

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.0-x0bd7oaQQCI81m45kXT0z" '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 -> () #