haskell-language-server-2.7.0.0: LSP server for GHC

Safe Haskell | None
Language | GHC2021

Ide.Plugin.Retrie

Contents

- Orphan instances

# Documentation

descriptor :: PluginId -> PluginDescriptor IdeState #

# Orphan instances

FromJSON RewriteSpec # |
Instance details Methods parseJSON :: Value -> Parser RewriteSpec # parseJSONList :: Value -> Parser [RewriteSpec] # omittedField :: Maybe RewriteSpec #
ToJSON RewriteSpec # |
Instance details Methods toJSON :: RewriteSpec -> Value # toEncoding :: RewriteSpec -> Encoding # toJSONList :: [RewriteSpec] -> Value # toEncodingList :: [RewriteSpec] -> Encoding # omitField :: RewriteSpec -> Bool #
Generic RewriteSpec # |

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-4HLoPptMMaFLkfy8CIFinw" '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 # |
Instance details Methods showsPrec :: Int -> RewriteSpec -> ShowS # show :: RewriteSpec -> String # showList :: [RewriteSpec] -> ShowS #
Eq RewriteSpec # |
Instance details Methods (==) :: RewriteSpec -> RewriteSpec -> Bool # (/=) :: RewriteSpec -> RewriteSpec -> Bool #