github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity

Pass a parameter for mapping over annotation positions.

Browse Source
This commit is contained in:
Rob Rix 2020-01-13 13:21:28 -05:00
parent e8420faa01
commit 22adcee7d3
No known key found for this signature in database
GPG Key ID: 2BE643E01DC032AE
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
semantic-tags/src/Tags/Tagging/Precise.hs
View File

@ -82,19 +82,20 @@ instance GFoldable1 c U1 where
class GTraversable1 c t where
gtraverse1
:: Applicative f
=> (forall t' . c t' => t' a -> f (t' b))
=> (a -> f b)
-> (forall t' . c t' => t' a -> f (t' b))
-> t a
-> f (t b)
instance GTraversable1 c f => GTraversable1 c (M1 i c' f) where
gtraverse1 f = fmap M1 . gtraverse1 @c f . unM1
gtraverse1 f g = fmap M1 . gtraverse1 @c f g . unM1
instance (GTraversable1 c f, GTraversable1 c g) => GTraversable1 c (f :*: g) where
gtraverse1 f (l :*: r) = (:*:) <$> gtraverse1 @c f l <*> gtraverse1 @c f r
gtraverse1 f g (l :*: r) = (:*:) <$> gtraverse1 @c f g l <*> gtraverse1 @c f g r
instance (GTraversable1 c f, GTraversable1 c g) => GTraversable1 c (f :+: g) where
gtraverse1 f (L1 l) = L1 <$> gtraverse1 @c f l
gtraverse1 f (R1 r) = R1 <$> gtraverse1 @c f r
gtraverse1 f g (L1 l) = L1 <$> gtraverse1 @c f g l
gtraverse1 f g (R1 r) = R1 <$> gtraverse1 @c f g r
instance GTraversable1 c (K1 R t) where
gtraverse1 _ (K1 k) = pure (K1 k)
gtraverse1 _ _ (K1 k) = pure (K1 k)