diff --git a/src/Data/Abstract/FreeVariables.hs b/src/Data/Abstract/FreeVariables.hs index 81bc9fad4..04a8a91dd 100644 --- a/src/Data/Abstract/FreeVariables.hs +++ b/src/Data/Abstract/FreeVariables.hs @@ -25,6 +25,7 @@ class FreeVariables1 syntax where default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name liftFreeVariables = foldMap +-- | Lift the 'freeVariables' method through a containing structure. freeVariables1 :: (FreeVariables1 t, FreeVariables a) => t a -> Set Name freeVariables1 = liftFreeVariables freeVariables