1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00

📝 freeVariables1.

This commit is contained in:
Rob Rix 2017-12-20 17:15:06 -05:00
parent bd89fdf419
commit 7c72f52a14

View File

@ -25,6 +25,7 @@ class FreeVariables1 syntax where
default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name
liftFreeVariables = foldMap liftFreeVariables = foldMap
-- | Lift the 'freeVariables' method through a containing structure.
freeVariables1 :: (FreeVariables1 t, FreeVariables a) => t a -> Set Name freeVariables1 :: (FreeVariables1 t, FreeVariables a) => t a -> Set Name
freeVariables1 = liftFreeVariables freeVariables freeVariables1 = liftFreeVariables freeVariables