mirror of
https://github.com/github/semantic.git
synced 2024-12-01 17:59:10 +03:00
Merge pull request #258 from github/less-taggable-codegen
Less Taggable codegen
This commit is contained in:
Rob Rix
GitHub
commit
1311863d00
@ -108,7 +108,9 @@ type TermConstraints =
|
||||
, Declarations1
|
||||
, ConstructorName
|
||||
, HasTextElement
|
||||
, Show1
|
||||
, ToJSONFields1
|
||||
, Traversable
|
||||
]
|
||||
|
||||
doParse :: (ParseEffects sig m) => Blob -> m (SomeTerm TermConstraints Location)
|
||||
|
||||
@ -3,14 +3,16 @@
|
||||
Taggable allows projecting syntax terms to a list of named symbols. In order to
|
||||
identify a new syntax as Taggable, you need to:
|
||||
|
||||
1. Give that syntax a non-derived Taggable instance and implement at least the
|
||||
'symbolName' method.
|
||||
1. Give that syntax a non-derived @TaggableBy 'Custom@ instance and implement at least the
|
||||
'symbolName'' method.
|
||||
|
||||
2. Make sure that 'symbolsToSummarize' in Tagging.hs includes the string
|
||||
2. Add an equation to 'TaggableInstance' for the type with the value ''Custom'.
|
||||
|
||||
3. Make sure that 'symbolsToSummarize' in Tagging.hs includes the string
|
||||
constructor name of this syntax.
|
||||
|
||||
-}
|
||||
{-# LANGUAGE AllowAmbiguousTypes, GADTs, ConstraintKinds, RankNTypes, TypeFamilies, TypeOperators, UndecidableInstances #-}
|
||||
{-# LANGUAGE AllowAmbiguousTypes, ConstraintKinds, KindSignatures, ScopedTypeVariables, TypeFamilies, UndecidableInstances #-}
|
||||
module Tags.Taggable
|
||||
( Tagger
|
||||
, Token(..)
|
||||
@ -38,22 +40,9 @@ import Streaming hiding (Sum)
|
||||
import Streaming.Prelude (yield)
|
||||
|
||||
import qualified Data.Syntax as Syntax
|
||||
import qualified Data.Syntax.Comment as Comment
|
||||
import qualified Data.Syntax.Declaration as Declaration
|
||||
import qualified Data.Syntax.Directive as Directive
|
||||
import qualified Data.Syntax.Expression as Expression
|
||||
import qualified Data.Syntax.Literal as Literal
|
||||
import qualified Data.Syntax.Statement as Statement
|
||||
import qualified Data.Syntax.Type as Type
|
||||
import qualified Language.Go.Syntax as Go
|
||||
import qualified Language.Go.Type as Go
|
||||
import qualified Language.Haskell.Syntax as Haskell
|
||||
import qualified Language.Java.Syntax as Java
|
||||
import qualified Language.Markdown.Syntax as Markdown
|
||||
import qualified Language.PHP.Syntax as PHP
|
||||
import qualified Language.Python.Syntax as Python
|
||||
import qualified Language.Ruby.Syntax as Ruby
|
||||
import qualified Language.TSX.Syntax as TSX
|
||||
import qualified Language.TypeScript.Syntax as TypeScript
|
||||
|
||||
|
||||
@ -73,26 +62,36 @@ exit c = yield . Exit (pack c)
|
||||
emitIden :: Monad m => Span -> Maybe Range -> Name -> Tagger m ()
|
||||
emitIden span docsLiteralRange name = yield (Iden (formatName name) span docsLiteralRange)
|
||||
|
||||
class (Show1 constr, Traversable constr) => Taggable constr where
|
||||
class Taggable constr where
|
||||
docsLiteral ::
|
||||
( Functor syntax
|
||||
, Foldable syntax
|
||||
( Foldable syntax
|
||||
, HasTextElement syntax
|
||||
)
|
||||
=> Language -> constr (Term syntax Location) -> Maybe Range
|
||||
docsLiteral _ _ = Nothing
|
||||
|
||||
snippet :: (Foldable syntax) => Location -> constr (Term syntax Location) -> Maybe Range
|
||||
snippet _ _ = Nothing
|
||||
snippet :: Foldable syntax => Location -> constr (Term syntax Location) -> Maybe Range
|
||||
|
||||
symbolName :: Declarations1 syntax => constr (Term syntax Location) -> Maybe Name
|
||||
symbolName _ = Nothing
|
||||
|
||||
data Strategy = Default | Custom
|
||||
|
||||
class TaggableBy (strategy :: Strategy) constr where
|
||||
docsLiteral' ::
|
||||
( Foldable syntax
|
||||
, HasTextElement syntax
|
||||
)
|
||||
=> Language -> constr (Term syntax Location) -> Maybe Range
|
||||
docsLiteral' _ _ = Nothing
|
||||
|
||||
snippet' :: (Foldable syntax) => Location -> constr (Term syntax Location) -> Maybe Range
|
||||
snippet' _ _ = Nothing
|
||||
|
||||
symbolName' :: Declarations1 syntax => constr (Term syntax Location) -> Maybe Name
|
||||
symbolName' _ = Nothing
|
||||
|
||||
type IsTaggable syntax =
|
||||
( Functor syntax
|
||||
, Foldable syntax
|
||||
, Traversable syntax
|
||||
, Show1 syntax
|
||||
, Taggable syntax
|
||||
, ConstructorName syntax
|
||||
, Declarations1 syntax
|
||||
@ -106,12 +105,8 @@ tagging :: (Monad m, IsTaggable syntax)
|
||||
tagging b = foldSubterms (descend (blobLanguage b))
|
||||
|
||||
descend ::
|
||||
( Taggable (TermF syntax Location)
|
||||
, ConstructorName (TermF syntax Location)
|
||||
, Functor syntax
|
||||
, Foldable syntax
|
||||
, HasTextElement syntax
|
||||
, Declarations1 syntax
|
||||
( ConstructorName (TermF syntax Location)
|
||||
, IsTaggable syntax
|
||||
, Monad m
|
||||
)
|
||||
=> Language -> SubtermAlgebra (TermF syntax Location) (Term syntax Location) (Tagger m ())
|
||||
@ -130,554 +125,86 @@ subtractLocation a b = subtractRange (locationByteRange a) (locationByteRange b)
|
||||
|
||||
-- Instances
|
||||
|
||||
instance ( Apply Show1 fs, Apply Functor fs, Apply Foldable fs, Apply Traversable fs, Apply Taggable fs) => Taggable (Sum fs) where
|
||||
docsLiteral a = apply @Taggable (docsLiteral a)
|
||||
snippet x = apply @Taggable (snippet x)
|
||||
symbolName = apply @Taggable symbolName
|
||||
instance (TaggableBy strategy t, strategy ~ TaggableInstance t) => Taggable t where
|
||||
docsLiteral = docsLiteral' @strategy
|
||||
snippet = snippet' @strategy
|
||||
symbolName = symbolName' @strategy
|
||||
|
||||
instance (Taggable a) => Taggable (TermF a Location) where
|
||||
docsLiteral l t = docsLiteral l (termFOut t)
|
||||
snippet ann t = snippet ann (termFOut t)
|
||||
symbolName t = symbolName (termFOut t)
|
||||
type family TaggableInstance (t :: * -> *) :: Strategy where
|
||||
TaggableInstance (Sum _) = 'Custom
|
||||
TaggableInstance (TermF _ _) = 'Custom
|
||||
TaggableInstance Syntax.Context = 'Custom
|
||||
TaggableInstance Declaration.Function = 'Custom
|
||||
TaggableInstance Declaration.Method = 'Custom
|
||||
TaggableInstance Declaration.Class = 'Custom
|
||||
TaggableInstance Ruby.Class = 'Custom
|
||||
TaggableInstance Ruby.Module = 'Custom
|
||||
TaggableInstance TypeScript.Module = 'Custom
|
||||
TaggableInstance Expression.Call = 'Custom
|
||||
TaggableInstance Ruby.Send = 'Custom
|
||||
TaggableInstance _ = 'Default
|
||||
|
||||
instance Taggable Syntax.Context where
|
||||
snippet ann (Syntax.Context _ (Term (In subj _))) = Just (subtractLocation ann subj)
|
||||
instance TaggableBy 'Default t
|
||||
|
||||
instance Taggable Declaration.Function where
|
||||
docsLiteral Python (Declaration.Function _ _ _ (Term (In _ bodyF)))
|
||||
instance Apply Taggable fs => TaggableBy 'Custom (Sum fs) where
|
||||
docsLiteral' a = apply @Taggable (docsLiteral a)
|
||||
snippet' x = apply @Taggable (snippet x)
|
||||
symbolName' = apply @Taggable symbolName
|
||||
|
||||
instance Taggable a => TaggableBy 'Custom (TermF a Location) where
|
||||
docsLiteral' l t = docsLiteral l (termFOut t)
|
||||
snippet' ann t = snippet ann (termFOut t)
|
||||
symbolName' t = symbolName (termFOut t)
|
||||
|
||||
instance TaggableBy 'Custom Syntax.Context where
|
||||
snippet' ann (Syntax.Context _ (Term (In subj _))) = Just (subtractLocation ann subj)
|
||||
|
||||
instance TaggableBy 'Custom Declaration.Function where
|
||||
docsLiteral' Python (Declaration.Function _ _ _ (Term (In _ bodyF)))
|
||||
| (Term (In exprAnn exprF):_) <- toList bodyF
|
||||
, isTextElement exprF = Just (locationByteRange exprAnn)
|
||||
| otherwise = Nothing
|
||||
docsLiteral _ _ = Nothing
|
||||
snippet ann (Declaration.Function _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName = declaredName . Declaration.functionName
|
||||
docsLiteral' _ _ = Nothing
|
||||
snippet' ann (Declaration.Function _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName' = declaredName . Declaration.functionName
|
||||
|
||||
instance Taggable Declaration.Method where
|
||||
docsLiteral Python (Declaration.Method _ _ _ _ (Term (In _ bodyF)) _)
|
||||
instance TaggableBy 'Custom Declaration.Method where
|
||||
docsLiteral' Python (Declaration.Method _ _ _ _ (Term (In _ bodyF)) _)
|
||||
| (Term (In exprAnn exprF):_) <- toList bodyF
|
||||
, isTextElement exprF = Just (locationByteRange exprAnn)
|
||||
| otherwise = Nothing
|
||||
docsLiteral _ _ = Nothing
|
||||
snippet ann (Declaration.Method _ _ _ _ (Term (In body _)) _) = Just $ subtractLocation ann body
|
||||
symbolName = declaredName . Declaration.methodName
|
||||
docsLiteral' _ _ = Nothing
|
||||
snippet' ann (Declaration.Method _ _ _ _ (Term (In body _)) _) = Just $ subtractLocation ann body
|
||||
symbolName' = declaredName . Declaration.methodName
|
||||
|
||||
instance Taggable Declaration.Class where
|
||||
docsLiteral Python (Declaration.Class _ _ _ (Term (In _ bodyF)))
|
||||
instance TaggableBy 'Custom Declaration.Class where
|
||||
docsLiteral' Python (Declaration.Class _ _ _ (Term (In _ bodyF)))
|
||||
| (Term (In exprAnn exprF):_) <- toList bodyF
|
||||
, isTextElement exprF = Just (locationByteRange exprAnn)
|
||||
| otherwise = Nothing
|
||||
docsLiteral _ _ = Nothing
|
||||
snippet ann (Declaration.Class _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName = declaredName . Declaration.classIdentifier
|
||||
docsLiteral' _ _ = Nothing
|
||||
snippet' ann (Declaration.Class _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName' = declaredName . Declaration.classIdentifier
|
||||
|
||||
instance Taggable Ruby.Class where
|
||||
snippet ann (Ruby.Class _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName = declaredName . Ruby.classIdentifier
|
||||
instance TaggableBy 'Custom Ruby.Class where
|
||||
snippet' ann (Ruby.Class _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName' = declaredName . Ruby.classIdentifier
|
||||
|
||||
instance Taggable Ruby.Module where
|
||||
snippet ann (Ruby.Module _ (Term (In body _):_)) = Just $ subtractLocation ann body
|
||||
snippet ann (Ruby.Module _ _) = Just $ locationByteRange ann
|
||||
symbolName = declaredName . Ruby.moduleIdentifier
|
||||
instance TaggableBy 'Custom Ruby.Module where
|
||||
snippet' ann (Ruby.Module _ (Term (In body _):_)) = Just $ subtractLocation ann body
|
||||
snippet' ann (Ruby.Module _ _) = Just $ locationByteRange ann
|
||||
symbolName' = declaredName . Ruby.moduleIdentifier
|
||||
|
||||
instance Taggable TypeScript.Module where
|
||||
snippet ann (TypeScript.Module _ (Term (In body _):_)) = Just $ subtractLocation ann body
|
||||
snippet ann (TypeScript.Module _ _ ) = Just $ locationByteRange ann
|
||||
symbolName = declaredName . TypeScript.moduleIdentifier
|
||||
instance TaggableBy 'Custom TypeScript.Module where
|
||||
snippet' ann (TypeScript.Module _ (Term (In body _):_)) = Just $ subtractLocation ann body
|
||||
snippet' ann (TypeScript.Module _ _ ) = Just $ locationByteRange ann
|
||||
symbolName' = declaredName . TypeScript.moduleIdentifier
|
||||
|
||||
instance Taggable Expression.Call where
|
||||
snippet ann (Expression.Call _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName = declaredName . Expression.callFunction
|
||||
instance TaggableBy 'Custom Expression.Call where
|
||||
snippet' ann (Expression.Call _ _ _ (Term (In body _))) = Just $ subtractLocation ann body
|
||||
symbolName' = declaredName . Expression.callFunction
|
||||
|
||||
instance Taggable Ruby.Send where
|
||||
snippet ann (Ruby.Send _ _ _ (Just (Term (In body _)))) = Just $ subtractLocation ann body
|
||||
snippet ann _ = Just $ locationByteRange ann
|
||||
symbolName Ruby.Send{..} = declaredName =<< sendSelector
|
||||
|
||||
instance Taggable []
|
||||
instance Taggable Comment.Comment
|
||||
instance Taggable Comment.HashBang
|
||||
|
||||
instance Taggable Expression.And
|
||||
instance Taggable Expression.Await
|
||||
instance Taggable Expression.BAnd
|
||||
instance Taggable Expression.BOr
|
||||
instance Taggable Expression.BXOr
|
||||
instance Taggable Expression.Cast
|
||||
instance Taggable Expression.Comparison
|
||||
instance Taggable Expression.Complement
|
||||
instance Taggable Expression.Delete
|
||||
instance Taggable Expression.DividedBy
|
||||
instance Taggable Expression.Enumeration
|
||||
instance Taggable Expression.Equal
|
||||
instance Taggable Expression.FloorDivision
|
||||
instance Taggable Expression.GreaterThan
|
||||
instance Taggable Expression.GreaterThanEqual
|
||||
instance Taggable Expression.InstanceOf
|
||||
instance Taggable Expression.LessThan
|
||||
instance Taggable Expression.LessThanEqual
|
||||
instance Taggable Expression.LShift
|
||||
instance Taggable Expression.Matches
|
||||
instance Taggable Expression.Member
|
||||
instance Taggable Expression.MemberAccess
|
||||
instance Taggable Expression.Minus
|
||||
instance Taggable Expression.Modulo
|
||||
instance Taggable Expression.Negate
|
||||
instance Taggable Expression.New
|
||||
instance Taggable Expression.NonNullExpression
|
||||
instance Taggable Expression.Not
|
||||
instance Taggable Expression.NotMatches
|
||||
instance Taggable Expression.Or
|
||||
instance Taggable Expression.Plus
|
||||
instance Taggable Expression.Power
|
||||
instance Taggable Expression.RShift
|
||||
instance Taggable Expression.ScopeResolution
|
||||
instance Taggable Expression.SequenceExpression
|
||||
instance Taggable Expression.StrictEqual
|
||||
instance Taggable Expression.Subscript
|
||||
instance Taggable Expression.Super
|
||||
instance Taggable Expression.This
|
||||
instance Taggable Expression.Times
|
||||
instance Taggable Expression.Typeof
|
||||
instance Taggable Expression.UnsignedRShift
|
||||
instance Taggable Expression.Void
|
||||
instance Taggable Expression.XOr
|
||||
|
||||
instance Taggable Literal.Boolean
|
||||
instance Taggable Literal.Integer
|
||||
instance Taggable Literal.Float
|
||||
instance Taggable Literal.Rational
|
||||
instance Taggable Literal.Complex
|
||||
instance Taggable Literal.String
|
||||
instance Taggable Literal.Character
|
||||
instance Taggable Literal.InterpolationElement
|
||||
instance Taggable Literal.TextElement
|
||||
instance Taggable Literal.EscapeSequence
|
||||
instance Taggable Literal.Symbol
|
||||
instance Taggable Literal.SymbolElement
|
||||
instance Taggable Literal.Regex
|
||||
instance Taggable Literal.Array
|
||||
instance Taggable Literal.Hash
|
||||
instance Taggable Literal.Tuple
|
||||
instance Taggable Literal.Set
|
||||
instance Taggable Literal.Pointer
|
||||
instance Taggable Literal.Reference
|
||||
instance Taggable Literal.Null
|
||||
instance Taggable Literal.KeyValue
|
||||
|
||||
instance Taggable Statement.Assignment
|
||||
instance Taggable Statement.Break
|
||||
instance Taggable Statement.Catch
|
||||
instance Taggable Statement.Continue
|
||||
instance Taggable Statement.DoWhile
|
||||
instance Taggable Statement.Else
|
||||
instance Taggable Statement.Finally
|
||||
instance Taggable Statement.For
|
||||
instance Taggable Statement.ForEach
|
||||
instance Taggable Statement.Goto
|
||||
instance Taggable Statement.If
|
||||
instance Taggable Statement.Let
|
||||
instance Taggable Statement.Match
|
||||
instance Taggable Statement.NoOp
|
||||
instance Taggable Statement.Pattern
|
||||
instance Taggable Statement.PostDecrement
|
||||
instance Taggable Statement.PostIncrement
|
||||
instance Taggable Statement.PreDecrement
|
||||
instance Taggable Statement.PreIncrement
|
||||
instance Taggable Statement.Retry
|
||||
instance Taggable Statement.Return
|
||||
instance Taggable Statement.ScopeEntry
|
||||
instance Taggable Statement.ScopeExit
|
||||
instance Taggable Statement.StatementBlock
|
||||
instance Taggable Statement.Statements
|
||||
instance Taggable Statement.Throw
|
||||
instance Taggable Statement.Try
|
||||
instance Taggable Statement.While
|
||||
instance Taggable Statement.Yield
|
||||
|
||||
instance Taggable Syntax.Empty
|
||||
instance Taggable Syntax.Error
|
||||
instance Taggable Syntax.Identifier
|
||||
instance Taggable Syntax.AccessibilityModifier
|
||||
|
||||
instance Taggable Type.Annotation
|
||||
instance Taggable Type.Array
|
||||
instance Taggable Type.Bool
|
||||
instance Taggable Type.Double
|
||||
instance Taggable Type.Float
|
||||
instance Taggable Type.Function
|
||||
instance Taggable Type.Int
|
||||
instance Taggable Type.Interface
|
||||
instance Taggable Type.Map
|
||||
instance Taggable Type.Parenthesized
|
||||
instance Taggable Type.Pointer
|
||||
instance Taggable Type.Product
|
||||
instance Taggable Type.Readonly
|
||||
instance Taggable Type.Slice
|
||||
instance Taggable Type.TypeParameters
|
||||
instance Taggable Type.Void
|
||||
|
||||
instance Taggable Declaration.Comprehension
|
||||
instance Taggable Declaration.Constructor
|
||||
instance Taggable Declaration.Datatype
|
||||
instance Taggable Declaration.Decorator
|
||||
instance Taggable Declaration.InterfaceDeclaration
|
||||
instance Taggable Declaration.MethodSignature
|
||||
instance Taggable Declaration.OptionalParameter
|
||||
instance Taggable Declaration.PublicFieldDefinition
|
||||
instance Taggable Declaration.RequiredParameter
|
||||
instance Taggable Declaration.Type
|
||||
instance Taggable Declaration.TypeAlias
|
||||
instance Taggable Declaration.Variable
|
||||
instance Taggable Declaration.VariableDeclaration
|
||||
|
||||
instance Taggable Directive.File
|
||||
instance Taggable Directive.Line
|
||||
|
||||
instance Taggable Haskell.UnitConstructor
|
||||
instance Taggable Haskell.ListConstructor
|
||||
instance Taggable Haskell.FunctionConstructor
|
||||
instance Taggable Haskell.RecordDataConstructor
|
||||
instance Taggable Haskell.AllConstructors
|
||||
instance Taggable Haskell.GADTConstructor
|
||||
instance Taggable Haskell.LabeledConstruction
|
||||
instance Taggable Haskell.InfixDataConstructor
|
||||
instance Taggable Haskell.TupleConstructor
|
||||
instance Taggable Haskell.TypeConstructorExport
|
||||
instance Taggable Haskell.KindParenthesizedConstructor
|
||||
instance Taggable Haskell.ConstructorSymbol
|
||||
instance Taggable Haskell.Module
|
||||
instance Taggable Haskell.Field
|
||||
instance Taggable Haskell.GADT
|
||||
instance Taggable Haskell.InfixOperatorPattern
|
||||
instance Taggable Haskell.NewType
|
||||
instance Taggable Haskell.ImportDeclaration
|
||||
instance Taggable Haskell.QualifiedImportDeclaration
|
||||
instance Taggable Haskell.ImportAlias
|
||||
instance Taggable Haskell.App
|
||||
instance Taggable Haskell.InfixOperatorApp
|
||||
instance Taggable Haskell.ListComprehension
|
||||
instance Taggable Haskell.Generator
|
||||
instance Taggable Haskell.ArithmeticSequence
|
||||
instance Taggable Haskell.RightOperatorSection
|
||||
instance Taggable Haskell.LeftOperatorSection
|
||||
instance Taggable Haskell.BindPattern
|
||||
instance Taggable Haskell.Lambda
|
||||
instance Taggable Haskell.FixityAlt
|
||||
instance Taggable Haskell.RecordWildCards
|
||||
instance Taggable Haskell.Wildcard
|
||||
instance Taggable Haskell.Let
|
||||
instance Taggable Haskell.FieldBind
|
||||
instance Taggable Haskell.Pragma
|
||||
instance Taggable Haskell.Deriving
|
||||
instance Taggable Haskell.ContextAlt
|
||||
instance Taggable Haskell.Class
|
||||
instance Taggable Haskell.Export
|
||||
instance Taggable Haskell.ModuleExport
|
||||
instance Taggable Haskell.QuotedName
|
||||
instance Taggable Haskell.ScopedTypeVariables
|
||||
instance Taggable Haskell.DefaultDeclaration
|
||||
instance Taggable Haskell.VariableOperator
|
||||
instance Taggable Haskell.ConstructorOperator
|
||||
instance Taggable Haskell.TypeOperator
|
||||
instance Taggable Haskell.PromotedTypeOperator
|
||||
instance Taggable Haskell.VariableSymbol
|
||||
instance Taggable Haskell.Import
|
||||
instance Taggable Haskell.HiddenImport
|
||||
instance Taggable Haskell.TypeApp
|
||||
instance Taggable Haskell.TupleExpression
|
||||
instance Taggable Haskell.TuplePattern
|
||||
instance Taggable Haskell.ConstructorPattern
|
||||
instance Taggable Haskell.Do
|
||||
instance Taggable Haskell.PrefixNegation
|
||||
instance Taggable Haskell.CPPDirective
|
||||
instance Taggable Haskell.NamedFieldPun
|
||||
instance Taggable Haskell.NegativeLiteral
|
||||
instance Taggable Haskell.LambdaCase
|
||||
instance Taggable Haskell.LabeledUpdate
|
||||
instance Taggable Haskell.QualifiedTypeClassIdentifier
|
||||
instance Taggable Haskell.QualifiedTypeConstructorIdentifier
|
||||
instance Taggable Haskell.QualifiedConstructorIdentifier
|
||||
instance Taggable Haskell.QualifiedInfixVariableIdentifier
|
||||
instance Taggable Haskell.QualifiedModuleIdentifier
|
||||
instance Taggable Haskell.QualifiedVariableIdentifier
|
||||
instance Taggable Haskell.TypeVariableIdentifier
|
||||
instance Taggable Haskell.TypeConstructorIdentifier
|
||||
instance Taggable Haskell.ModuleIdentifier
|
||||
instance Taggable Haskell.ConstructorIdentifier
|
||||
instance Taggable Haskell.ImplicitParameterIdentifier
|
||||
instance Taggable Haskell.InfixConstructorIdentifier
|
||||
instance Taggable Haskell.InfixVariableIdentifier
|
||||
instance Taggable Haskell.TypeClassIdentifier
|
||||
instance Taggable Haskell.VariableIdentifier
|
||||
instance Taggable Haskell.PrimitiveConstructorIdentifier
|
||||
instance Taggable Haskell.PrimitiveVariableIdentifier
|
||||
instance Taggable Haskell.AsPattern
|
||||
instance Taggable Haskell.FieldPattern
|
||||
instance Taggable Haskell.ViewPattern
|
||||
instance Taggable Haskell.PatternGuard
|
||||
instance Taggable Haskell.StrictPattern
|
||||
instance Taggable Haskell.ListPattern
|
||||
instance Taggable Haskell.TypePattern
|
||||
instance Taggable Haskell.IrrefutablePattern
|
||||
instance Taggable Haskell.CaseGuardPattern
|
||||
instance Taggable Haskell.FunctionGuardPattern
|
||||
instance Taggable Haskell.LabeledPattern
|
||||
instance Taggable Haskell.Guard
|
||||
instance Taggable Haskell.QuasiQuotation
|
||||
instance Taggable Haskell.QuasiQuotationPattern
|
||||
instance Taggable Haskell.QuasiQuotationType
|
||||
instance Taggable Haskell.QuasiQuotationDeclaration
|
||||
instance Taggable Haskell.QuasiQuotationExpression
|
||||
instance Taggable Haskell.QuasiQuotationExpressionBody
|
||||
instance Taggable Haskell.QuasiQuotationQuoter
|
||||
instance Taggable Haskell.Splice
|
||||
instance Taggable Haskell.StrictType
|
||||
instance Taggable Haskell.Type
|
||||
instance Taggable Haskell.TypeSynonym
|
||||
instance Taggable Haskell.AnnotatedTypeVariable
|
||||
instance Taggable Haskell.StandaloneDerivingInstance
|
||||
instance Taggable Haskell.FunctionType
|
||||
instance Taggable Haskell.TypeSignature
|
||||
instance Taggable Haskell.ExpressionTypeSignature
|
||||
instance Taggable Haskell.KindFunctionType
|
||||
instance Taggable Haskell.Star
|
||||
instance Taggable Haskell.EqualityConstraint
|
||||
instance Taggable Haskell.TypeInstance
|
||||
instance Taggable Haskell.TypeClassInstance
|
||||
instance Taggable Haskell.TypeClass
|
||||
instance Taggable Haskell.DefaultSignature
|
||||
instance Taggable Haskell.TypeFamily
|
||||
instance Taggable Haskell.StrictTypeVariable
|
||||
instance Taggable Haskell.KindSignature
|
||||
instance Taggable Haskell.Kind
|
||||
instance Taggable Haskell.KindListType
|
||||
instance Taggable Haskell.Instance
|
||||
instance Taggable Haskell.KindTupleType
|
||||
instance Taggable Haskell.FunctionalDependency
|
||||
|
||||
|
||||
instance Taggable Java.Import
|
||||
instance Taggable Java.Package
|
||||
instance Taggable Java.CatchType
|
||||
instance Taggable Java.SpreadParameter
|
||||
instance Taggable Java.StaticInitializer
|
||||
instance Taggable Java.LambdaBody
|
||||
instance Taggable Java.ClassBody
|
||||
instance Taggable Java.ClassLiteral
|
||||
instance Taggable Java.DefaultValue
|
||||
instance Taggable Java.Module
|
||||
instance Taggable Java.EnumDeclaration
|
||||
instance Taggable Java.Variable
|
||||
instance Taggable Java.Synchronized
|
||||
instance Taggable Java.New
|
||||
instance Taggable Java.Asterisk
|
||||
instance Taggable Java.Constructor
|
||||
instance Taggable Java.TypeParameter
|
||||
instance Taggable Java.Annotation
|
||||
instance Taggable Java.AnnotationField
|
||||
instance Taggable Java.GenericType
|
||||
instance Taggable Java.AnnotatedType
|
||||
instance Taggable Java.TypeWithModifiers
|
||||
instance Taggable Java.Wildcard
|
||||
instance Taggable Java.WildcardBounds
|
||||
instance Taggable Java.MethodReference
|
||||
instance Taggable Java.NewKeyword
|
||||
instance Taggable Java.Lambda
|
||||
instance Taggable Java.ArrayCreationExpression
|
||||
instance Taggable Java.DimsExpr
|
||||
instance Taggable Java.TryWithResources
|
||||
instance Taggable Java.AssertStatement
|
||||
instance Taggable Java.AnnotationTypeElement
|
||||
|
||||
instance Taggable Python.Alias
|
||||
instance Taggable Python.Ellipsis
|
||||
instance Taggable Python.FutureImport
|
||||
instance Taggable Python.Import
|
||||
instance Taggable Python.QualifiedAliasedImport
|
||||
instance Taggable Python.QualifiedImport
|
||||
instance Taggable Python.Redirect
|
||||
|
||||
instance Taggable Go.BidirectionalChannel
|
||||
instance Taggable Go.ReceiveChannel
|
||||
instance Taggable Go.SendChannel
|
||||
instance Taggable Go.Import
|
||||
instance Taggable Go.QualifiedImport
|
||||
instance Taggable Go.SideEffectImport
|
||||
instance Taggable Go.Composite
|
||||
instance Taggable Go.Label
|
||||
instance Taggable Go.Send
|
||||
instance Taggable Go.Slice
|
||||
instance Taggable Go.TypeSwitch
|
||||
instance Taggable Go.Receive
|
||||
instance Taggable Go.Field
|
||||
instance Taggable Go.Package
|
||||
instance Taggable Go.TypeAssertion
|
||||
instance Taggable Go.TypeConversion
|
||||
instance Taggable Go.Variadic
|
||||
instance Taggable Go.DefaultPattern
|
||||
instance Taggable Go.Defer
|
||||
instance Taggable Go.Go
|
||||
instance Taggable Go.Rune
|
||||
instance Taggable Go.Select
|
||||
instance Taggable Go.TypeSwitchGuard
|
||||
instance Taggable Go.ReceiveOperator
|
||||
|
||||
instance Taggable Markdown.Document
|
||||
instance Taggable Markdown.Paragraph
|
||||
instance Taggable Markdown.UnorderedList
|
||||
instance Taggable Markdown.OrderedList
|
||||
instance Taggable Markdown.BlockQuote
|
||||
instance Taggable Markdown.HTMLBlock
|
||||
instance Taggable Markdown.Table
|
||||
instance Taggable Markdown.TableRow
|
||||
instance Taggable Markdown.TableCell
|
||||
instance Taggable Markdown.Strong
|
||||
instance Taggable Markdown.Emphasis
|
||||
instance Taggable Markdown.Text
|
||||
instance Taggable Markdown.Strikethrough
|
||||
instance Taggable Markdown.Heading
|
||||
instance Taggable Markdown.ThematicBreak
|
||||
instance Taggable Markdown.Link
|
||||
instance Taggable Markdown.Image
|
||||
instance Taggable Markdown.Code
|
||||
instance Taggable Markdown.LineBreak
|
||||
|
||||
instance Taggable PHP.Text
|
||||
instance Taggable PHP.VariableName
|
||||
instance Taggable PHP.Require
|
||||
instance Taggable PHP.RequireOnce
|
||||
instance Taggable PHP.Include
|
||||
instance Taggable PHP.IncludeOnce
|
||||
instance Taggable PHP.ArrayElement
|
||||
instance Taggable PHP.GlobalDeclaration
|
||||
instance Taggable PHP.SimpleVariable
|
||||
instance Taggable PHP.Concat
|
||||
instance Taggable PHP.CastType
|
||||
instance Taggable PHP.ErrorControl
|
||||
instance Taggable PHP.Clone
|
||||
instance Taggable PHP.ShellCommand
|
||||
instance Taggable PHP.Update
|
||||
instance Taggable PHP.NewVariable
|
||||
instance Taggable PHP.RelativeScope
|
||||
instance Taggable PHP.NamespaceName
|
||||
instance Taggable PHP.ConstDeclaration
|
||||
instance Taggable PHP.ClassInterfaceClause
|
||||
instance Taggable PHP.ClassBaseClause
|
||||
instance Taggable PHP.UseClause
|
||||
instance Taggable PHP.ReturnType
|
||||
instance Taggable PHP.TypeDeclaration
|
||||
instance Taggable PHP.BaseTypeDeclaration
|
||||
instance Taggable PHP.ScalarType
|
||||
instance Taggable PHP.EmptyIntrinsic
|
||||
instance Taggable PHP.ExitIntrinsic
|
||||
instance Taggable PHP.IssetIntrinsic
|
||||
instance Taggable PHP.EvalIntrinsic
|
||||
instance Taggable PHP.PrintIntrinsic
|
||||
instance Taggable PHP.NamespaceAliasingClause
|
||||
instance Taggable PHP.NamespaceUseDeclaration
|
||||
instance Taggable PHP.NamespaceUseClause
|
||||
instance Taggable PHP.NamespaceUseGroupClause
|
||||
instance Taggable PHP.TraitUseSpecification
|
||||
instance Taggable PHP.Static
|
||||
instance Taggable PHP.ClassModifier
|
||||
instance Taggable PHP.InterfaceBaseClause
|
||||
instance Taggable PHP.Echo
|
||||
instance Taggable PHP.Unset
|
||||
instance Taggable PHP.DeclareDirective
|
||||
instance Taggable PHP.LabeledStatement
|
||||
instance Taggable PHP.QualifiedName
|
||||
instance Taggable PHP.ClassConstDeclaration
|
||||
instance Taggable PHP.Namespace
|
||||
instance Taggable PHP.TraitDeclaration
|
||||
instance Taggable PHP.AliasAs
|
||||
instance Taggable PHP.InsteadOf
|
||||
instance Taggable PHP.TraitUseClause
|
||||
instance Taggable PHP.DestructorDeclaration
|
||||
instance Taggable PHP.ConstructorDeclaration
|
||||
instance Taggable PHP.PropertyDeclaration
|
||||
instance Taggable PHP.PropertyModifier
|
||||
instance Taggable PHP.InterfaceDeclaration
|
||||
instance Taggable PHP.Declare
|
||||
|
||||
instance Taggable Ruby.Require
|
||||
instance Taggable Ruby.Load
|
||||
instance Taggable Ruby.LowPrecedenceAnd
|
||||
instance Taggable Ruby.LowPrecedenceOr
|
||||
instance Taggable Ruby.Assignment
|
||||
instance Taggable Ruby.ZSuper
|
||||
|
||||
instance Taggable TSX.JsxElement
|
||||
instance Taggable TSX.JsxOpeningElement
|
||||
instance Taggable TSX.JsxSelfClosingElement
|
||||
instance Taggable TSX.JsxAttribute
|
||||
instance Taggable TSX.JsxText
|
||||
instance Taggable TSX.JsxExpression
|
||||
instance Taggable TSX.JsxClosingElement
|
||||
instance Taggable TSX.JsxFragment
|
||||
instance Taggable TSX.JsxNamespaceName
|
||||
|
||||
instance Taggable TypeScript.JavaScriptRequire
|
||||
instance Taggable TypeScript.Debugger
|
||||
instance Taggable TypeScript.Super
|
||||
instance Taggable TypeScript.Undefined
|
||||
instance Taggable TypeScript.With
|
||||
instance Taggable TypeScript.OptionalParameter
|
||||
instance Taggable TypeScript.RequiredParameter
|
||||
instance Taggable TypeScript.RestParameter
|
||||
instance Taggable TypeScript.ImplementsClause
|
||||
instance Taggable TypeScript.Import
|
||||
instance Taggable TypeScript.QualifiedAliasedImport
|
||||
instance Taggable TypeScript.QualifiedExportFrom
|
||||
instance Taggable TypeScript.LookupType
|
||||
instance Taggable TypeScript.Union
|
||||
instance Taggable TypeScript.Intersection
|
||||
instance Taggable TypeScript.FunctionType
|
||||
instance Taggable TypeScript.AmbientFunction
|
||||
instance Taggable TypeScript.ImportRequireClause
|
||||
instance Taggable TypeScript.Constructor
|
||||
instance Taggable TypeScript.TypeParameter
|
||||
instance Taggable TypeScript.TypeAssertion
|
||||
instance Taggable TypeScript.NestedIdentifier
|
||||
instance Taggable TypeScript.NestedTypeIdentifier
|
||||
instance Taggable TypeScript.GenericType
|
||||
instance Taggable TypeScript.TypePredicate
|
||||
instance Taggable TypeScript.EnumDeclaration
|
||||
instance Taggable TypeScript.PropertySignature
|
||||
instance Taggable TypeScript.CallSignature
|
||||
instance Taggable TypeScript.ConstructSignature
|
||||
instance Taggable TypeScript.IndexSignature
|
||||
instance Taggable TypeScript.AbstractMethodSignature
|
||||
instance Taggable TypeScript.ForOf
|
||||
instance Taggable TypeScript.LabeledStatement
|
||||
instance Taggable TypeScript.InternalModule
|
||||
instance Taggable TypeScript.ImportAlias
|
||||
instance Taggable TypeScript.ClassHeritage
|
||||
instance Taggable TypeScript.AbstractClass
|
||||
instance Taggable TypeScript.SideEffectImport
|
||||
instance Taggable TypeScript.QualifiedExport
|
||||
instance Taggable TypeScript.DefaultExport
|
||||
instance Taggable TypeScript.ShorthandPropertyIdentifier
|
||||
instance Taggable TypeScript.ImportClause
|
||||
instance Taggable TypeScript.Tuple
|
||||
instance Taggable TypeScript.Annotation
|
||||
instance Taggable TypeScript.Decorator
|
||||
instance Taggable TypeScript.ComputedPropertyName
|
||||
instance Taggable TypeScript.Constraint
|
||||
instance Taggable TypeScript.DefaultType
|
||||
instance Taggable TypeScript.ParenthesizedType
|
||||
instance Taggable TypeScript.PredefinedType
|
||||
instance Taggable TypeScript.TypeIdentifier
|
||||
instance Taggable TypeScript.ObjectType
|
||||
instance Taggable TypeScript.AmbientDeclaration
|
||||
instance Taggable TypeScript.ExtendsClause
|
||||
instance Taggable TypeScript.ArrayType
|
||||
instance Taggable TypeScript.FlowMaybeType
|
||||
instance Taggable TypeScript.TypeQuery
|
||||
instance Taggable TypeScript.IndexTypeQuery
|
||||
instance Taggable TypeScript.TypeArguments
|
||||
instance Taggable TypeScript.ThisType
|
||||
instance Taggable TypeScript.ExistentialType
|
||||
instance Taggable TypeScript.LiteralType
|
||||
instance Taggable TypeScript.Update
|
||||
instance Taggable TypeScript.MetaProperty
|
||||
instance Taggable TypeScript.AnnotatedExpression
|
||||
instance TaggableBy 'Custom Ruby.Send where
|
||||
snippet' ann (Ruby.Send _ _ _ (Just (Term (In body _)))) = Just $ subtractLocation ann body
|
||||
snippet' ann _ = Just $ locationByteRange ann
|
||||
symbolName' Ruby.Send{..} = declaredName =<< sendSelector
|
||||
|
||||
Loading…
Reference in New Issue
Block a user