From 7c72f52a14037830fdd0e3e2702adba1920c2c3b Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 20 Dec 2017 17:15:06 -0500 Subject: [PATCH] :memo: freeVariables1. --- src/Data/Abstract/FreeVariables.hs | 1 + 1 file changed, 1 insertion(+) 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