github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 09:55:52 +03:00
Code Issues Projects Releases Wiki Activity

Define ToTag &c. at kind *.

Browse Source
This commit is contained in:
Rob Rix 2019-09-18 19:49:23 -04:00
parent a9e551d4e9
commit 088d280c3d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
semantic-tags/src/Tags/Taggable/Precise.hs
View File

@ -61,7 +61,7 @@ class ToTag t where
, Member (Reader Blob) sig
, Member (Reader [ContextToken]) sig
)
=> t Location
=> t
-> m (Endo [Tag])
instance (ToTagBy strategy t, strategy ~ ToTagInstance t) => ToTag t where
@ -74,21 +74,21 @@ class ToTagBy (strategy :: Strategy) t where
, Member (Reader Blob) sig
, Member (Reader [ContextToken]) sig
)
=> t Location
=> t
-> m (Endo [Tag])
data Strategy = Generic | Custom
type family ToTagInstance t :: Strategy where
ToTagInstance Python.FunctionDefinition = 'Custom
ToTagInstance _ = 'Generic
ToTagInstance (Python.FunctionDefinition Location) = 'Custom
ToTagInstance _ = 'Generic
instance ToTagBy 'Custom Python.FunctionDefinition where
instance ToTagBy 'Custom (Python.FunctionDefinition Location) where
tag' Python.FunctionDefinition {} = pure mempty
instance (Generic (t Location), GToTag (Rep (t Location))) => ToTagBy 'Generic t where
instance (Generic t, GToTag (Rep t)) => ToTagBy 'Generic t where
tag' = gtag . from
@ -98,7 +98,7 @@ class GToTag t where
, Member (Reader Blob) sig
, Member (Reader [ContextToken]) sig
)
=> t Location
=> t a
-> m (Endo [Tag])