Add a gtraverse1 method to GTraversable1.

2024-11-24 00:42:33 +03:00 · 2020-01-13 13:04:25 -05:00 · 2020-01-13 13:04:25 -05:00 · e0f6462e78
commit e0f6462e78
parent c6d658130d
1 changed files with 5 additions and 0 deletions
--- a/semantic-tags/src/Tags/Tagging/Precise.hs
+++ b/semantic-tags/src/Tags/Tagging/Precise.hs
@ -80,3 +80,8 @@ instance GFoldable1 c U1 where


 class GTraversable1 c t where
+  gtraverse1
+    :: Applicative f
+    => (forall t' . c t' => t' a -> f (t' b))
+    -> t a
+    -> f (t b)