From 0d11c180367451f459c65cfafcdc770d635c9590 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 20 Dec 2017 17:12:53 -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 c1a47f168..231750f39 100644 --- a/src/Data/Abstract/FreeVariables.hs +++ b/src/Data/Abstract/FreeVariables.hs @@ -18,6 +18,7 @@ class FreeVariables term where freeVariables :: term -> Set Name +-- | A lifting of 'FreeVariables' to type constructors of kind @* -> *@. class FreeVariables1 syntax where liftFreeVariables :: (a -> Set Name) -> syntax a -> Set Name default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name