haskell-language-server-2.11.0.0: LSP server for GHC
Safe HaskellNone
LanguageGHC2021

Ide.Plugin.Retrie

Documentation

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

data Log Source #

Instances

Instances details
Pretty Log Source # 
Instance details

Defined in Ide.Plugin.Retrie

Methods

pretty :: Log -> Doc ann #

prettyList :: [Log] -> Doc ann #

Orphan instances

FromJSON RewriteSpec Source # 
Instance details

Methods

parseJSON :: Value -> Parser RewriteSpec #

parseJSONList :: Value -> Parser [RewriteSpec] #

omittedField :: Maybe RewriteSpec #

ToJSON RewriteSpec Source # 
Instance details

Methods

toJSON :: RewriteSpec -> Value #

toEncoding :: RewriteSpec -> Encoding #

toJSONList :: [RewriteSpec] -> Value #

toEncodingList :: [RewriteSpec] -> Encoding #

omitField :: RewriteSpec -> Bool #

Generic RewriteSpec Source # 
Instance details

Associated Types

type Rep RewriteSpec 
Instance details

Defined in Ide.Plugin.Retrie

type Rep RewriteSpec = D1 ('MetaData "RewriteSpec" "Retrie.Rewrites" "retrie-1.2.3-6rxNTj2uGaa3l4Y6RPzG57" 'False) (((C1 ('MetaCons "Adhoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "AdhocPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "AdhocType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Fold" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "RuleBackward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))))) :+: ((C1 ('MetaCons "RuleForward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: (C1 ('MetaCons "TypeBackward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "TypeForward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)))) :+: (C1 ('MetaCons "Unfold" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: (C1 ('MetaCons "PatternForward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName)) :+: C1 ('MetaCons "PatternBackward" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QualifiedName))))))

Methods

from :: RewriteSpec -> Rep RewriteSpec x #

to :: Rep RewriteSpec x -> RewriteSpec #

Show RewriteSpec Source # 
Instance details

Methods

showsPrec :: Int -> RewriteSpec -> ShowS #

show :: RewriteSpec -> String #

showList :: [RewriteSpec] -> ShowS #

Eq RewriteSpec Source # 
Instance details

Methods

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

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