github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

📝 FreeVariables1.

Browse Source
This commit is contained in:
Rob Rix 2017-12-20 17:12:53 -05:00
parent c98b61e372
commit 0d11c18036
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Abstract/FreeVariables.hs
View File

@ -18,6 +18,7 @@ class FreeVariables term where
freeVariables :: term -> Set Name freeVariables :: term -> Set Name
-- | A lifting of 'FreeVariables' to type constructors of kind @* -> *@.
class FreeVariables1 syntax where class FreeVariables1 syntax where
liftFreeVariables :: (a -> Set Name) -> syntax a -> Set Name liftFreeVariables :: (a -> Set Name) -> syntax a -> Set Name
default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name default liftFreeVariables :: (Foldable syntax) => (a -> Set Name) -> syntax a -> Set Name